{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T14:00:42Z","timestamp":1765807242621,"version":"3.37.3"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency (DARPA)","doi-asserted-by":"publisher","award":["D14AP00084"],"award-info":[{"award-number":["D14AP00084"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1446578"],"award-info":[{"award-number":["CNS-1446578"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/tac.2015.2400712","type":"journal-article","created":{"date-parts":[[2015,2,9]],"date-time":"2015-02-09T19:25:17Z","timestamp":1423509917000},"page":"2813-2818","source":"Crossref","is-referenced-by-count":22,"title":["Convex Necessary and Sufficient Conditions for Density Safety Constraints in Markov Chain Synthesis"],"prefix":"10.1109","volume":"60","author":[{"given":"Behcet","family":"Acikmese","sequence":"first","affiliation":[]},{"given":"Nazli","family":"Demir","sequence":"additional","affiliation":[]},{"given":"Matthew W.","family":"Harris","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00035-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-08-01238-X"},{"journal-title":"Monte Carlo Concepts Algorithms and Applications","year":"1996","author":"fishman","key":"ref12"},{"key":"ref13","volume":"2","author":"gilks","year":"1996","journal-title":"Markov Chain Monte Carlo in Practice"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/57.1.97"},{"key":"ref15","first-page":"4516","article-title":"On optimal control of Markov chains with safety constraint","author":"hsu","year":"0","journal-title":"Proc Am Control Conf"},{"journal-title":"Self-Regularity A New Paradigm for Primal-Dual Interior-Point Algorithms","year":"2002","author":"roos","key":"ref16"},{"journal-title":"Reversibility and Stochastic Networks","year":"1979","author":"kelly","key":"ref17"},{"journal-title":"Monte Carlo Strategies in Scientific Computing","year":"2001","author":"liu","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/B:JOPA.0000029490.76908.0c"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814267"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/070689413"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/047124970X"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1137\/S0036144503423264","article-title":"Fastest mixing Markov Chain on a graph","volume":"46","author":"boyd","year":"2004","journal-title":"SIAM Rev"},{"key":"ref2","article-title":"Markov chain approach to probabilistic guidance for swarms of autonomous agents","author":"a\u00e7?kme?e","year":"0","journal-title":"Asian J Control"},{"key":"ref1","first-page":"6300","article-title":"A Markov chain approach to probabilistic swarm guidance","author":"a\u00e7?kme?e","year":"0","journal-title":"American Control Conf"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835355"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1115\/1.2767658"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970791"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-002-0347-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7274445\/07036115.pdf?arnumber=7036115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:03:03Z","timestamp":1642003383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7036115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":24,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2400712","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2015,10]]}}}