{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:44Z","timestamp":1761488864052},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:12Z","timestamp":1330293792000},"page":"530-545","source":"Crossref","is-referenced-by-count":13,"title":["State equivalences for rectangular hybrid automata"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[]},{"given":"Peter W.","family":"Kopke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, 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":"31_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 209\u2013229. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"31_CR3","doi-asserted-by":"crossref","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":"3","key":"31_CR4","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property-preserving simulations. In G. von Bochmann and D.K. Probst, editors, CAV 92: Computer-aided Verification, Lecture Notes in Computer Science 663, pages 260\u2013273. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_21"},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"M.C. Browne, E.M. Clarke, and O. Gr\u00fcmberg. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science, 59:115\u2013131, 1988.","journal-title":"Theoretical Computer Science"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 66\u201375. IEEE Computer Society Press, 1995.","DOI":"10.1109\/REAL.1995.495197"},{"key":"31_CR8","unstructured":"R. Graham, D. Knuth, and O. Patashnik. Concrete Mathematics. Addison-Wesley Publishing Company, 1989."},{"key":"31_CR9","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, Lecture Notes in Computer Science 944, pages 324\u2013335. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. The theory of hybrid automata. In Proceedings of the Eleventh Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 225\u2013238. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60045-0_53"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In Proceedings of the 36rd Annual Symposium on Foundations of Computer Science, pages 453\u2013462. IEEE Computer Society Press, 1995.","DOI":"10.1109\/SFCS.1995.492576"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 56\u201365. IEEE Computer Society Press, 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.W. Kopke. State equivalences for rectangular hybrid automata. Technical Report CSD-TR-96-1588, Cornell University, 1996.","DOI":"10.1007\/3-540-61604-7_74"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's 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":"31_CR16","doi-asserted-by":"crossref","unstructured":"P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 381\u2013394. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60045-0_64"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi. Compositional and symbolic model checking of real-time systems. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 76\u201387. IEEE Computer Society Press, 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 149\u2013178. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 95\u2013104. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In CAV 96: Computer-aided Verification, Lecture Notes in Computer Science. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_72"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:34Z","timestamp":1605647314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}