{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:18:55Z","timestamp":1737523135390,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441441"},{"type":"electronic","value":"9783540457190"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":[[2002]]},"DOI":"10.1007\/3-540-45719-4_10","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T14:55:00Z","timestamp":1191941700000},"page":"132-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Class of Decidable Parametric Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Micha\u00ebl","family":"Ad\u00e9la\u00efde","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"10_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Symbolic techniques for parametric reasoning about counter and clock systems","author":"A. Annichini","year":"2000","unstructured":"A. Annichini, E. Asarin, and A. Bouajjani. Symbolic techniques for parametric reasoning about counter and clock systems. In Proc. 12th Intern. Conf. on Computer Aided Verification (CAV\u201900), LNCS 1855. Springer-Verlag, July 2000."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas. Discrete abstractions of hybrid systems. In Proceedings of the IEEE 88 (2), pages 971\u2013984, 2000.","DOI":"10.1109\/5.871304"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th Annual ACM Symposium on Theory of Computing, STOC\u201993, pages 592\u2013601, 1993.","DOI":"10.1145\/167088.167242"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"M. Ad\u00e9la\u00efde and O. Roux. Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata. In Formal Techniques in Real-Time and Fault-Tolerant Systems 2000. Springer-Verlag, september 18\u201322 2000.","DOI":"10.1007\/3-540-45352-0_21"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"F. Boniol, A. Burgue\u00f1o, O. Roux, and V. Rusu. Analysis of slopeparametric hybrid automata. In O. Maler, editor, Proc. of the International Workshop on Real time and Hybrid Systems, HART 97, pages 75\u201380. Springer-Verlag, March 26\u201328 1997.","DOI":"10.1007\/BFb0014715"},{"key":"10_CR6","unstructured":"W. Charatonik, S. Mukhopadhyay, and A. Podelski. Compositional termination analysis of symbolic forward analysis. Technical report, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany, 2000."},{"key":"10_CR7","unstructured":"C. Daws and S. Yovine. Two examples ot verification of multirate timed automata with kronos. In Proc. IEEE RTSS\u201995, december 5\u20137 1995."},{"key":"10_CR8","unstructured":"Laureano Gonzales-Vega, Fabrice Rouillier, Marie-Fran\u00e7oise Roy, and Guadalupe Trujillo. Some Tapas of Computer Algebra. Eindoven University of Technology, a.m. cohen and h. cuypers and h. sterk edition, 1995."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger. The theory of hybrid auromata. In IEEE Symposium on Logic In Computer Science, pages 278\u2013282, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger and R. Majumdar. A classification of symbolic transition systems. In Proceedings of the 17th International Conference on Theoretical Aspects of Computer Science (STACS 2000), pages 13\u201334. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46541-3_2"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"T. Hune, J. Romijn, M. Stoelinga, and F. Vaandrager. Linear parametric model checking of timed automata. Technical report, BRICS, 2000.","DOI":"10.7146\/brics.v8i5.20459"},{"key":"10_CR12","unstructured":"M. Jirstrand. Cylindrical algebraic decomposition\u2014an introduction. Technical report, Computer Algebra Information Network, Europe, Departement of Electrical Engineering, Link\u00f6ping university, S-581 83 Link\u00f6ping. Sweden, October 1995."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/inco.1998.2774","volume":"150","author":"Y. Kesten","year":"1999","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Decidable integration graphs. In Information and Computation, Vol. 150, No. 2, pages 209\u2013243. Springer-Verlag, may 1999.","journal-title":"Information and Computation"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"A new class of decidable hybrid systems","author":"G. Lafferiere","year":"1999","unstructured":"G. Lafferiere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In F. W. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems, Computation and Control, volume 1569 of LNCS, pages 137\u2013151. Springer-Verlag, 1999."},{"key":"10_CR15","unstructured":"H. Wong-Toi. Analysis of slope-parametric rectangular automata. In Hybrid Systems V. Springer-Verlag, 1997."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45719-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T13:58:18Z","timestamp":1737467898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45719-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441441","9783540457190"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45719-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"2 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}