{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:58Z","timestamp":1762458598691},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009139"},{"type":"electronic","value":"9783540365808"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_37","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:13:36Z","timestamp":1197202416000},"page":"514-525","source":"Crossref","is-referenced-by-count":46,"title":["Approximate Reachability for Linear Systems"],"prefix":"10.1007","author":[{"given":"Ashish","family":"Tiwari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"3","key":"37_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):3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"37_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Tom Henzinger, Gerardo Lafferriere, and George J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(2):971\u2013984, July 2000.","DOI":"10.1109\/5.871304"},{"key":"37_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-45351-2_9","volume-title":"HSCC","author":"H. Anai","year":"2001","unstructured":"H. Anai and V. Weispfenning. Reach set computations using real quantifier elimination. In M. D. Di Benedetto and A. L. Sangiovanni-Vincentelli, editors, HSCC, volume 2034 of Lecture Notes in Computer Science, pages 63\u201376. Springer, 2001."},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"A. Chutinan and B. H. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Vaandrager and van Schuppen [19], pages 76\u201390.","DOI":"10.1007\/3-540-48983-5_10"},{"key":"37_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"HSCC","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In T. A. Henzinger and S. Sastry, editors, HSCC, volume 1386 of LNCS, pages 96\u2013109. Springer, 1998."},{"issue":"4","key":"37_CR7","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/25.330177","volume":"43","author":"D. Godbole","year":"1994","unstructured":"D. Godbole and J. Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125\u201335, 1994.","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T. A. Henzinger","year":"1998","unstructured":"T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? Journal of Computer and System Sciences, 57:94\u2013124, 1998. A preliminary version appeared in the Proc. of the 27th Annual ACM Symposium on Theory of Computing (STOC 1995), pp. 373-382.","journal-title":"Journal of Computer and System Sciences"},{"key":"37_CR9","unstructured":"K. Hoffman and R. Kunze. Linear Algebra. Prentice-Hall, second edition, 1971."},{"key":"37_CR10","unstructured":"M. Jirstrand. Algebraic methods for modeling and design in control. Licentiate thesis LIU-TEK-LIC-1996:05 Link\u00f6ping Studies in Science and Technology. Thesis No 540, Department of Electrical Engineering, Li, 1996."},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"A. B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In Lynch and Krogh [14], pages 202\u2013214.","DOI":"10.1007\/3-540-46430-1_19"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"G. Lafferriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Vaandrager and van Schuppen [19], pages 137\u2013151.","DOI":"10.1007\/3-540-48983-5_15"},{"issue":"3","key":"37_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"G. Lafferriere, G. J. Pappas, and S. Yovine. Symbolic reachability computations for families of linear vector fields. J. Symbolic Computation, 32(3):231\u2013253, 2001.","journal-title":"J. Symbolic Computation"},{"key":"37_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","year":"2000","unstructured":"N. A. Lynch and B. H. Krogh, editors. Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Proceedings, volume 1790 of LNCS. Springer, 2000."},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"I. Mitchell and C. Tomlin. Level set methods for computation in hybrid systems. In Lynch and Krogh [14].","DOI":"10.1007\/3-540-46430-1_27"},{"key":"37_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-58179-0_46","volume-title":"Computer Aided Verification, CAV","author":"A. Puri","year":"1994","unstructured":"A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D. L. Dill, editor, Computer Aided Verification, CAV, volume 818 of LNCS, pages 95\u2013104. Springer Verlag, 1994."},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Driving safely in smart cars. In Proceedings of the 1995 American Control Conference, 1995","DOI":"10.1109\/ACC.1995.533807"},{"key":"37_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"HSCC","author":"A. Tiwari","year":"2002","unstructured":"A. Tiwari and G. Khanna. Series of abstractions for hybrid automata. In C. Tomlin and M. R. Greenstreet, editors, HSCC, volume 2289 of Lecture Notes in Computer Science, pages 465\u2013478. Springer, 2002."},{"key":"37_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48983-5","volume-title":"Second International Workshop, HSCC\u201999, Proceedings","author":"F. W. Vaandrager","year":"1999","unstructured":"F. W. Vaandrager and J. H. van Schuppen, editors. Hybrid Systems: Computation and Control, Second International Workshop, HSCC\u201999, Proceedings, volume 1569 of Lecture Notes in Computer Science. Springer, 1999."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36580-X_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T21:43:03Z","timestamp":1551217383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}