{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:28:05Z","timestamp":1778297285324,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581796","type":"print"},{"value":"9783540484691","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:26:25Z","timestamp":1330269985000},"page":"95-104","source":"Crossref","is-referenced-by-count":62,"title":["Decidability of hybrid systems with rectangular differential inclusions"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Puri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"8_CR1","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 analysis of hybrid systems, Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"R.Alur and D.Dill, Automata for modeling real-time systems, Proc. 17th ICALP, Lecture Notes in Computer Science 443, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"8_CR3","volume-title":"Lecture Notes in Computer Science 600","author":"R. Alur","year":"1991","unstructured":"R.Alur and T.Henzinger, Logics and models of real-time: A survey, Proc. REX Workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, The Netherlands, June 1991."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"R.Alur, T.A. Henzinger and P.-H. Ho, Automatic symbolic verification of embedded systems, Proc. of the 14th Annual Real-time Systems Symposium, IEEE Computer Society Press, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R.Alur, A.Itai, R.Kurshan and M.Yannakakis, Timing Verification by Successive Approximation, Proc. 4th Workshop Computer-Aided Verification, Lecture Notes in Computer Science 663, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_12"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"D. Dill, Timing Assumptions and verification of finite-state concurrent systems, Automatic Verification Methods for Finite-State Systems, Lecture Notes in Computer Science 407, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"F.Balarin and A.Sangiovanni-Vincentelli, A Verification Strategy for Timing-Constrained Systems, Proc. 4th Workshop Computer-Aided Verification, Lecture Notes in Computer Science 663, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_13"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna and A. Pnueli, What Good are Digital Clocks?, Proc. 19th ICALP, Lecture Notes in Computer Science, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis and S.Yovine, Symbolic model-checking for real-time systems, Proc. 7th Symp. on Logics in Computer Science, IEEE Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine, Integration graphs: a class of decidable hybrid systems, Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"8_CR11","volume-title":"Lecture Notes in Computer Science 600","author":"O. Maler","year":"1991","unstructured":"O. Maler, Z. Manna and A. Pnueli, From Timed to Hybrid Systems, Proc. REX Workshop on Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, The Netherlands, June 1991."},{"key":"8_CR12","volume-title":"Ph.D Thesis","author":"J. A. Mcmanis","year":"1993","unstructured":"J. A. Mcmanis, Verification and Control of Real-Time Discrete Event Dynamical Systems, Ph.D Thesis, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 1993."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"X.Nicollin, A.Olivero, J. Sifakis and S. Yovine, An Approach to the Description and Analysis of Hybrid Systems, Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis, An overview and synthesis on timed process algebras,Proc. 3rd Workshop Computer-Aided Verification, Denmark, July 1991.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"8_CR15","unstructured":"A. Puri, Real-Time Systems: Discrete Time vs. Dense Time, Unpublished, May 1993."},{"key":"8_CR16","unstructured":"A. Puri and P. Varaiya, Modeling and Verification of Hybrid Systems, Preprint."},{"key":"8_CR17","unstructured":"Proc. REX Workshop on Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, The Netherlands, June 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:50Z","timestamp":1605647870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}