{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:40:30Z","timestamp":1780116030630,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705826","type":"print"},{"value":"9783540705833","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70583-3_12","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"136-147","source":"Crossref","is-referenced-by-count":25,"title":["STORMED Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Vladimeros","family":"Vladimerou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Geir","family":"Dullerud","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science\u00a0138(1), 35\u201365 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"12_CR4","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/S0304-3975(00)00399-6","volume":"255","author":"V.D. Blondel","year":"2001","unstructured":"Blondel, V.D., Bournez, O., Koiran, P., Papadimitriou, C.H., Tsitsiklis, J.N.: Deciding stability and mortality of piecewise affine dynamical systems. Theoretical Computer Science\u00a0255(1\u20132), 687\u2013696 (2001)","journal-title":"Theoretical Computer Science"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-72734-7_6","volume-title":"Logical Foundations of Computer Science","author":"P. Bouyer","year":"2007","unstructured":"Bouyer, P., Brihaye, T., Chevalier, F.: Weighted o-minimal hybrid systems are more decidable than weighted timed automata? In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol.\u00a04514, pp. 69\u201383. Springer, Heidelberg (2007)"},{"key":"12_CR6","unstructured":"Brihaye, T.: Verification and control of o-minimal hybrid systems and weighted timed automata. PhD thesis, Academie Universitaire Wallonie-Bruxelles (2006)"},{"key":"12_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"issue":"1-2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.tcs.2007.03.055","volume":"379","author":"E. Asarin","year":"2007","unstructured":"Asarin, E., Schneider, G., Yovine, S.: Algorithmic analysis of polygonal hybrid systems, part i: Reachability. Theor. Comput. Sci.\u00a0379(1-2), 231\u2013265 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR9","series-title":"Lecture Notes in Compute Sceience","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/11603009_14","volume-title":"Reachability Problems on Extended O-minimal Hybrid Automata","author":"R. Gentilini","year":"2005","unstructured":"Gentilini, R.: Reachability Problems on Extended O-minimal Hybrid Automata. Lecture Notes in Compute Sceience, vol.\u00a03829\/2006, pp. 162\u2013176. Springer, Heidelberg (2005)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proc. 27th Annual ACM Symp. on Theory of Computing (STOC), pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"12_CR11","unstructured":"Lafferriere, G., Pappas, G., Sastry, S.: O-minimal hybrid systems (1998)"},{"key":"12_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Mysore, V., Pnueli, A.: Refining the undecidability frontier of hybrid automata. In: Proceedings of the International Conference on the Foundations of Software Technology and Theoretical Computer Science, pp. 261\u2013272 (2005)","DOI":"10.1007\/11590156_21"},{"key":"12_CR14","unstructured":"Prabhakar, P., Vladimerou, V., Viswanathan, M., Dullerud, G.: A decidable class of planar linear hybrid systems. Technical report, University of Illinois at Urbana-Champaign, UIUCDCS-R-2008-2927 (2008)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press (1951)","DOI":"10.1525\/9780520348097"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF02758635","volume":"85","author":"L. Dries van den","year":"1994","unstructured":"van den Dries, L., Mille, C.: On the real exponential field with restricted analytic functions. Israel Journal of Mathematics\u00a085, 19\u201356 (1994)","journal-title":"Israel Journal of Mathematics"},{"key":"12_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525919","volume-title":"Tame Topology and O-minimal Structures","author":"L. Dries van den","year":"1998","unstructured":"van den Dries, L.: Tame Topology and O-minimal Structures. Cambridge Univesity Press, Cambridge (1998)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.: STORMED Hybrid Systems. Technical report, University of Illinois at Urbana-Champaign (2008)","DOI":"10.1007\/978-3-642-00602-9_39"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70583-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T18:16:55Z","timestamp":1631643415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70583-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705826","9783540705833"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70583-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}