{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:10:29Z","timestamp":1729674629380,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6161338","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"552-557","source":"Crossref","is-referenced-by-count":1,"title":["Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Borri","sequence":"first","affiliation":[]},{"given":"Giordano","family":"Pola","sequence":"additional","affiliation":[]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume":"6","author":"sontag","year":"1998","journal-title":"Mathematical Control Theory"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00055-9"},{"key":"15","first-page":"163","article-title":"Alternating refinement relations","author":"alur","year":"1998","journal-title":"Proceedings of the 8th International Conference on Concurrence Theory"},{"journal-title":"Spline Analysis","year":"1973","author":"schultz","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717258"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876964"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06161338.pdf?arnumber=6161338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:19:38Z","timestamp":1497971978000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6161338\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6161338","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}