{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:24:48Z","timestamp":1726759488260},"reference-count":52,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["European Journal of Control"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.3166\/ejc.17.568-578","type":"journal-article","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T10:31:10Z","timestamp":1323167470000},"page":"568-578","source":"Crossref","is-referenced-by-count":96,"title":["Approximate Bisimulation: A Bridge Between Computer Science and Control Theory"],"prefix":"10.1016","volume":"17","author":[{"given":"Antoine","family":"Girard","sequence":"first","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.3166\/ejc.17.568-578_bib1","series-title":"Proceedings IEEE","first-page":"971","article-title":"Discrete abstractions of hybrid systems","author":"Alur","year":"2000"},{"key":"10.3166\/ejc.17.568-578_bib0010","series-title":"11th International Conference on Embedded Software","article-title":"Formal verification of hybrid systems","author":"Alur","year":"2011"},{"issue":"3","key":"10.3166\/ejc.17.568-578_bib0015","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/9.989067","article-title":"A Lyapunov approach to incremental stability properties","volume":"47","author":"Angeli","year":"2002","journal-title":"IEEE TransAutom Control"},{"key":"10.3166\/ejc.17.568-578_bib0020","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1090\/conm\/280\/04630","article-title":"A survey of model reduction methods for large-scale systems","volume":"280","author":"Antoulas","year":"2000","journal-title":"Contemp Math"},{"key":"10.3166\/ejc.17.568-578_bib0025","series-title":"Toward an approximation theory for computerised control","first-page":"294","volume":"2491","author":"Caspi","year":"2002"},{"key":"10.3166\/ejc.17.568-578_bib0030","article-title":"Synthesis of switching controllers using approximately bisimilar multiscale abstractions","author":"Camara","year":"2011","journal-title":"In Hybrid Systems: Comput Control"},{"key":"10.3166\/ejc.17.568-578_bib0035","series-title":"Model Checking","author":"Clarke","year":"2000"},{"key":"10.3166\/ejc.17.568-578_bib0040","series-title":"Mediterranean Control Conference","article-title":"Hierarchical control implementation","author":"Cavarischia","year":"2007"},{"key":"10.3166\/ejc.17.568-578_bib0045","series-title":"IEEE Conference Decision Control","article-title":"Hierarchical tracking implementation","author":"Cavarischia","year":"2007"},{"key":"10.3166\/ejc.17.568-578_bib0050","series-title":"Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, PLDI\u201910, 279-291","article-title":"Smooth interpretation","author":"Chaudhuri","year":"2010"},{"key":"10.3166\/ejc.17.568-578_bib0055","article-title":"Linear and branching metrics for quantitative transition systems","volume":"3142","author":"de Alfaro","year":"2004"},{"issue":"3","key":"10.3166\/ejc.17.568-578_bib0060","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","article-title":"Metrics for labeled Markov processes","volume":"318","author":"Desharnais","year":"2004","journal-title":"Theor Comput Sci"},{"issue":"2","key":"10.3166\/ejc.17.568-578_bib0065","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic planning for dynamic models","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"key":"10.3166\/ejc.17.568-578_bib0070","article-title":"Temporal logic verification using simulation","volume":"420","author":"Fainekos","year":"2006"},{"key":"10.3166\/ejc.17.568-578_bib0075","article-title":"Approximately bisimilar finite abstractions of stable linear systems","volume":"4416","author":"Girard","year":"2007"},{"key":"10.3166\/ejc.17.568-578_bib0080","first-page":"111","article-title":"Synthesis using approximately bisimilar abstractions: State-feedback controllers for safety specifications","author":"Girard","year":"2010","journal-title":"In Hybrid Systems: Comput and Control"},{"key":"10.3166\/ejc.17.568-578_bib0085","series-title":"IEEE Conf Decision Control","article-title":"Synthesis using approximately bisimilar abstractions: Time-optimal control problems","author":"Girard","year":"2010"},{"issue":"2","key":"10.3166\/ejc.17.568-578_bib0090","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10626-007-0029-9","article-title":"Approximate simulation relations for hybrid systems","volume":"18","author":"Girard","year":"2008","journal-title":"Discret Event Dyn Syst"},{"key":"10.3166\/ejc.17.568-578_bib0095","series-title":"IEEE Conference Decision Control European Control Conf","first-page":"684","article-title":"Approximate bisimulations for nonlinear dynamical systems","author":"Girard","year":"2005"},{"key":"10.3166\/ejc.17.568-578_bib0100","article-title":"Verification using simulation","volume":"3927","author":"Girard","year":"2006"},{"issue":"8","key":"10.3166\/ejc.17.568-578_bib0105","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1016\/j.automatica.2007.01.019","article-title":"Approximate bisimulation relations for constrained linear systems","volume":"43","author":"Girard","year":"2007","journal-title":"Automatica"},{"issue":"5","key":"10.3166\/ejc.17.568-578_bib0110","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2007.895849","article-title":"Approximation metrics for discrete and continuous systems","volume":"52","author":"Girard","year":"2007","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.17.568-578_bib0115","doi-asserted-by":"crossref","unstructured":"Girard A, Pappas GJ. Hierarchical control system design using approximate simulation. Automatica; 45(2): 566\u2013571.","DOI":"10.1016\/j.automatica.2008.09.016"},{"issue":"1","key":"10.3166\/ejc.17.568-578_bib0120","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","article-title":"Approximately bisimilar symbolic models for incrementally stable switched systems","volume":"55","author":"Girard","year":"2010","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.17.568-578_bib0125","unstructured":"Girard A, Zheng G. Verification of safety and liveness properties of metric transition systems. ACM Transactions on Embedded Computing Systems, 2011. To appear. [Hen07] Thomas A. Henzinger. Quantitative generalizations of languages. In Proceedings of the 11th international conference on Developments in language theory, DLT\u201907; 20\u201322, Berlin, Heidelberg, 2007. Springer-Verlag."},{"key":"10.3166\/ejc.17.568-578_bib0130","series-title":"Proceedings of the 11th international conference on Developments in language theory, DLT\u201907","first-page":"20","article-title":"Quantitative generalizations of languages","author":"Thomas","year":"2007"},{"issue":"2\u20133","key":"10.3166\/ejc.17.568-578_bib0135","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","article-title":"Bisimulation relations for dynamical, control, and hybrid systems","volume":"342","author":"Haghverdi","year":"2005","journal-title":"Theor Comput Sci"},{"key":"10.3166\/ejc.17.568-578_bib0140","article-title":"Using computer games for hybrid systems controller synthesis","author":"Julius","year":"2010","journal-title":"In IEEE Conf Decision Control"},{"key":"10.3166\/ejc.17.568-578_bib0145","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.sysconle.2008.09.001","article-title":"Approximate equivalence and synchronization of metric transition systems","volume":"58","author":"Julius","year":"2009","journal-title":"Syst Control Lett"},{"key":"10.3166\/ejc.17.568-578_bib0150","article-title":"Robust test generation and coverage for hybrid systems","volume":"4416","author":"Julius","year":"2007"},{"issue":"6","key":"10.3166\/ejc.17.568-578_bib0155","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","article-title":"Approximate abstraction of stochastic hybrid systems","volume":"54","author":"Julius","year":"2009","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.17.568-578_bib0160","series-title":"Topics in Mathematical System Theory","author":"Kalman","year":"1969"},{"key":"10.3166\/ejc.17.568-578_bib0165","series-title":"Switching in systems and control","author":"Liberzon","year":"2003"},{"key":"10.3166\/ejc.17.568-578_bib0170","article-title":"Verification of supervisory control software using state proximity and merging","volume":"4981","author":"Lerda","year":"2008"},{"key":"10.3166\/ejc.17.568-578_bib0175","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.3166\/ejc.17.568-578_bib0180","article-title":"A theory of robust software synthesis","author":"Majumdar","year":"2011","journal-title":"CoRR"},{"issue":"12","key":"10.3166\/ejc.17.568-578_bib0185","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","article-title":"Bisimilar linear systems","volume":"39","author":"Pappas","year":"2003","journal-title":"Automatica"},{"issue":"10","key":"10.3166\/ejc.17.568-578_bib0190","doi-asserted-by":"crossref","first-page":"2508","DOI":"10.1016\/j.automatica.2008.02.021","article-title":"Approximately bisimilar symbolic models for nonlinear control systems","volume":"44","author":"Pola","year":"2008","journal-title":"Automatica"},{"key":"10.3166\/ejc.17.568-578_bib0195","article-title":"Quantitative relations and approximate process equivalences","volume":"2761","author":"Di Pierro","year":"2003"},{"key":"10.3166\/ejc.17.568-578_bib0200","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/j.sysconle.2010.04.001","article-title":"Symbolic models for nonlinear time-delay systems using approximate bisimulations","volume":"59","author":"Pola","year":"2010","journal-title":"Syst Control Lett"},{"issue":"2","key":"10.3166\/ejc.17.568-578_bib0205","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1137\/070698580","article-title":"Symbolic models for nonlinear control systems: Alternating approximate bisimulations","volume":"48","author":"Pola","year":"2009","journal-title":"SIAM J Control Optim"},{"key":"10.3166\/ejc.17.568-578_bib0210","article-title":"Crossing the bridge between similar games","volume":"6919","author":"Quesel","year":"2011"},{"key":"10.3166\/ejc.17.568-578_bib0265","article-title":"Pessoa 2.0: A controller synthesis tool for cyber-physical systems","author":"Roy","year":"2011","journal-title":"Hybrid Systems: Comput Control"},{"key":"10.3166\/ejc.17.568-578_bib0220","series-title":"Proceedings IEEE","first-page":"81","article-title":"The control of discrete event systems","author":"Ramadge","year":"1989"},{"issue":"6","key":"10.3166\/ejc.17.568-578_bib0225","doi-asserted-by":"crossref","first-page":"1406","DOI":"10.1109\/TAC.2008.925824","article-title":"An approximate simulation approach to symbolic control","volume":"53","author":"Tabuada","year":"2008","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.17.568-578_bib0230","series-title":"Verification and Control of Hybrid Systems-A Symbolic Approach","author":"Tabuada","year":"2009"},{"key":"10.3166\/ejc.17.568-578_bib0235","series-title":"IFACWorld Congress","article-title":"Finite abstractions of discrete-time linear systems and its application to optimal control","author":"Tazaki","year":"2008"},{"key":"10.3166\/ejc.17.568-578_bib0240","article-title":"Discrete-state abstractions of nonlinear systems using multi-resolution quantizer","volume":"5469","author":"Tazaki","year":"2009"},{"key":"10.3166\/ejc.17.568-578_bib0245","article-title":"A behavioural pseudometric for metric labelled transition systems","volume":"3653","author":"van Breugel","year":"2005"},{"key":"10.3166\/ejc.17.568-578_bib0250","series-title":"Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software, FOSSACS\u201903\/ETAPS\u201903","article-title":"Anintrinsic characterization of approximate probabilistic bisimilarity","author":"van Breugel","year":"2003"},{"issue":"12","key":"10.3166\/ejc.17.568-578_bib0255","doi-asserted-by":"crossref","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","article-title":"Equivalence of dynamical systems by bisimulation","volume":"49","author":"van der Schaft","year":"2004","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.17.568-578_bib0260","doi-asserted-by":"crossref","unstructured":"Zamani M, Pola G, Mazo M, Tabuada P. Symbolic models for nonlinear control systems without stability assumptions. 2010; submitted for publication.","DOI":"10.1109\/ACC.2010.5530738"}],"container-title":["European Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358011709773?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358011709773?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T11:24:43Z","timestamp":1561029883000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358011709773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":52,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["S0947358011709773"],"URL":"https:\/\/doi.org\/10.3166\/ejc.17.568-578","relation":{},"ISSN":["0947-3580"],"issn-type":[{"value":"0947-3580","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}