{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:46:04Z","timestamp":1729658764518,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760489","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"3926-3931","source":"Crossref","is-referenced-by-count":2,"title":["Bisimilar finite abstractions of stochastic control systems"],"prefix":"10.1109","author":[{"given":"Majid","family":"Zamani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peyman","family":"Mohajerin Esfahani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"17","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","article-title":"PESSOA: A tool for embedded control software synthesis","author":"mazo jr","year":"2010","journal-title":"Computer Aided Verification (CAV)"},{"journal-title":"Stochastic Differential Equations An Introduction with Applications","year":"2002","author":"oksendal","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-642-31424-7_28","article-title":"Approximately bisimilar symbolic models for digital control systems","author":"majumdar","year":"2012","journal-title":"Computer Aided Verification (CAV)"},{"key":"16","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"Symposium on Theoretical Aspects of Computer Science"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0007-6","author":"kushner","year":"2001","journal-title":"Numerical Methods for Stochastic Control Problems in Continuous Time"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"12","volume":"113","author":"karatzas","year":"1991","journal-title":"Brownian Motion and Stochastic Calculus Graduate Texts in Mathematics"},{"key":"21","doi-asserted-by":"crossref","first-page":"2583","DOI":"10.1109\/TAC.2011.2118950","article-title":"Computing abstractions of nonlinear systems","volume":"56","author":"rei\ufffdig","year":"2011","journal-title":"IEEE Transaction on Automatic Control"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393895"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.18"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"24","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-642-00602-9_25","article-title":"Discrete-state abstractions of nonlinear systems using multi-resolution quantizer","author":"tazaki","year":"2009","journal-title":"Proceedings of 12th International Conference on Hybrid Systems Computation and Control (HSCC)"},{"journal-title":"Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions","year":"2013","author":"zamani","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2160595"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022112"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400334"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530747"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06760489.pdf?arnumber=6760489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T08:50:47Z","timestamp":1565254247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760489","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}