On reachability and minimum cost optimal control

Automatica

Volumn 40, Issue 6, 2004, Pages 917-927

  Lygeros, John ^a  

^a University of Palms   (Greece)

Author keywords

Hamilton Jacobi equation; L infinity control; Nonlinear optimal control; Reachability; Viability; Viscosity solutions

Indexed keywords

APPROXIMATION THEORY; BOUNDARY CONDITIONS; DIFFERENTIAL EQUATIONS; GAME THEORY; HAMILTONIANS; OPTIMIZATION; PROBLEM SOLVING; THEOREM PROVING;

HAMILTONIAN-JACOBI EQUATION; L-INFINITY CONTROL; NONLINEAR OPTIMAL CONTROL; REACHABILITY; VIABILITY; VISCOSITY SOLUTION;

OPTIMAL CONTROL SYSTEMS;

EID: 2042449071     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2004.01.012     Document Type: Article

References (41)

1. Alur R., Henzinger T., Lafferriere G., Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7):2000;971-984.
2. Alur, R., & Kurshan, R. (1996). Timing analysis in COSPAN. In R. Alur & T. A. Henzinger (Eds.), Hybrid systems III, Lecture Notes in Computer Science, Vol. 1066 (pp. 220-231). Berlin: Springer.
3. Asarin E., Bournez O., Dang T., Maler O., Pnueli A. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE. 88(7):2000;1011-1025.
4. Aubin J.-P. Viability theory. 1991;Birkhäuser, Boston.
5. Aubin J.-P., Lygeros J., Quincampoix M., Sastry S., Seube N. Impulse differential inclusions. A viability approach to hybrid systems IEEE Transactions on Automatic Control. 47(1):2002;2-20.
6. Bardi M., Capuzzo-Dolcetta I. Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman Equations. 1997;Birkhäuser, Basel.
7. Barron E. Differential games with maximum cost. Nonlinear analysis: Theory, methods & applications. 14(11):1990;971-989.
8. ∞ Clarke F., Stern R., Sabidussi G. Nonlinear analysis, differential equations and control. Vol. 528:1999;Kluwer, Boston.
9. Barron E., Ishii H. The Bellman equation for minimizing the maximum cost. Nonlinear Analysis: Theory, Methods & Applications. 13(9):1989;1067-1090.
10. Bengtsson, J., Larsen, K., Larsson, F., Petterson, P., & Yi, W. (1996). UPAAL: A tool suit for automatic verification of real-time systems. In Hybrid systems III, Lecture Notes in Computer Science, Vol. 1066 (pp. 232-243). Berlin: Springer.
11. Botchkarev, O., & Tripakis, S. (2000). Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In N. Lynch, B. H. Krogh (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 73-88), Vol. 1790. Berlin: Springer.
12. Cardaliaguet P., Quincampoix M., Saint-Pierre P. Set-valued numerical analysis for optimal control and differential games. Bardi M., Raghavan T., Parthasarathy T. Stochastic and differential games: Theory and numerical methods. Vol. 4:1999;177-247 Birkhäuser, Boston.
13. Cardaliaguet P., Quincampoix M., Saint-Pierre P. Numerical schemes for discontinuous value functions of optimal control. Set Valued Analysis. 8:2000;111-126.
14. Cardaliaguet P., Quincampoix M., Saint-Pierre P. Pursuit differential games with state constraints. SIAM Journal of Control and Optimization. 39(5):2001;1615-1632.
15. Chutinam, A., & Krogh, B. (1999). Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In F. W. Vaandrager, J. H. van Schuppen (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 76-90), Vol. 1569. Berlin: Springer.
16. Crandall M., Lions P.-L. Viscosity solutions of Hamilton-Jacobi equations. Transactions of the American Mathematical Society. 277(1):1983;1-42.
17. Daws, C., Olivero, A., Trypakis, S., & Yovine, S. (1996). The tool KRONOS. In R. Alur, T. Henzinger, E. Sontag (Eds.), Hybrid systems III, Lecture Notes in Computer Science (pp. 208-219), Vol. 1066. Berlin: Springer.
18. Evans L. Partial differential equations. 1998;American Mathematical Society, Providence, RI.
19. Evans L., Souganidis P. Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations. Indiana University Mathematics Journal. 33(5):1984;773-797.
20. Fialho I., Georgiou T. Worst case analysis of nonlinear systems. IEEE Transactions on Automatic Control. 44(6):1999;1180-1197.
21. Flemming W., Soner H. Controlled Markov processes and viscosity solutions. 1993;Springer, New York.
22. Greenstreet, M., & Mitchell, I. (1998). Integrating projections. In S. Sastry, T. Henzinger (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 159-174), Vol. 1386. Berlin: Springer.
23. Henzinger, T. A., Ho, P. H., & Toi, H. W. (1995). A user guide to HYTECH. In E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, B. Steffen (Eds.), TACAS 95: Tools and algorithms for the construction and analysis of systems, Lecture Notes in Computer Science (pp. 41-71), Vol. 1019. Berlin: Springer.
24. Kurzhanski, A., & Varaiya, P. (2000). Ellipsoidal techniques for reachability analysis. In N. Lynch, & B. H. Krogh (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 202-214), Vol. 1790. Berlin: Springer.
25. Livadas C., Lygeros J., Lynch N. High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). Proceedings of the IEEE. 88(7):2000;926-948.
26. Livadas, C., & Lynch, N. (1998). Formal verification of safety-critical hybrid systems. In S. Sastry, & T. Henzinger (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 253-272), Vol. 1386. Berlin: Springer.
27. Lygeros, J. (2002). Reachability, viability and invariance: An approach based on minimum cost optimal control. Technical Report CUED/F-INFENG/TR.444, Department of Engineering, University of Cambridge.
28. Lygeros J., Godbole D., Sastry S. Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control. 43(4):1998;522-539.
29. Lygeros J., Tomlin C., Sastry S. Controllers for reachability specifications for hybrid systems. Automatica. 35:1999;349-370.
30. Mitchell, I., Bayen, A., & Tomlin, C. (2001). Validating a Hamilton-Jacobi approximation to hybrid system reachable sets. In M. Di Benedetto, A. Sangiovanni-Vincentelli (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 418-432), Vol. 2034. Berlin: Springer.
31. Mitchell, I., Bayen, A., & Tomlin, C. A time-dependent Hamilton-Jacobi formulation of Reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control (Submitted).
32. Mitchell, I., & Tomlin, C. (2000). Level set methods for computation in hybrid systems. In N. Lynch, & B. H. Krogh (Eds.), Hybrid systems: Computation and control, Lecture Notes in Computer Science (pp. 310-323), Vol. 1790. Berlin: Springer.
33. Nuic, A. (2000). User manual for the base of aircraft data (BADA) revision 3.3. Technical Report EEC Note no. 20/00, Eurocontrol Experimental Centre.
34. Oishi M., Tomlin C., Gopal V., Godbole D. Addressing multiobjective control: Safety and performance through constrained optimization. Di Benedetto M., Sangiovanni-Vincentelli A. Hybrid systems: Computation and control. Vol. 2034:2001;459-472 Springer, Berlin.
35. Osher S., Sethian J. Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations. Journal of Computational Physics. 79:1988;12-49.
36. Quincampoix, M., & Serea, O.-S. (2002). A viability approach for optimal control with infimum cost. An. Stiint. Univ. Al. I. Cuza Iasi, s.I a, mat, t. XLVIII, f.1., pp. 113-132.
37. Sethian J.A. Level set methods: Evolving interfaces in geometry, fluid mechanics, computer vision, and materials science. 1996;Cambridge University Press, New York.
38. Seube N., Moitie R., Leitmann G. Viability analysis of an aircraft flight domain for take-off in a windshear. Mathematical and Computer Modelling. 36:2002;633-641.
39. Tomlin, C. (1998). Hybrid control of air traffic management systems. Ph.D. thesis, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.
40. Tomlin C., Lygeros J., Sastry S. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE. 88(7):2000;949-969.
41. Tomlin C., Mitchell I., Ghosh R. Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems. 2(2):2001;110-120.