{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T11:31:32Z","timestamp":1648812692125},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.124.6","type":"journal-article","created":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T14:30:37Z","timestamp":1377181837000},"page":"43-57","source":"Crossref","is-referenced-by-count":1,"title":["Approximated Symbolic Computations over Hybrid Automata"],"prefix":"10.4204","volume":"124","author":[{"given":"Alberto","family":"Casagrande","sequence":"first","affiliation":[{"name":"University of Trieste"}]},{"given":"Tommaso","family":"Dreossi","sequence":"additional","affiliation":[{"name":"University of Udine"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[{"name":"University of Udine"}]}],"member":"2720","published-online":{"date-parts":[[2013,8,22]]},"reference":[{"key":"Alur","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems","volume-title":"Hybrid Systems","volume":"736","author":"Alur","year":"1993"},{"key":"bookselection","series-title":"A Series of Comprehensive Studies in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69512-4","volume-title":"Differential Inclusions","volume":"264","author":"Aubin","year":"1984"},{"key":"basu97","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/SFCS.1997.646093","article-title":"An Improved Algorithm for Quantifier Elimination Over Real Closed Fields","volume-title":"IEEE Symposium on Foundations of Computer Science (FOCS'97)","author":"Basu","year":"1997"},{"key":"hsb2012","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"58","DOI":"10.4204\/EPTCS.92.5","article-title":"Hybrid Automata and \u03b5-Analysis on a Neural Oscillator","volume-title":"Proc. of the 1st International Workshop on Hybrid Systems and Biology","volume":"92","author":"Casagrande","year":"2012"},{"issue":"4","key":"DEDS09","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10626-009-0082-7","article-title":"Discrete Semantics for Hybrid Automata","volume":"19","author":"Casagrande","year":"2009","journal-title":"Discrete Event Dynamic Systems"},{"issue":"12","key":"focore2008","doi-asserted-by":"publisher","first-page":"1394","DOI":"10.1016\/j.ic.2008.09.001","article-title":"Inclusion dynamics hybrid automata","volume":"206","author":"Casagrande","year":"2008","journal-title":"Information and Computation"},{"key":"franzle99","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-48168-0_10","article-title":"Analysis of Hybrid Systems: An ounce of realism can save an infinity of states","volume-title":"Computer Science Logic (CSL'99)","volume":"1683","author":"Fr\u00e4nzle","year":"1999"},{"issue":"2","key":"girard","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10626-007-0029-9","article-title":"Approximate Simulation Relations for Hybrid Systems","volume":"18","author":"Girard","year":"2008","journal-title":"Discrete Event Dynamic Systems"},{"key":"undecidable","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/225058.225162","article-title":"What's decidable about hybrid automata?","volume-title":"Proc. of ACM Symposium on Theory of Computing (STOCS'95)","author":"Henzinger","year":"1995"},{"key":"DBLP:conf\/hybrid\/HenzingerR00","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-46430-1_15","article-title":"Robust Undecidability of Timed and Hybrid Systems","volume-title":"Proc. of the 3rd International Workshop Hybrid Systems: Computation and Control (HSCC'00)","volume":"1790","author":"Henzinger","year":"2000"},{"key":"ominimal","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","article-title":"O-minimal Hybrid Systems","volume":"13","author":"Lafferriere","year":"2000","journal-title":"Mathematics of Control, Signals, and Systems"},{"issue":"3","key":"lafferiere01","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","article-title":"Symbolic Reachability Computation for Families of Linear Vector Fields","volume":"32","author":"Lafferriere","year":"2001","journal-title":"J. Symb. Comput."},{"key":"topology","volume-title":"Introduction to Topology","author":"Mendelson","year":"1990"},{"key":"mendel","volume-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1997"},{"key":"DBLP:conf\/rtss\/PrabhakarVVD09","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/RTSS.2009.28","article-title":"Verifying Tolerant Systems Using Polynomial Approximations","volume-title":"Proc. of the 30th IEEE Real-Time Systems Symposium (RTSS'09)","author":"Prabhakar","year":"2009"},{"key":"ratschan09","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-642-13562-0_36","article-title":"Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable","volume-title":"Proc. of the 7th Conference on Theory and Applications of Models of Computation (TAMC'10)","volume":"6108","author":"Ratschan","year":"2010"},{"key":"Sturm:2011:VSU:1993886.1993935","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1993886.1993935","article-title":"Verification and synthesis using real quantifier elimination","volume-title":"Proc. of the 36th international symposium on Symbolic and algebraic computation (ISSAC'11)","author":"Sturm","year":"2011"},{"key":"tarski","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"tiwari","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","article-title":"Series of Abstractions for Hybrid Automata","volume-title":"Proc. of Hybrid Systems: Computation and Control (HSCC'02)","volume":"2289","author":"Tiwari","year":"2002"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T15:45:10Z","timestamp":1646408710000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1308.5334v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,22]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.124.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,22]]}}}