{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T13:27:39Z","timestamp":1782307659890,"version":"3.54.5"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:00:00Z","timestamp":1192060800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10626-007-0029-9","type":"journal-article","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T16:27:02Z","timestamp":1192033622000},"page":"163-179","source":"Crossref","is-referenced-by-count":75,"title":["Approximate Simulation Relations for Hybrid Systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Antoine","family":"Girard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A. Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,10,11]]},"reference":[{"key":"29_CR1","unstructured":"de Alfaro L, Faella M, Stoelinga M (2004) Linear and branching metrics for quantitative transition systems, ICALP\u201904, LNCS, vol 3142. Springer, pp 1150\u20131162"},{"issue":"1","key":"29_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138(1):3\u201334","journal-title":"Theor Comput Sci"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. In: Proceedings of the IEEE, vol 88(7), pp 971\u2013984","DOI":"10.1109\/5.871304"},{"issue":"5","key":"29_CR4","doi-asserted-by":"crossref","first-page":"864","DOI":"10.1109\/TRO.2005.851359","volume":"21","author":"C Belta","year":"2005","unstructured":"Belta C, Isler V, Pappas GJ (2005) Discrete abstractions for robot planning and control in polygonal environments. IEEE Trans on Robotics 21(5):864\u2013874","journal-title":"IEEE Trans on Robotics"},{"key":"29_CR5","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press"},{"issue":"3","key":"29_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J Desharnais","year":"2004","unstructured":"Desharnais J, Gupta V, Jagadeesan R, Panangaden P (2004) Metrics for labelled Markov processes. Theor Comput Sci 318(3):323\u2013354","journal-title":"Theor Comput Sci"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Fainekos GE, Girard A, Pappas GJ (2007) Hierarchical synthesis of hybrid controllers from temporal logic specifications. Hybrid systems: computation and control, LNCS, vol 4416. Springer, pp 203\u2013216","DOI":"10.1007\/978-3-540-71493-4_18"},{"issue":"4","key":"29_CR8","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.1137\/S0363012993258732","volume":"34","author":"RA Freeman","year":"1996","unstructured":"Freeman RA, Kokotovic PV (1996) Inverse optimality in robust stabilization. SIAM J Control Optim 34(4):1365\u20131391","journal-title":"SIAM J Control Optim"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Frehse G (2005) PHAVer: algorithmic verification of hybrid systems past hyTech. Hybrid systems: computation and control, LNCS, vol 3414. Springer, pp 258\u2013273","DOI":"10.1007\/978-3-540-31954-2_17"},{"issue":"5","key":"29_CR10","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A Girard","year":"2007","unstructured":"Girard A, Pappas GJ (2007a) Approximation metrics for discrete and continuous systems. IEEE Trans Autom Control 52(5):782\u2013798","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"29_CR11","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1016\/j.automatica.2007.01.019","volume":"43","author":"A Girard","year":"2007","unstructured":"Girard A, Pappas GJ (2007b) Approximation bisimulation relations for constrained linear systems. Automatica 43(8):1307\u20131317","journal-title":"Automatica"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Girard A, Pappas GJ (2005) Approximate bisimulations for nonlinear dynamical systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference. IEEE, pp 684\u2013689, December","DOI":"10.1109\/CDC.2005.1582235"},{"issue":"2\u20133","key":"29_CR13","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E Haghverdi","year":"2005","unstructured":"Haghverdi E, Tabuada P, Pappas GJ (2005) Bisimulation relations for dynamical, control, and hybrid systems. Theor Comput Sci 342(2\u20133):229\u2013262","journal-title":"Theor Comput Sci"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Julius AA (2006) Approximate abstraction of stochastic hybrid automata. Hybrid systems: computation and control, LNCS, vol 3927. Springer, pp 318\u2013332","DOI":"10.1007\/11730637_25"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Julius AA, Girard A, Pappas GJ (2006) Approximate bisimulation for a class of stochastic hybrid systems. In: Proc American Control Conference","DOI":"10.1109\/ACC.2006.1657467"},{"key":"29_CR16","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0167-6911(02)00125-1","volume":"46","author":"D Liberzon","year":"2002","unstructured":"Liberzon D, Sontag ED, Wang Y (2002) Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation. Syst Control Lett 46:111\u2013127","journal-title":"Syst Control Lett"},{"key":"29_CR17","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall"},{"issue":"12","key":"29_CR18","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"GJ Pappas","year":"2003","unstructured":"Pappas GJ (2003) Bisimilar linear systems. Automatica 39(12):2035\u20132047","journal-title":"Automatica"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Pola G, van der Schaft AJ, Di Benedetto MD (2004) Bisimulation theory for switching linear systems. In: Proc of the 43rd IEEE Conference on Decision and Control","DOI":"10.1109\/CDC.2004.1430240"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Prajna S, Papachristodoulou A, Seiler P, Parrilo PA (2005) SOSTOOLS and its control applications. Positive Polynomials in Control. Springer","DOI":"10.1007\/10997703_14"},{"issue":"7","key":"29_CR21","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00236-006-0036-6","volume":"43","author":"P Tabuada","year":"2007","unstructured":"Tabuada P (2007) Symbolic models for control systems. Acta Informatica 43(7):477\u2013500","journal-title":"Acta Informatica"},{"issue":"12","key":"29_CR22","doi-asserted-by":"crossref","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","volume":"49","author":"A Schaft van der","year":"2004","unstructured":"van der Schaft A (2004) Equivalence of dynamical systems by bisimulation. IEEE Trans Autom Control 49(12):2160\u20132172","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0029-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-007-0029-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0029-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:51Z","timestamp":1559231931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-007-0029-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,11]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["29"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0029-9","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,11]]}}}