{"id":"https://openalex.org/W2047360753","doi":"https://doi.org/10.1109/tac.2015.2400712","title":"Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis","display_name":"Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis","publication_year":2015,"publication_date":"2015-02-09","ids":{"openalex":"https://openalex.org/W2047360753","doi":"https://doi.org/10.1109/tac.2015.2400712","mag":"2047360753"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2015.2400712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2400712","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044772884","display_name":"Beh\u00e7et A\u00e7\u0131kme\u015fe","orcid":"https://orcid.org/0000-0002-8693-8109"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Behcet Acikmese","raw_affiliation_strings":["Dept. of Aerosp. Eng. & Eng. Mech., Univ. of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Aerosp. Eng. & Eng. Mech., Univ. of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109152687","display_name":"Nazl\u0131 Demir","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nazli Demir","raw_affiliation_strings":["Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, USA","University of Texas at Austin#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073459618","display_name":"Matthew W. Harris","orcid":"https://orcid.org/0000-0003-2352-5048"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew W. Harris","raw_affiliation_strings":["Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, USA","University of Texas at Austin#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044772884"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":10.4106,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.98042854,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"60","issue":"10","first_page":"2813","last_page":"2818"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9714999794960022,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/linear-matrix-inequality","display_name":"Linear matrix inequality","score":0.795256495475769},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.7485121488571167},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6692330837249756},{"id":"https://openalex.org/keywords/ergodicity","display_name":"Ergodicity","score":0.6364374160766602},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.636130154132843},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5726938247680664},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.49645572900772095},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.48871564865112305},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.40272149443626404},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3481391966342926}],"concepts":[{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.795256495475769},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.7485121488571167},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6692330837249756},{"id":"https://openalex.org/C201779956","wikidata":"https://www.wikidata.org/wiki/Q5426803","display_name":"Ergodicity","level":2,"score":0.6364374160766602},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.636130154132843},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5726938247680664},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.49645572900772095},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.48871564865112305},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.40272149443626404},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3481391966342926},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2015.2400712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2400712","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3653554707","display_name":null,"funder_award_id":"D14AP00084","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8880404508","display_name":null,"funder_award_id":"CNS-1446578","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332375","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W613360614","https://openalex.org/W1521448640","https://openalex.org/W1546612351","https://openalex.org/W1632601927","https://openalex.org/W1972309199","https://openalex.org/W1977863502","https://openalex.org/W2042741865","https://openalex.org/W2046579994","https://openalex.org/W2053491613","https://openalex.org/W2066459185","https://openalex.org/W2069739265","https://openalex.org/W2089657469","https://openalex.org/W2090881423","https://openalex.org/W2093156090","https://openalex.org/W2120107478","https://openalex.org/W2120204400","https://openalex.org/W2125838338","https://openalex.org/W2130416410","https://openalex.org/W2134711723","https://openalex.org/W2138309709","https://openalex.org/W2159089602","https://openalex.org/W2296319761","https://openalex.org/W2536620281","https://openalex.org/W2798236146","https://openalex.org/W3105329945","https://openalex.org/W3210839039","https://openalex.org/W4205634987","https://openalex.org/W4214876654","https://openalex.org/W4248373945","https://openalex.org/W4250589301","https://openalex.org/W6677772974"],"related_works":["https://openalex.org/W2391646062","https://openalex.org/W2070152949","https://openalex.org/W2065700200","https://openalex.org/W2895561605","https://openalex.org/W2365817010","https://openalex.org/W13375693","https://openalex.org/W1989625169","https://openalex.org/W2962782638","https://openalex.org/W185427221","https://openalex.org/W189720839"],"abstract_inverted_index":{"This":[0,80],"paper":[1,61],"introduces":[2],"a":[3,41,92,117],"new":[4,42,65],"approach":[5,37,172],"for":[6,123],"the":[7,29,60,64,77,83,86,103,134,139,147,168],"synthesis":[8,89],"of":[9,31,33,59,85],"Markov":[10,87,125],"chains":[11],"with":[12,99],"density":[13],"safety":[14,17],"constraints.":[15,55,79],"Specific":[16],"constraints":[18,48,67,101],"considered":[19],"are:":[20],"(i)":[21],"Density":[22],"upper":[23],"bound":[24],"constraints;":[25],"(ii)":[26],"Bound":[27],"on":[28,40,102],"rate":[30],"change":[32],"density.":[34],"The":[35,56,113],"proposed":[36,169],"is":[38,62,130,136,142,173],"based":[39],"mathematical":[43],"result":[44,81],"that":[45,63,127],"formulates":[46],"these":[47],"as":[49,91],"linear,":[50],"and":[51,74,109,119],"hence":[52],"convex,":[53],"inequality":[54],"main":[57],"contribution":[58],"convex":[66],"are":[68],"proved":[69],"to":[70,76,146,156],"be":[71,154],"equivalent,":[72],"necessary":[73,118],"sufficient,":[75],"original":[78],"enables":[82],"formulation":[84,115],"chain":[88],"problem":[90,98],"Linear":[93],"Matrix":[94],"Inequality":[95],"(LMI)":[96],"optimization":[97],"additional":[100],"steady":[104],"state":[105,111],"probability":[106],"distribution,":[107],"ergodicity,":[108],"feasible":[110],"transitions.":[112],"LMI":[114,140,151],"presents":[116],"sufficient":[120,144],"design":[121,171],"condition":[122,141],"reversible":[124],"chains,":[126],"is,":[128],"it":[129],"not":[131,137],"conservative.":[132],"When":[133],"reversibility":[135],"required,":[138],"only":[143],"due":[145],"ergodicity":[148],"constraint.":[149],"Since":[150],"problems":[152],"can":[153],"solved":[155],"global":[157],"optimality":[158],"in":[159],"polynomial":[160],"time":[161],"by":[162],"using":[163],"Interior":[164],"Point":[165],"Method":[166],"algorithms,":[167],"LMI-based":[170],"numerically":[174],"tractable.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}