{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:25:36Z","timestamp":1725452736401},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582376","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"1535-1540","source":"Crossref","is-referenced-by-count":5,"title":["Achievable Bisimilar Behaviour of Abstract State 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":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00318-3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/9.981722"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.591"},{"year":"1979","author":"ruberti","key":"15"},{"journal-title":"Mathematical Control Theory Deterministic Finite Dimensional Systems","year":"1998","author":"sontag","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"year":"0","key":"11"},{"journal-title":"Introduction to Mathematical Systems Theory A Behavioral Approach","year":"1997","author":"polderman","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.310028"},{"key":"20","article-title":"Equivalence of hybrid dynamical systems","author":"van der schaft","year":"2004","journal-title":"Proc Mathematical Theory of Networks and Systems (MTNS)"},{"journal-title":"Model checking","year":"2002","author":"clarke","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430240"},{"key":"7","article-title":"Comunication and Concurrency","author":"milner","year":"1989","journal-title":"Prentice Hall International Series in Computer Science"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0259-2","author":"kuijper","year":"1994","journal-title":"First-Order Representations of Linear Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.12.002"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.964683"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(01)00167-0"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582376.pdf?arnumber=1582376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:51:18Z","timestamp":1497693078000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582376\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582376","relation":{},"subject":[]}}