{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:16Z","timestamp":1776333496444,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642333644","type":"print"},{"value":"9783642333651","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33365-1_6","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T18:27:28Z","timestamp":1346524048000},"page":"59-74","source":"Crossref","is-referenced-by-count":5,"title":["Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems"],"prefix":"10.1007","author":[{"given":"Rebekah","family":"Carter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva M.","family":"Navarro-L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-71209-1_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model Checking Liveness Properties of Genetic Regulatory Networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 323\u2013338. Springer, Heidelberg (2007)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1142\/S012905410300190X","volume":"14","author":"E.M. Clarke","year":"2003","unstructured":"Clarke, E.M., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. International Journal of Foundations of Computer Science\u00a014(4), 583\u2013604 (2003)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"D\u2019Innocenzo, A., Julius, A.A., Di Benedetto, M.D., Pappas, G.J.: Approximate timed abstractions of hybrid automata. In: 46th IEEE Conference on Decision and Control, pp. 4045\u20134050 (2007)","DOI":"10.1109\/CDC.2007.4434720"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S.: Lyapunov Abstractions for Inevitability of Hybrid Systems. In: Hybrid Systems: Computation and Control (HSCC), pp. 115\u2013123 (2012)","DOI":"10.1145\/2185632.2185652"},{"issue":"5","key":"6_CR6","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/S1097-2765(02)00528-2","volume":"9","author":"R. Heinrich","year":"2002","unstructured":"Heinrich, R., Neel, B.G., Rapoport, T.A.: Mathematical Models of Protein Kinase Signal Transduction. Molecular Cell\u00a09(5), 957\u2013970 (2002)","journal-title":"Molecular Cell"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"K.H. Johansson","year":"1999","unstructured":"Johansson, K.H., Egerstedt, M., Lygeros, J., Sastry, S.: On the regularization of Zeno hybrid automata. Systems & Control Letters\u00a038(3), 141\u2013150 (1999)","journal-title":"Systems & Control Letters"},{"key":"#cr-split#-6_CR8.1","unstructured":"Lyapunov, A.M.: The general problem of the stability of motion. PhD thesis, Moscow University (1892)"},{"key":"#cr-split#-6_CR8.2","unstructured":"Reprinted in English in the International Journal of Control 55(3) (1992)"},{"key":"6_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O. Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating Continuous Systems by Timed Automata. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol.\u00a05054, pp. 77\u201389. Springer, Heidelberg (2008)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"Mitchell, I., Tomlin, C.J.: Level Set Methods for Computation in Hybrid Systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 310\u2013323. Springer, Heidelberg (2000)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-58179-0_45","volume-title":"Computer Aided Verification","author":"A. Olivero","year":"1994","unstructured":"Olivero, A., Sifakis, J., Yovine, S.: Using Abstractions for the Verification of Linear Hybrid Systems. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 81\u201394. Springer, Heidelberg (1994)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th International Symposium on the Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1145\/1210268.1210276","volume":"6","author":"S. Ratschan","year":"2007","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Transactions on Embedded Computing Systems\u00a06(1), 573\u2013589 (2007)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10703-011-0118-0","volume":"39","author":"C. Sloth","year":"2011","unstructured":"Sloth, C., Wisniewski, R.: Verification of continuous dynamical systems by timed automata. Formal Methods in System Design\u00a039(1), 47\u201382 (2011)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT051","volume":"6","author":"O. Stursberg","year":"2000","unstructured":"Stursberg, O., Kowalewski, S., Engell, S.: On the Generation of Timed Discrete Approximations for Continuous Systems. Mathematical and Computer Modelling of Dynamical Systems: Methods, Tools and Applications in Engineering and Related Sciences\u00a06(1), 51\u201370 (2000)","journal-title":"Mathematical and Computer Modelling of Dynamical Systems: Methods, Tools and Applications in Engineering and Related Sciences"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A. Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. Formal Methods in System Design\u00a032(1), 57\u201383 (2008)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33365-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:06:13Z","timestamp":1620129973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33365-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333644","9783642333651"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33365-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}