{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:27:22Z","timestamp":1767652042630,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657347"},{"type":"electronic","value":"9783540489832"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48983-5_15","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:17:08Z","timestamp":1182719828000},"page":"137-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":105,"title":["A New Class of Decidable Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Gerardo","family":"Lafferriere","sequence":"first","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,15]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Coucoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D.S. Arnon","year":"1984","unstructured":"D.S. Arnon, G.E. Collins, and S. McCallum. Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal on Computing, 13(4):865\u2013877, November 1984.","journal-title":"SIAM Journal on Computing"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzman","year":"1997","unstructured":"A. Dolzman and T. Sturm. REDLOG: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2): 2\u20139, June 1997.","journal-title":"ACM SIGSAM Bulletin"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. Hybrid automata with finite bisimulations. In Z. F\u00fcl\u00f6p and F. G\u00e9cseg, editors, ICALP 95: Automata, Languages, and Programming, pages 324\u2013335. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373\u2013382. ACM Press, 1995.","DOI":"10.1145\/225058.225162"},{"key":"15_CR7","unstructured":"G. Lafferriere, G.J. Pappas, and S. Sastry. O-minimal hybrid systems. Technical Report UCB\/ERL M98\/29, University of California at Berkeley, Berkeley, CA, April 1998."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"G. Lafferriere, G.J. Pappas, and S. Yovine. Reachability computation of linear hybrid systems. In Proc. of 14th IFAC World Congress. Elsevier Science Ltd., 1999. To appear.","DOI":"10.1016\/S1474-6670(17)56362-4"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In Computer Aided Verification, pages 95\u2013104, 1994.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"A. Tarski. A decision method for elementary algebra and geometry. University of California Press, second edition, 1951.","DOI":"10.1525\/9780520348097"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C. Tomlin","year":"1998","unstructured":"C. Tomlin, G.J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509\u2013521, April 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"L. van den Dries. Tame Topology and o-minimal structures. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511525919"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF02758635","volume":"85","author":"L. Dries van den","year":"1994","unstructured":"L. van den Dries and C. Miller. On the real exponential field with restricted analytic functions. Israel Journal of Mathematics, 85:19\u201356, 1994.","journal-title":"Israel Journal of Mathematics"},{"key":"15_CR14","unstructured":"P. Varaiya. Reach set computation using optimal control. 1997. preprint."},{"key":"15_CR15","unstructured":"V. Weispfenning. A new approach to quantifier elimination for real algebra. Technical Report MIP-9305, Universit\u00e4t Passau, Germany, July 1993."},{"issue":"4","key":"15_CR16","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1090\/S0894-0347-96-00216-0","volume":"9","author":"A. J. Wilkie","year":"1996","unstructured":"A. J. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted pfaffian functions and the exponential function. Journal of the American Mathematical Society, 9(4):1051\u20131094, Oct 1996.","journal-title":"Journal of the American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48983-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T13:30:14Z","timestamp":1683898214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48983-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657347","9783540489832"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48983-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"15 April 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}