{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:05Z","timestamp":1725550085303},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_10","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T10:06:40Z","timestamp":1128938800000},"page":"99-113","source":"Crossref","is-referenced-by-count":11,"title":["Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilherme","family":"Pinto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Ratschan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","volume-title":"Computer Aided Verification","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Dang, T., Maler, O.: The d\/dt tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 365\u2013370. Springer, Heidelberg (2002)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-48092-7_14","volume-title":"Correct System Design","author":"T. Bienm\u00fcller","year":"1999","unstructured":"Bienm\u00fcller, T., Bohn, J., Brinkmann, H., Brockmeyer, U., Damm, W., Hungar, H., Jansen, P.: Verification of automotive control units. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 319\u2013341. Springer, Heidelberg (1999)"},{"key":"10_CR3","first-page":"150","volume-title":"Towards System Safety\u2014Proc. of the 7th Safety-critical Systems Symp.","author":"T. Bienm\u00fcller","year":"1999","unstructured":"Bienm\u00fcller, T., Brockmeyer, U., Damm, W.: et\u00a0al. Formal verification of an avionics application using abstraction and symbolic model checking. In: Redmill, F., Anderson, T. (eds.) Towards System Safety\u2014Proc. of the 7th Safety-critical Systems Symp., pp. 150\u2013173. Springer, Heidelberg (1999)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-49382-2_27","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"J. Bohn","year":"1998","unstructured":"Bohn, J., Damm, W., Grumberg, O., et al.: First-order-CTL model checking. In: Arvind, V., Sarukkai, S. (eds.) FST TCS 1998. LNCS, vol.\u00a01530, pp. 283\u2013295. Springer, Heidelberg (1998)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computing polyhedral approximations to flow pipes for dynamic systems. In: 37th IEEE Conference on Decision and Control: Session on Synthesis and Verification of Hybrid Control Laws, TM-01 (1998)","DOI":"10.1109\/CDC.1998.758642"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-36577-X_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Clarke","year":"2003","unstructured":"Clarke, E., Fehnker, A., Han, Z., Krogh, B., Stursberg, O., Theobald, M.: Verification of hybrid systems based on counterexample-guided abstraction refinement. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 192\u2013207. Springer, Heidelberg (2003)"},{"key":"10_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-48168-0_10","volume-title":"Computer Science Logic","author":"M. Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle, M.: Analysis of hybrid systems: An ounce of realism can save an infinity of states. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 126\u2013140. Springer, Heidelberg (1999)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-45500-0_17","volume-title":"Theoretical Aspects of Computer Software","author":"M. Fr\u00e4nzle","year":"2001","unstructured":"Fr\u00e4nzle, M.: What will be eventually true of polynomial hybrid automata. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, p. 340. Springer, Heidelberg (2001)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HyTech: hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, p. 130. Springer, Heidelberg (2000)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"1998","unstructured":"Henzinger, T.A., Sastry, S.S. (eds.): HSCC 1998. LNCS, vol.\u00a01386. Springer, Heidelberg (1998)"},{"key":"10_CR12","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1006\/jsco.2001.0519","volume":"33","author":"S. Ratschan","year":"2002","unstructured":"Ratschan, S.: Quantified constraints under perturbations. Journal of Symbolic Computation\u00a033(4), 493\u2013505 (2002)","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR14","unstructured":"Ratschan, S.: Rsolver. Software package (2004), \n                    \n                      http:\/\/rsolver.sourceforge.net"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-540-31954-2_37","volume-title":"Hybrid Systems: Computation and Control","author":"S. Ratschan","year":"2005","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 573\u2013589. Springer, Heidelberg (2005)"},{"key":"10_CR16","doi-asserted-by":"publisher","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 Models of Dynamical Systems\u00a06, 51\u201370 (2000)","journal-title":"Mathematical and Computer Models of Dynamical Systems"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:14:31Z","timestamp":1619493271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11562948_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}