{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:26:35Z","timestamp":1730204795022,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1430240","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"1406-1411 Vol.2","source":"Crossref","is-referenced-by-count":11,"title":["Bisimulation theory for switching linear systems"],"prefix":"10.1109","author":[{"given":"G.","family":"Pola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.J.","family":"van der Schaft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.D.","family":"Di Benedetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"16","article-title":"Equivalence of hybrid dynamical systems","author":"van der schaft","year":"2004","journal-title":"Proc Mathematical Theory of Networks and Systems (MTNS)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/00207170500380839"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_34"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2003.09.013"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0957-7"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.761978"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"10","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica Special Issue on Hybrid Systems"},{"key":"7","article-title":"Interactive Markov Chain","volume":"2428","author":"hermanns","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"6","first-page":"5777","article-title":"On bservability and detectability of continuous-time switching linear systems","author":"de santis","year":"2003","journal-title":"Proceedings of the 42st IEEE Conference on Decision and Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.822860"},{"journal-title":"Model checking","year":"2002","author":"clarke","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-41914-4"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"8"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30842\/01430240.pdf?arnumber=1430240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T17:52:47Z","timestamp":1489513967000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1430240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1430240","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}