{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:49:38Z","timestamp":1761662978315},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T00:00:00Z","timestamp":1319068800000},"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":[[2012,3]]},"DOI":"10.1007\/s10626-011-0119-6","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T06:56:02Z","timestamp":1319007362000},"page":"83-99","source":"Crossref","is-referenced-by-count":5,"title":["Finite abstractions for hybrid systems with stable continuous dynamics"],"prefix":"10.1007","volume":"22","author":[{"given":"Herbert G.","family":"Tanner","sequence":"first","affiliation":[]},{"given":"Jie","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Chetan","family":"Rawal","sequence":"additional","affiliation":[]},{"given":"Jorge L.","family":"Piovesan","sequence":"additional","affiliation":[]},{"given":"Chaouki T.","family":"Abdallah","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,20]]},"reference":[{"issue":"7","key":"119_CR1","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger T, Lafferriere G, Pappas G (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"issue":"1","key":"119_CR2","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/1132357.1132363","volume":"5","author":"R Alur","year":"2006","unstructured":"Alur R, Verimag TD, Ivancic F (2006) Predicate abstractions for reachability analysis of hybrid systems. ACM Trans Embed Comput Syst 5(1):152\u2013199","journal-title":"ACM Trans Embed Comput Syst"},{"issue":"2","key":"119_CR3","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2140\/pjm.2003.210.201","volume":"210","author":"K Athanasopoulos","year":"2003","unstructured":"Athanasopoulos K (2003) Explosions near isolated unstable attractors. Pac J Math 210(2):201\u2013214","journal-title":"Pac J Math"},{"key":"119_CR4","doi-asserted-by":"crossref","unstructured":"Broucke ME (1999) A geometric approach to bisimulation and verification of hybrid systems. In: Vaandrager FW, van Schuppen JH (eds) Hybrid systems: computation and control. Lecture notes in computer science, vol 1569. Springer-Verlag, pp 61\u201375","DOI":"10.1007\/3-540-48983-5_9"},{"key":"119_CR5","doi-asserted-by":"crossref","unstructured":"Bullo F, Lewis AD (2005) Geometric control of mechanical systems. No.\u00a049 in Texts in Applied Mathematics. Springer","DOI":"10.1007\/978-1-4899-7276-7_3"},{"key":"119_CR6","unstructured":"Girard A, Cuernic C (2008) Zonotope\/hyperplane intersection for bybrid systems reachability analysis. In: Egerstedt M, Mishra P (eds) hybrid systems: computation and control, LNCS, vol 4981. Springer-Verlag, pp\u00a0215\u2013228"},{"issue":"5","key":"119_CR7","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"53","author":"A Girard","year":"2007","unstructured":"Girard A, Pappas GJ (2007) Approximate metrics for discrete and continuous systems. IEEE Trans Automat Contr 53(5):782\u2013798","journal-title":"IEEE Trans Automat Contr"},{"key":"119_CR8","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1016\/j.automatica.2008.09.016","volume":"45","author":"A Girard","year":"2009","unstructured":"Girard A, Pappas GJ (2009) Hierarchical control system design using approximate simulation. Automatica 45:566\u2013571","journal-title":"Automatica"},{"key":"119_CR9","doi-asserted-by":"crossref","unstructured":"Girard A, Pola G, Tabuada P (2008) Approximately bisimilar symbolic models for incrementally stable switched systems. In: Egerstedt M, Mishra B (eds) Hybrid systems: computation and control. Lecture notes in computer science, vol 4981. Springer Verlag, pp 201\u2013214","DOI":"10.1007\/978-3-540-78929-1_15"},{"key":"119_CR10","doi-asserted-by":"crossref","unstructured":"Gulwani S, Tiwari A (2008) Constraint-based approach for analysis of hybrid systems. In: Gupta A, Malik S (eds) Computer aided verification, LNCS, vol 5123. Springer-Verlag, pp\u00a0190\u2013203","DOI":"10.1007\/978-3-540-70545-1_18"},{"key":"119_CR11","unstructured":"Khalil HK (1996) Nonlinear systems. Prentice Hall"},{"issue":"7","key":"119_CR12","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1109\/5.871307","volume":"88","author":"X Koutsoukos","year":"2000","unstructured":"Koutsoukos X, Antsaklis P, Stiver J, Lemmon M (2000) Supervisory control of hybrid systems. Proc IEEE 88(7):1026\u20131049","journal-title":"Proc IEEE"},{"key":"119_CR13","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/S0005-1098(98)00179-4","volume":"35","author":"S Kowalewski","year":"1999","unstructured":"Kowalewski S, Engell S, Preu\u00dfig J, Stursberg O (1999) Verification of logic controlles for continuous plants using timed condition\/event-system models. Automatica 35:505\u2013518","journal-title":"Automatica"},{"key":"119_CR14","doi-asserted-by":"crossref","unstructured":"Kurzhanski A, Varaiya P (2000) Ellipsoidal techniques for reachability analysis. In: Lynch N, Krogh B (eds) Hybrid systems: computation and control, LNCS, vol 1790. Springer-Verlag, pp\u00a0310\u2013323","DOI":"10.1007\/3-540-46430-1_19"},{"key":"119_CR15","doi-asserted-by":"crossref","unstructured":"Lerda F, Kapinski J, Clarke E, Krogh B (2008) Verification of supervisory control software using state proximity and merging. In: Egerstedt M, Mishra B (eds) Hybrid systems: computation and control, LNCS, vol 4981. Springer-Verlag, pp 344\u2013357","DOI":"10.1007\/978-3-540-78929-1_25"},{"issue":"3","key":"119_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0005-1098(98)00176-9","volume":"35","author":"J Lunze","year":"1999","unstructured":"Lunze J, Nixdorf B, Schroder J (1999) Deterministic discrete-event representations of linear continuous-variable systems. Automatica 35(3):395\u2013406","journal-title":"Automatica"},{"issue":"1","key":"119_CR17","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2002.806650","volume":"48","author":"J Lygeros","year":"2003","unstructured":"Lygeros J, Johansson K, Simi\u0107 S, Sastry S (2003) Dynamical properties of hybrid automata. IEEE Trans Automat Contr 48(1):2\u201317","journal-title":"IEEE Trans Automat Contr"},{"key":"119_CR18","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall"},{"key":"119_CR19","unstructured":"Milner R (2003) Communicating and mobile systems: the \u03c0 calculus. Cambridge University Press"},{"key":"119_CR20","doi-asserted-by":"crossref","unstructured":"Piovesan JL, Tanner HG, Abdallah CT (2006) Discrete asymptotic abstractions of hybrid systems. In: Proceedings of 45th IEEE conference on decision & control, pp 917\u2013922","DOI":"10.1109\/CDC.2006.377733"},{"issue":"1","key":"119_CR21","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s10703-009-0079-8","volume":"35","author":"A Platzer","year":"2009","unstructured":"Platzer A, Clarke EM (2009) Computing differential invariants of hybrid systems as fixedpoints. Form Methods Syst Des 35(1):98\u2013120","journal-title":"Form Methods Syst Des"},{"issue":"4","key":"119_CR22","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/9.664160","volume":"43","author":"J Raisch","year":"1998","unstructured":"Raisch J, O\u2019Young S (1998) Discrete approximations and supervisory control of continuous systems. IEEE Trans Automat Contr 43(4):569\u2013573","journal-title":"IEEE Trans Automat Contr"},{"key":"119_CR23","doi-asserted-by":"crossref","unstructured":"Stirling C (1996) Modal and temporal logics for processes. In: Moller F, Birtwistle G (eds) Logics for concurency: structure vs automata. Springer","DOI":"10.1007\/3-540-60915-6_5"},{"key":"119_CR24","doi-asserted-by":"crossref","unstructured":"Stursberg O, Krogh B (2003) Efficient representation and computation of reachable sets for hybrid systems. In: Lynch O, Pnueli A (eds) Hybrid systems: computation and control, LNCS, vol 2623. Springer-Verlag, pp\u00a0482\u2013497","DOI":"10.1007\/3-540-36580-X_35"},{"key":"119_CR25","doi-asserted-by":"crossref","unstructured":"Tabuada P (2007) Approximate simulation relations and finite abstractions of quantized control systems. In: Bemporad A, Bicchi A, Buttazzo G (eds) Hybrid systems: computation and control. Lecture notes in computer science, vol 4416. Springer-Verlag, pp 529\u2013542","DOI":"10.1007\/978-3-540-71493-4_41"},{"key":"119_CR26","doi-asserted-by":"crossref","unstructured":"Tazaki Y, Imura J (2008) Finite abstractions of discrete-time linear systems and its application to optimal control. In: Proceedings of the 17th IFAC World Congress, pp 4656\u20134661","DOI":"10.3182\/20080706-5-KR-1001.01726"},{"issue":"1","key":"119_CR27","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A Tiwari","year":"2008","unstructured":"Tiwari A (2008) Abstractions for hybrid systems. Form Methods Syst Des 32(1):57\u201383","journal-title":"Form Methods Syst Des"},{"issue":"7","key":"119_CR28","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C Tomlin","year":"2000","unstructured":"Tomlin C, Mitchell I, Bayen A, Oishi M (2000) Computational techniques for the verification of hybrid systems. Proc IEEE 91(7):986\u20131001","journal-title":"Proc IEEE"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0119-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0119-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0119-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T02:50:14Z","timestamp":1560826214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0119-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,20]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["119"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0119-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,20]]}}}