{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:29Z","timestamp":1725467429547},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055350","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:28:45Z","timestamp":1153970925000},"page":"228-240","source":"Crossref","is-referenced-by-count":11,"title":["An algorithm for the approximative analysis of rectangular automata"],"prefix":"10.1007","author":[{"given":"J.","family":"Preu\\ig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Wong-Toi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"20_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. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors. Hybrid Systems IV. Lecture Notes in Computer Science 1273. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0031557"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In T.A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems\u2014Computation and Control, Lecture Notes in Computer Science 1386, pages 96\u2013109. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64358-3_34"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"M.R. Greenstreet. Verifying safety properties of differential equations. In R. Alur and T.A. Henzinger, editors, CAV 96: Computer Aided Verification, Lecture Notes in Computer Science 1102, pages 277\u2013287. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_76"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"M.R. Greenstreet and I. Mitchell. Integrating projections. In T.A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems\u2014Computation and Control, Lecture Notes in Computer Science 1386, pages 159\u2013174. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64358-3_38"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. In B. LeCharlier, editor, SAS 94: Static Analysis Symposium, Lecture Notes in Computer Science 864, pages 223\u2013237. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58485-4_43"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"T.A. Henzinger","year":"1998","unstructured":"T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 43(4):540\u2013554, 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"T.A. Henzinger, P.H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1,2):110\u2013122, 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373\u2013382. ACM Press, 1995. Pull version to appear in Journal of Computer and System Sciences.","DOI":"10.1145\/225058.225162"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and S. Sastry, editors. HSCC 98: Hybrid Systems\u2014Computation and Control Lecture Notes in Computer Science 1386. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64358-3"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"T. Stauner, O. M\u00fcller, and M. Fuchs. Using HyTech to verify an automotive control system. In O. Maler, editor, HART 97: Hybrid and Real-Time Systems, Lecture Notes in Computer Science 1201, pages 139\u2013153. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0014722"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preu\\ig. Comparing timed and hybrid automata as approximations of continuous systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, Lecture Notes in Computer Science 1273, pages 361\u2013377. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031569"},{"key":"20_CR13","unstructured":"T. Villa, H. Wong-Toi, A. Balluchi, J. Preu\\ig, A. Sangiovanni-Vincentelli, and Y. Watanabe. Formal verification of an automotive engine controller in cutoff mode. 1998. Submitted."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:46Z","timestamp":1555734526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0055350","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}