{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:19:22Z","timestamp":1778498362030,"version":"3.51.4"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/acc.2006.1657467","type":"proceedings-article","created":{"date-parts":[[2006,8,3]],"date-time":"2006-08-03T00:10:31Z","timestamp":1154563831000},"page":"6 pp.","source":"Crossref","is-referenced-by-count":25,"title":["Approximate bisimulation for a class of stochastic hybrid systems"],"prefix":"10.1109","author":[{"given":"A.A.","family":"Julius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Girard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"17","author":"lo?fberg","year":"0"},{"key":"18","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-540-24611-4_3","article-title":"An overview of probabilistic process algebras and their equivalences","volume":"2925","author":"lopez","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","article-title":"Towards a theory of stochastic hybrid systems","volume":"1790","author":"hu","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/.2005.1467054"},{"key":"13","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-3-540-24743-2_26","article-title":"Stochastic hybrid systems: Applications to communication networks","volume":"2993","author":"hespanha","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"14","first-page":"322","article-title":"Polynomial stochastic hybrid systems","volume":"20","author":"hespanha","year":"0","journal-title":"Morari and Thiele"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582904"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"21","author":"oksendal","year":"2000","journal-title":"Stochastic Differential Equations An Introduction with Applications"},{"key":"20","article-title":"Hybrid systems: Computation and control","volume":"3414","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"22","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"pappas","year":"2003","journal-title":"Automatica"},{"key":"23","article-title":"Stochastic hybrid models: An overview","author":"pola","year":"2003","journal-title":"Proc IFAC Conf Analysis and Design of Hybrid Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583139"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/11587392_3"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000018571.14789.24"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184923"},{"key":"29","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-45499-3_23","article-title":"Approximate bisimilarity","volume":"1816","author":"ying","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"3","first-page":"198","article-title":"Bisimulation for general stochastic hybrid systems","volume":"20","author":"bujorianu","year":"0","journal-title":"Morari and Thiele"},{"key":"2","first-page":"151","article-title":"Optimal control of discrete hybrid stochastic automata","volume":"20","author":"bemporad","year":"0","journal-title":"Morari and Thiele"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012996299302"},{"key":"1","article-title":"A stability criterion for stochastic hybrid systems","author":"abate","year":"2004","journal-title":"Proc Mathematical Theory of Networks and Systems"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(03)00133-6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2962"},{"key":"6","year":"0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0005-1098(98)00145-9","article-title":"Continuous-time state-feedback H2-control of markovian jump linear systems via convex analysis","volume":"35","author":"costa","year":"1999","journal-title":"Automatica"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993252309"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"}],"event":{"name":"2006 American Control Conference","location":"Minneapolis, MN, USA","start":{"date-parts":[[2006,6,14]]},"end":{"date-parts":[[2006,6,16]]}},"container-title":["2006 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11005\/34689\/01657467.pdf?arnumber=1657467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T08:16:27Z","timestamp":1497687387000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1657467\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/acc.2006.1657467","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}