{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:28:01Z","timestamp":1778297281269,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540573180","type":"print"},{"value":"9783540480600","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57318-6_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:47:46Z","timestamp":1330242466000},"page":"179-208","source":"Crossref","is-referenced-by-count":75,"title":["Integration Graphs: A class of decidable hybrid systems"],"prefix":"10.1007","author":[{"given":"Y.","family":"Kesten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model-checking for real-time systems. In Proc. 5th IEEE Symp. Logic in Comp. Sci., 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"9_CR2","unstructured":"R. Alur and D.Dill. Automata for modelling real time systems. In Proc. 17th Int. Colloq. Aut. Lang. Prog., 1990."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Real-time logics: Complexity and expressiveness. In Proc. 5th IEEE Symp. Logic in Comp. Sci., 1990.","DOI":"10.21236\/ADA323441"},{"key":"9_CR4","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. Technical report, Carnegie Mellon University, 1990."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. Prog. Lang. Sys., 8:244\u2013263, 1986.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"issue":"5","key":"9_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1992","unstructured":"Z. Chaochen, C.A.R Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1992.","journal-title":"Information Processing Letters"},{"key":"9_CR7","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. L. Dill","year":"1989","unstructured":"D. L. Dill. Timing assumptions and verification of finite-state concurrent systems. In Automatic Verification Methods for Finite State Systems, LNCS. Springer Verlag, New York, 1989."},{"key":"9_CR8","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability, a Guide to the theory of NP-Gompleteness. W. H. Freeman and Company, 1979."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In W. Kuich, editor, Proc. 19th Int. Colloq. Aut. Lang. Prog., volume 623 of Lect. Notes in Comp. Sci., pages 545\u2013558. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"9_CR10","volume-title":"Proceedings of the REX workshop \u201dReal-Time: Theory in Practice\u201c","author":"O. Maler","year":"1992","unstructured":"O. Maler, Z. Manna, and A. Pnueli. A formal approach to hybrid systems. In Proceedings of the REX workshop \u201dReal-Time: Theory in Practice\u201c, LNCS. Springer Verlag, New York, 1992."},{"key":"9_CR11","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 A. Ravn and H. Rischel, editors, Workshop on Hybrid Systems, Lect. Notes in Comp. Sci. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Real-Time: Theory in Practice. Lec. Notes in Comp. Sci., Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"9_CR13","unstructured":"H.M. Salkin. Integer Programming. Addison-Wesley, 1975."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57318-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:22Z","timestamp":1605629482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57318-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573180","9783540480600"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57318-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}