{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:53Z","timestamp":1725664973627},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61739-6_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:03Z","timestamp":1330276743000},"page":"301-316","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Uniformity for the decidability of hybrid automata"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Roux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. IEEE 5th Symp. Logic in Computer Science, 1990.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"21_CR2","first-page":"137","volume":"B","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science B, 137, January 1995.","journal-title":"Theoretical Computer Science"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and R. Robbana. Verifying invariance properties for timed systems with duration variables. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_166"},{"key":"21_CR4","unstructured":"A. Bouajjani, R. Echahed, and J. Sifakis. On model checking for real-time properties with durations. In Proc Symp. on Logic in Computer Science'93, INCS, 1993."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"J. Bengtsson, D. Griffioen, K. Kristoferssen, K.Larsen, F.Larsson, P.Petersson, and W.Yi. Verification of an audio protocol with bus collision using UPPAAL. In Computer-Aided Verification, 1996.","DOI":"10.1007\/3-540-61474-5_73"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Nicolas Halbwachs. Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. Hybrid automata with finite bisimulatiorts. In Proc. 22th International Colloquium on Automata, Languages, and Programming, LNCS 944, 1995.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.H. Ho. Algorithmic analysis of nonlinear hybrid systems. In Proc. 7th Conf. Computer-Aided Verification, LNCS 939, 1995.","DOI":"10.1007\/3-540-60045-0_53"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.H. Ho, and H. Wong-Toi. A user guide to hytech. In Proc. 1st. Workshop on Tools and Algorithms for the Analisys of Systems, LNCS, 1994.","DOI":"10.1007\/3-540-60630-0_3"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata. In STOCS'95, LNCS, 1995.","DOI":"10.1145\/225058.225162"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic modelchecking for real-time systems. Information and Computation, (111):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, Y. E. Proy, and P. Raymond. Verification of linear hybrid systems by means of convex approximations. In International Symposium on Static Analysis, 1994.","DOI":"10.1007\/3-540-58485-4_43"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Proc. Workshop on Theory of Hybrid Systems, LNCS, 1993.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"A. Olivero, J. Sifakis, and S. Yovine. Using abstractions for the verification of linear hybrid systems. In Proc. Conference on Computer Aided Verification, 1994.","DOI":"10.1007\/3-540-58179-0_45"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In Proc. Conference on Computer-Aided Verification, LNCS, 1994.","DOI":"10.1007\/3-540-58179-0_46"},{"issue":"5","key":"21_CR16","first-page":"35","volume":"11","author":"O. Roux","year":"1992","unstructured":"O. Roux, D. Creusot, F. Cassez, and J.P. Elloy. Le langage r\u00e9actif asynchrone ELECTRE. Technique et Science Informatiques (TSI), 11(5):35\u201366, 1992.","journal-title":"Technique et Science Informatiques (TSI)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"O. Roux and V. Rusu. Deciding time-bounded properties for Electre reactive programs with stopwatch automata. In Proc. Workshop on Hybrid Systems and Autonomous Control (Lecture Notes in Computer Science 999), pages 405\u2013416, 1994.","DOI":"10.1007\/3-540-60472-3_21"},{"key":"21_CR18","unstructured":"O. Roux and V. Rusn. Decidable hybrid automata to model and verify real-time systems. In Second European Workshop on Real-Time and Hybrid Systems, 1995."},{"key":"21_CR19","volume-title":"PhD thesis","author":"V. Rusu","year":"1996","unstructured":"V. Rusu. V\u00e9rification temporelle de programmes\nElectee PhD thesis, Laboratoire d'Automatique de Nantes, Ecole Centrale de Nantes (FRANCE), 1996."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:22:26Z","timestamp":1558254146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}