{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:40:04Z","timestamp":1736116804732,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0002882","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"1262-1273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Task-system analysis using slope-parametric hybrid automata"],"prefix":"10.1007","author":[{"given":"Augusto","family":"Burgue\u00f1o","sequence":"first","affiliation":[]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"170_CR1","doi-asserted-by":"publisher","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. TCS, 138:3\u201334, 1995.","journal-title":"TCS"},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, and P-H. Ho. Automatic symbolic verification of embedded systems. In Proc. IEEE RTSS'93, pages 2\u201311, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"170_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. ACM STOC'93, pages 592\u2013601, 1993.","DOI":"10.1145\/167088.167242"},{"key":"170_CR4","doi-asserted-by":"crossref","unstructured":"F. Boniol, A. Burgue\u00f1o, O. Roux, and V. Rusu. Analysis of slope-parametric hybrid automata. In Proc. HART'97, volume 1201 of LNCS, pages 75\u201380, 1997.","DOI":"10.1007\/BFb0014715"},{"key":"170_CR5","doi-asserted-by":"crossref","unstructured":"J. Bengtsson, D. Griffioen, K. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an audio protocol with bus collision using UPPAAL. In Proc. CA V'96, volume 1102 of LNCS, 1996.","DOI":"10.1007\/3-540-61474-5_73"},{"key":"170_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0004-3702(81)90028-X","volume":"17","author":"R. A. Brooks","year":"1981","unstructured":"R. A. Brooks. Symbolic reasoning among 3-D models and 2-D images. Art. Int., 17:285\u2013348, 1981.","journal-title":"Art. Int."},{"key":"170_CR7","doi-asserted-by":"crossref","unstructured":"W. Chan, R. Anderson, P. Beame, and D. Notkin. Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints. In Proc. CAV'97, 1997.","DOI":"10.1007\/3-540-63166-6_32"},{"key":"170_CR8","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximun delay problems in real-time systems. In Proc. CAV'91, volume 575 of LNCS, pages 399\u2013409, 1991.","DOI":"10.1007\/3-540-55179-4_37"},{"key":"170_CR9","unstructured":"C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proc. IEEE RTSS'95, 1995."},{"key":"170_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-60472-3_14","volume-title":"Hybrid Systems II","author":"Thomas A. Henzinger","year":"1995","unstructured":"T. A. Henzinger and P.-H. Ho. HyTech: the Cornell HYbrid TECHnology tool. In Hybrid Systems II, volume 999 of LNCS, pages 265\u2013294, 1994."},{"key":"170_CR11","doi-asserted-by":"crossref","unstructured":"M. Heymann, F. Lin, and G. Meyer. Control synthesis for a class of hybrid systems subject to configuration-based constraints. In Proc. HART'97, volume 1201 of LNCS, pages 376\u2013390, 1997.","DOI":"10.1007\/BFb0014739"},{"issue":"2","key":"170_CR12","doi-asserted-by":"publisher","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 model checking for real-time systems. Inf. and Comp., 111(2):193\u2013244, 1994.","journal-title":"Inf. and Comp."},{"key":"170_CR13","doi-asserted-by":"crossref","unstructured":"D. Kapur and R. K. Shyamasundar. Synthesizing controllers for hybrid systems. In Proc. HART'97, volume 1201 of LNCS, pages 361\u2013375, 1997.","DOI":"10.1007\/BFb0014738"},{"key":"170_CR14","first-page":"649","volume":"2","author":"E. Sacks","year":"1987","unstructured":"E. Sacks. Hierarchical reasoning about inequalities. In Proc. AAAI'87, volume 2, pages 649\u2013654, 1987.","journal-title":"Proc. AAAI'87"},{"issue":"2","key":"170_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F. Wang","year":"1996","unstructured":"F. Wang. Parametric timing analysis for real-time systems. Inf. and Comp., 130(2):131\u2013150, 1996.","journal-title":"Inf. and Comp."},{"key":"170_CR16","doi-asserted-by":"crossref","unstructured":"G. M. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer-Verlag, 1995. *** DIRECT SUPPORT *** A0008C42 00044","DOI":"10.1007\/978-1-4613-8431-1"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:03:17Z","timestamp":1736114597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0002882","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}