{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:49:35Z","timestamp":1729612175145,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7402371","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T21:32:44Z","timestamp":1456781564000},"page":"1180-1185","source":"Crossref","is-referenced-by-count":3,"title":["On equivalence notions for discrete-time stochastic control systems"],"prefix":"10.1109","author":[{"given":"Giordano","family":"Pola","sequence":"first","affiliation":[]},{"given":"Costanzo","family":"Manes","sequence":"additional","affiliation":[]},{"given":"Arjan J.","family":"van der Schaft","sequence":"additional","affiliation":[]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.04.003"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11587392_3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_40"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46086-1","author":"schroder","year":"2003","journal-title":"Modelling State Observation and Diagnosis of Quantised Systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2072530"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039066"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.4204\/EPTCS.124.3","article-title":"Networked embedded control systems: from modelling to implementation","volume":"124","author":"di benedetto","year":"2014","journal-title":"Electronic Proceedings in Theoretical Computer Science (EPTCS) Proceedings of the Third Workshop on Hybrid Autonomous Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80562-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1051\/cocv:2004006"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"journal-title":"Introduction to Mathematical Systems Theory A Behavioral Approach","year":"1997","author":"polderman","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614943"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1080\/00207170500380839"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_12"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-642-00602-9_22","article-title":"Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems","volume":"5469","author":"rei\u00dfig","year":"2009","journal-title":"Proc of 12th Int Conf Hybrid Systems Computation and Control (HSCC)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36576-1_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_22"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2160595"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1076\/mcmd.7.4.383.3639"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2168994"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref21"},{"key":"ref24","first-page":"508","volume":"2761","author":"pierro","year":"2003","journal-title":"Concurrency Theory LNCS"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"key":"ref26","article-title":"Symbolic model invariance in stochastic dynamical systems","author":"pola","year":"2006","journal-title":"Inter Symposium on Mathematical Theory of Networks and Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266864"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2015,12,15]]},"location":"Osaka","end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07402371.pdf?arnumber=7402371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T03:48:47Z","timestamp":1567655327000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7402371\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7402371","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}