{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T21:27:43Z","timestamp":1782336463931,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540009139","type":"print"},{"value":"9783540365808","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_5","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:13:36Z","timestamp":1197202416000},"page":"20-35","source":"Crossref","is-referenced-by-count":84,"title":["Reachability Analysis of Nonlinear Systems Using Conservative Approximation"],"prefix":"10.1007","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"5_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":"5_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45351-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"H. Anai","year":"2001","unstructured":"H. Anai and V. Weispfenning. Reach Set Computations Using Real Quantifier Elimination, Hybrid Systems: Computation and Control, in M. D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds), 63\u201375 LNCS 2034, Springer-Verlag, 2001."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"E. Asarin, T. Dang and A. Girard. Reachability Analysis of Nonlinear Systems using Conservative Approximations, Technical Report IMAG Oct 2002, Grenoble http:\/\/www-verimag.imag.fr\/~tdang\/piecewise.ps.gz .","DOI":"10.1007\/3-540-36580-X_5"},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Computer Aided Verification","author":"E. Asarin","year":"2002","unstructured":"E. Asarin and T. Dang and O. Maler. d\/dt: A tool for Verification of Hybrid Systems, Computer Aided Verification, Springer-Verlag, LNCS, 2002."},{"key":"5_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2","volume-title":"Hybrid Systems: Computation and Control","author":"M. D. Benedetto Di","year":"2001","unstructured":"M. D. Di Benedetto and A. Sangiovanni-Vincentelli. Hybrid Systems: Computation and Control, LNCS 2034, Springer-Verlag, 2001."},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-46430-1_10","volume-title":"Hybrid Systems: Computation and Control","author":"O. Botchkarev","year":"2000","unstructured":"O. Botchkarev and S. Tripakis. Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations, Hybrid Systems: Computation and Control, in B. Krogh and N. Lynch (Eds), 73\u201388 LNCS 1790, Springer-Verlag, 2000."},{"key":"5_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinan","year":"1999","unstructured":"A. Chutinan and B. H. Krogh. Verification of Polyhedral Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, Hybrid Systems: Computation and Control, in F. Vaandrager and J. van Schuppen (Eds), 76\u201390 LNCS 1569, Springer-Verlag, 1999."},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid Systems: Computation and Control","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability Analysis via Face Lifting, Hybrid Systems: Computation and Control, in T. A. Henzinger and S. Sastry (Eds), 96\u2013109 LNCS 1386 Springer-Verlag, 1998."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J. Della Dora, A. Maignan, M. Mirica-Ruse, and S. Yovine. Hybrid Computation, Proc. of ISSAC\u201901, 2001.","DOI":"10.1145\/384101.384116"},{"key":"5_CR10","unstructured":"J. Dieudonn\u00e9. Calcul Infinit\u00e9simal, Collection M\u00e9thodes, Hermann Paris, 1980."},{"key":"5_CR11","unstructured":"A. Girard. Approximate Solutions of ODEs Using Piecewise Linear Vector Fields, Proc. CASC\u201902, 2002."},{"key":"5_CR12","unstructured":"A. Girard. Detection of Event Occurence in Piecewise Linear Hybrid Systems, Proc. RASC\u201902, December 2002, Nottingham, UK."},{"key":"5_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_12","volume-title":"Hybrid Systems: Computation and Control","author":"M. R. Greenstreet","year":"1999","unstructured":"M. R. Greenstreet and I. Mitchell. Reachability Analysis Using Polygonal Projections, Hybrid Systems: Computation and Control, in F. Vaandrager and J. van Schuppen (Eds), 76\u201390 LNCS 1569 Springer-Verlag, 1999."},{"key":"5_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","author":"M. Greenstreet","year":"2002","unstructured":"M. Greenstreet and C. Tomlin. Hybrid Systems: Computation and Control, LNCS, Springer-Verlag, 2002."},{"key":"5_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-45351-2_23","volume-title":"Hybrid Systems: Control and Computation","author":"L. C. G. J. M. Habets","year":"2001","unstructured":"L. C. G. J. M. Habets and J. H. van Schuppen. Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles, Hybrid Systems: Control and Computation, in M. D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds), 261\u2013273 LNCS 2034, Springer-Verlag, 2001."},{"key":"5_CR16","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, 110\u2013122, 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"5_CR17","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. Analysis of Nonlinear Hybrid Systems, IEEE Transactions on Automatic Control 43, 540\u2013554, 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"J. Hubbard and B. West. Differential Equations: A Dynamical Systems Approach, Higher-Dimensional Systems, Texts in Applied Mathematics, 18, Springer Verlag, 1995.","DOI":"10.1007\/978-1-4612-4192-8"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"G. Lafferriere, G. Pappas, and S. Yovine. Reachability computation for linear systems, Proc. of the 14th IFAC World Congress, 7\u201312 E, 1999.","DOI":"10.1016\/S1474-6670(17)56362-4"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":", K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell, Software Tools for Technology Transfert 1, 1997.","DOI":"10.1007\/s100090050010"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"T. H. Marshall. Volume formulae for regular hyperbolic cubes, Conform. Geom. Dyn., 25\u201328, 1998.","DOI":"10.1090\/S1088-4173-98-00025-3"},{"key":"5_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"I. Mitchell and C. Tomlin. Level Set Method for Computation in Hybrid Systems, Hybrid Systems: Computation and Control, in B. Krogh and N. Lynch, 311\u2013323 LNCS 1790, Springer-Verlag, 2000."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"P. Saint-Pierre. Approximation of Viability Kernels and Capture Basin for Hybrid Systems, Proc. of European Control Conference ECC\u201901, 2776\u20132783, 2001.","DOI":"10.23919\/ECC.2001.7076351"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"O. Stursberg, S. Kowalewski and S. Engell. On the generation of Timed Approximations for continuous systems, Mathematical and Computer Modelling of Dynamical Systems 6\u20131, 51-70, 2000.","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT051"},{"key":"5_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","author":"A. Puri","year":"1995","unstructured":"A. Puri and P. Varaiya. Verification of Hybrid Systems using Abstraction, Hybrid Systems II, in P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds), LNCS 999, Springer-Verlag, 1995."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"S. Yovine. Kronos: A Verification Tool for Real-time Systems, Software Tools for Technology Transfer 1, 123\u2013133, 1997.","journal-title":"Software Tools for Technology Transfer"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T20:15:50Z","timestamp":1557087350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}