{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:30:34Z","timestamp":1745123434924},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433217"},{"type":"electronic","value":"9783540458739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45873-5_10","type":"book-chapter","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:15:58Z","timestamp":1182953758000},"page":"90-104","source":"Crossref","is-referenced-by-count":19,"title":["Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques"],"prefix":"10.1007","author":[{"given":"Alexandre M.","family":"Bayen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva","family":"Cr\u00fcck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"10_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2000","unstructured":"E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate reachability analysis of piecewise-linear dynamical systems. In B. Krogh and N. Lynch, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 21\u201331. Springer Verlag, 2000."},{"key":"10_CR2","unstructured":"J.-P. Aubin. Viability Theory. Systems & Control: Foundations & Applications. Birkh\u00e4user, 1991."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube. Impulse differential inclusions: A viability approach to hybrid systems. Technical Report CUED\/F-INFENG\/TR. 414, Department of Engineering-University of Cambridge, 2001.","DOI":"10.23919\/ECC.2001.7076535"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"M. Bardi and I. Capuzzo-Dolcetta. Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations. Birk\u00e4user, 1997.","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"10_CR5","unstructured":"A.M. Bayen, H. Sipma, C.J. Tomlin, and G. Meyer. Delay Predictive Models ofThe National Airspace System using Hybrid Control Theory: Design, Simulation and Proofs. Proceedings of the American Control Conference, 8\u201310 May 2002."},{"key":"10_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. In B. Krogh and N. Lynch, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 73\u201388.Springer Verlag, 2000."},{"key":"10_CR7","unstructured":"A.E. Bryson and Y.-C. Ho. Applied Optimal Control,Optimization, Estimation and Control. Taylor and Francis, 1975."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s002459900053","volume":"36","author":"P. Cardaliaguet","year":"1997","unstructured":"P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. Optimal Times for Constrained Nonlinear Control Problems without Local Controllability. Applied Mathematics and Optimization, 36:21\u201342, 1997.","journal-title":"Applied Mathematics and Optimization"},{"key":"10_CR9","unstructured":"P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. NumericalMethods for Differential Games. In M. Bardi, T.E.S. Raghavan, and T. Parthasarathy, editors, Stochastic and Differential Games: Theory and Numerical Methods, Annals of the International Society of Dynamic Games. Birkh\u00fcser, 1999."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. Set-valued numerical analysis for optimal control and differential games. In M. Bardi, T.E.S. Raghavan, and T. Parthasarathy, editors, Stochastic and Differential Games: Theory and Numerical Methods, Annals of the International Society of Dynamic Games. Birkh\u00e4user, 1999.","DOI":"10.1007\/978-1-4612-1592-9_4"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"A. Chutinan and B. H. Krogh. Approximating quotient transition systems for hybrid systems. In Proceedings of the American Control Conference, pages 1689\u20131693, Chicago, IL, 2000.","DOI":"10.1109\/ACC.2000.879489"},{"issue":"2","key":"10_CR12","first-page":"487","volume":"282","author":"M. G. Crandall","year":"1984","unstructured":"M. G. Crandall, L. C. Evans, and P.-L. Lions. Some properties of viscosity solutions of Hamilton-Jacobi equations. TransAMS, 282(2):487\u2013502, 1984.","journal-title":"TransAMS"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1137\/0331016","volume":"31","author":"H. Frankowska","year":"1993","unstructured":"H. Frankowska. Lower Semicontinuous Solutions of Hamilton-Jacobi-Bellman Equations. SIAM Journal of Control and Optimization, 31(1):257\u2013272, 1993.","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"3","key":"10_CR14","first-page":"371","volume":"1","author":"H. Frankowska","year":"1991","unstructured":"H. Frankowska and M. Quincampoix. Viability kernels of differential inclusions with constraints: Algorithm and applications. Mathematics of Systems, Estimation and Control, 1(3):371\u2013388, 1991.","journal-title":"Mathematics of Systems, Estimation and Control"},{"key":"10_CR15","unstructured":"R. Isaacs. Differential Games. Dover (reprint from John Wiley), 1999 (1965)."},{"key":"10_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-45351-2_34","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2001","unstructured":"I. Mitchell, A.M. Bayen, and C.J. Tomlin. Validating a Hamilton-Jacobi approximation to hybrid system reachable sets. In M.D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, LNCS 2034, pages 418\u2013432. Springer Verlag, 2001."},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01204182","volume":"29","author":"P. Saint-Pierre","year":"1994","unstructured":"P. Saint-Pierre. Approximation of the Viability Kernel. Applied Mathematics and Optimization, 29:187\u2013209, 1994.","journal-title":"Applied Mathematics and Optimization"},{"key":"10_CR18","unstructured":"P. Saint-Pierre. Approche ensembliste des syst\u00e8mes dynamiques, regards qualitatifs et quantitatifs. Matapli, Soci\u00e9t\u00e9 de Math\u00e9matiques Appliqu\u00e9es et Industrielles, 66, 2001."}],"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-45873-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T14:17:58Z","timestamp":1683901078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45873-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433217","9783540458739"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45873-5_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}