{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T14:17:56Z","timestamp":1762352276835},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,9,21]],"date-time":"2013-09-21T00:00:00Z","timestamp":1379721600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10703-013-0196-2","type":"journal-article","created":{"date-parts":[[2013,9,20]],"date-time":"2013-09-20T10:30:15Z","timestamp":1379673015000},"page":"71-90","source":"Crossref","is-referenced-by-count":9,"title":["Safety verification of non-linear hybrid systems is quasi-decidable"],"prefix":"10.1007","volume":"44","author":[{"given":"Stefan","family":"Ratschan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,21]]},"reference":[{"key":"196_CR1","first-page":"269","volume-title":"Proc LICS\u201901","author":"E Asarin","year":"2001","unstructured":"Asarin E, Bouajjani A (2001) Perturbed Turing machines and hybrid systems. In: Proc LICS\u201901, pp\u00a0269\u2013278"},{"key":"196_CR2","volume-title":"Set-valued analysis","author":"J-P Aubin","year":"1990","unstructured":"Aubin J-P, Frankowska H (1990) Set-valued analysis. Birkh\u00e4user, Boston"},{"key":"196_CR3","first-page":"3405","volume-title":"46th IEEE conference on decision and control","author":"A Bhatia","year":"2007","unstructured":"Bhatia A, Frazzoli E (2007) Sampling-based resolution-complete safety falsification of linear hybrid systems. In: 46th IEEE conference on decision and control, pp\u00a03405\u20133411"},{"key":"196_CR4","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/978-0-387-68546-5_17","volume-title":"New computational paradigms","author":"O Bournez","year":"2008","unstructured":"Bournez O, Campagnolo ML (2008) A survey on continuous time computations. In: Cooper S, L\u00f6we B, Sorbi A (eds) New computational paradigms. Springer, New York, pp\u00a0383\u2013423"},{"key":"196_CR5","volume-title":"Quantifier elimination and cylindrical algebraic decomposition","year":"1998","unstructured":"Caviness BF, Johnson JR (eds) (1998) Quantifier elimination and cylindrical algebraic decomposition. Springer, Berlin"},{"issue":"11\u201312","key":"196_CR6","doi-asserted-by":"crossref","first-page":"1232","DOI":"10.1177\/0278364908097582","volume":"27","author":"P Cheng","year":"2008","unstructured":"Cheng P, Kumar V (2008) Sampling-based falsification and verification of controllers for continuous dynamic systems. Int J Robot Res 27(11\u201312):1232\u20131245","journal-title":"Int J Robot Res"},{"key":"196_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.tcs.2005.05.001","volume":"341","author":"P Collins","year":"2005","unstructured":"Collins P (2005) Continuity and computability of reachable sets. Theor Comput Sci 341:162\u2013195","journal-title":"Theor Comput Sci"},{"issue":"2","key":"196_CR8","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1137\/080716955","volume":"49","author":"P Collins","year":"2011","unstructured":"Collins P (2011) Semantics and computability of the evolution of hybrid systems. SIAM J Control Optim 49(2):890\u2013925","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"196_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1142\/S0129054107004577","volume":"18","author":"W Damm","year":"2007","unstructured":"Damm W, Pinto G, Ratschan S (2007) Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Int J Found Comput Sci 18(1):63\u201386","journal-title":"Int J Found Comput Sci"},{"key":"196_CR10","series-title":"LNCS","volume-title":"Computer science logic (CSL\u201999)","author":"M Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle M (1999) Analysis of hybrid systems: an ounce of realism can save an infinity of states. In: Flum J, Rodriguez-Artalejo M (eds) Computer science logic (CSL\u201999). LNCS, vol 1683. Springer, Berlin"},{"key":"196_CR11","series-title":"LNCS","volume-title":"Theoretical aspects of computer software (TACS 2001)","author":"M Fr\u00e4nzle","year":"2001","unstructured":"Fr\u00e4nzle M (2001) What will be eventually true of polynomial hybrid automata. In: Kobayashi N, Pierce BC (eds) Theoretical aspects of computer software (TACS 2001). LNCS, vol 2215. Springer, Berlin"},{"key":"196_CR12","volume-title":"Hybrid dynamical systems: modeling, stability, and robustness","author":"R Goebel","year":"2012","unstructured":"Goebel R, Sanfelice RG, Teel AR (2012) Hybrid dynamical systems: modeling, stability, and robustness. Princeton University Press, Princeton"},{"issue":"4","key":"196_CR13","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/j.automatica.2005.12.019","volume":"42","author":"R Goebel","year":"2006","unstructured":"Goebel R, Teel A (2006) Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 42(4):573\u2013587","journal-title":"Automatica"},{"key":"196_CR14","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"TA Henzinger","year":"1998","unstructured":"Henzinger TA, Ho P-H, Wong-Toi H (1998) Algorithmic analysis of nonlinear hybrid systems. IEEE Trans Autom Control 43:540\u2013554","journal-title":"IEEE Trans Autom Control"},{"key":"196_CR15","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"TA Henzinger","year":"1998","unstructured":"Henzinger TA, Kopke PW, Puri A, Varaiya P (1998) What\u2019s decidable about hybrid automata. J Comput Syst Sci 57:94\u2013124","journal-title":"J Comput Syst Sci"},{"key":"196_CR16","series-title":"LNCS","volume-title":"Proc HSCC\u201900","author":"TA Henzinger","year":"2000","unstructured":"Henzinger TA, Raskin J-F (2000) Robust undecidability of timed and hybrid systems. In: Lynch N, Krogh B (eds) Proc HSCC\u201900. LNCS, vol 1790. Springer, Berlin"},{"key":"196_CR17","volume-title":"Nonlinear systems","author":"HK Khalil","year":"2002","unstructured":"Khalil HK (2002) Nonlinear systems, 3rd edn. Prentice Hall, New York","edition":"3"},{"key":"196_CR18","volume-title":"Interval analysis","author":"RE Moore","year":"1966","unstructured":"Moore RE (1966) Interval analysis. Prentice Hall, Englewood Cliffs"},{"key":"196_CR19","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier A (1990) Interval methods for systems of equations. Cambridge University Press, Cambridge"},{"issue":"1","key":"196_CR20","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1008387132377","volume":"10","author":"A Puri","year":"2000","unstructured":"Puri A (2000) Dynamical properties of timed automata. Discrete Event Dyn Syst 10(1):87\u2013113","journal-title":"Discrete Event Dyn Syst"},{"key":"196_CR21","series-title":"LNCS","volume-title":"Hybrid systems","author":"A Puri","year":"1996","unstructured":"Puri A, Borkar V, Varaiya P (1996) \u03b5-Approximation of differential inclusions. In: Alur R, Henzinger TA, Sontag ED (eds) Hybrid systems. LNCS, vol 1066. Springer, Berlin"},{"issue":"4","key":"196_CR22","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jsco.2001.0519","volume":"33","author":"S Ratschan","year":"2002","unstructured":"Ratschan S (2002) Quantified constraints under perturbations. J Symb Comput 33(4):493\u2013505","journal-title":"J Symb Comput"},{"key":"196_CR23","series-title":"LNCS","first-page":"397","volume-title":"TAMC 2010: 7th annual conference on theory and applications of models of computation","author":"S Ratschan","year":"2010","unstructured":"Ratschan S (2010) Safety verification of non-linear hybrid systems is quasi-semidecidable. In: TAMC 2010: 7th annual conference on theory and applications of models of computation. LNCS, vol 6108. Springer, Berlin, pp\u00a0397\u2013408"},{"key":"196_CR24","first-page":"514","volume":"33","author":"D Richardson","year":"1968","unstructured":"Richardson D (1968) Some undecidable problems involving elementary functions of a real variable. J\u00a0Symb Log 33:514\u2013520","journal-title":"J\u00a0Symb Log"},{"key":"196_CR25","first-page":"537","volume-title":"5th Ifip int conf on theoretical comp sc","author":"M Swaminathan","year":"2008","unstructured":"Swaminathan M, Fr\u00e4nzle M, Katoen J-P (2008) The surprising robustness of (closed) timed automata against clock-drift. In: 5th Ifip int conf on theoretical comp sc, pp\u00a0537\u2013553"},{"key":"196_CR26","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"A Tarski","year":"1951","unstructured":"Tarski A (1951) A decision method for elementary algebra and geometry. University of California Press, Berkeley. Also in [5]"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0196-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-013-0196-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0196-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T14:53:31Z","timestamp":1646578411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-013-0196-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,21]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["196"],"URL":"https:\/\/doi.org\/10.1007\/s10703-013-0196-2","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,21]]}}}