{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T05:52:13Z","timestamp":1785304333129,"version":"3.55.0"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme","award":["631622"],"award-info":[{"award-number":["631622"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/tac.2015.2422431","type":"journal-article","created":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T18:41:46Z","timestamp":1428950506000},"page":"3210-3225","source":"Crossref","is-referenced-by-count":11,"title":["Stability Preserving Simulations and Bisimulations for Hybrid Systems"],"prefix":"10.1109","volume":"60","author":[{"given":"Pavithra","family":"Prabhakar","sequence":"first","affiliation":[{"name":"IMDEA Software Inst., Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Geir","family":"Dullerud","sequence":"additional","affiliation":[{"name":"Univ. of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"Univ. of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.28"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461339"},{"key":"ref33","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129738"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_18"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_20"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185662"},{"key":"ref34","article-title":"Hybrid automata-based cegar for rectangular hybrid automata","author":"prabhakar","year":"0","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref10","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_59"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72734-7_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/9789812776471_0006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_10"},{"key":"ref15","article-title":"Robustness of tenporal logic specifications","author":"fainekos","year":"0","journal-title":"Proc Int Conf Formal Approaches Testing Runtime Verif"},{"key":"ref16","author":"geletu","year":"2006","journal-title":"Introduction to Topological Spaces and Set-Valued Maps"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.019"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253264"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref27","author":"jean-pierre aubin","year":"1990","journal-title":"Set-Valued Analysis"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.650600"},{"key":"ref29","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2004.09.003"},{"key":"ref2","first-page":"208","article-title":"Counter-example guided predicate abstraction of hybrid systems","author":"alur","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Computer Aided Verification"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-36577-X_15","article-title":"Counter-example guided predicate abstraction of hybrid systems","author":"alur","year":"2003","journal-title":"Tools Algorithms Construction Anal Syst"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"ref22","first-page":"880","article-title":"Homeomorphism of systems of differential equations","volume":"128","author":"grobman","year":"1959","journal-title":"Doklady Akad Nauk SSSR"},{"key":"ref21","first-page":"72","article-title":"Construction of abstact state graphs with PVS","author":"graf","year":"0","journal-title":"Proc Int Conf Comp Aided Verif"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1960-0121542-7"},{"key":"ref23","first-page":"77","article-title":"Topological classification of neighborhoods of a singularity in $n$-space","volume":"56","author":"grobmanl","year":"1962","journal-title":"Mat Sbornik"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7342868\/07084618.pdf?arnumber=7084618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T19:08:55Z","timestamp":1709924935000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7084618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":40,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2422431","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12]]}}}