Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the hamilton-jacobi equation using viability techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2289, Issue , 2002, Pages 90-104

  Bayen, Alexandre M ^a   Crück, Eva ^b   Tomlin, Claire J ^a  

^a STANFORD UNIVERSITY   (United States)

^b Laboratoire de Recherches Balistiques et Aérodynamiques   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; APPROXIMATION ALGORITHMS; CONTINUOUS TIME SYSTEMS; HYBRID SYSTEMS; TRAFFIC CONTROL;

AIR TRAFFIC CONTROL CENTER; AIRCRAFT MANEUVERS; AUTOMATIC GENERATION; CONFLICT FREE; DISCRETE APPROXIMATION; HAMILTON - JACOBI EQUATIONS; REACHABLE SET; UNDER-APPROXIMATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 84958176283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_10     Document Type: Conference Paper

References (18)

1. 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–31. Springer Verlag, 2000.
2. J.-P. Aubin. Viability Theory. Systems & Control: Foundations & Applications. Birkhäuser, 1991.
3. 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.
4. M. Bardi and I. Capuzzo-Dolcetta. Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations. Birkäuser, 1997.
5. A.M. Bayen, H. Sipma, C.J. Tomlin, and G. Meyer. Delay Predictive Models of The National Airspace System using Hybrid Control Theory: Design, Simulation and Proofs. Proceedings of the American Control Conference, 8-10 May 2002.
6. 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–88. Springer Verlag, 2000.
7. A.E. Bryson and Y.-C. Ho. Applied Optimal Control,Optimization, Estimation and Control. Taylor and Francis, 1975.
8. P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. Optimal Times for Constrained Nonlinear Control Problems without Local Controllability. Applied Mathematics and Optimization, 36:21–42, 1997.
9. 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äuser, 1999.
10. 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äuser, 1999.
11. A. Chutinan and B. H. Krogh. Approximating quotient transition systems for hybrid systems. In Proceedings of the American Control Conference, pages 1689–1693, Chicago, IL, 2000.
12. M. G. Crandall, L. C. Evans, and P.-L. Lions. Some properties of viscosity solutions of Hamilton-Jacobi equations. TransAMS, 282(2):487–502, 1984.
13. H. Frankowska. Lower Semicontinuous Solutions of Hamilton-Jacobi-Bellman Equations. SIAM Journal of Control and Optimization, 31(1):257–272, 1993.
14. H. Frankowska and M. Quincampoix. Viability kernels of differential inclusions with constraints: Algorithm and applications. Mathematics of Systems, Estimation and Control, 1(3):371–388, 1991.
15. R. Isaacs. Differential Games. Dover (reprint from John Wiley), 1999 (1965).
16. 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–432. Springer Verlag, 2001.
17. P. Saint-Pierre. Approximation of the Viability Kernel. Applied Mathematics and Optimization, 29:187–209, 1994.
18. P. Saint-Pierre. Approche ensembliste des syst`emes dynamiques, regards qualitatifs et quantitatifs. Matapli, Société de Mathématiques Appliquées et Industrielles, 66, 2001.