Dynamic optimization for reachability problems

Journal of Optimization Theory and Applications

Volumn 108, Issue 2, 2001, Pages 227-251

  Kurzhanski, A B ^a   Varaiya, P ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Convex analysis; Dynamic programming; Hamilton Jacobi Bellman equations; Hamiltonians; Nonlinear systems; Reachability; Target sets

Indexed keywords

HAMILTONIANS; LINEAR SYSTEMS; NONLINEAR EQUATIONS; NONLINEAR SYSTEMS;

BACKWARD REACHABILITY; CONVEX ANALYSIS; DYNAMIC OPTIMIZATION; DYNAMIC PROGRAMMING TECHNIQUES; FORWARD-AND-BACKWARD; HAMILTON JACOBI BELLMAN EQUATION; OPTIMIZATION CRITERIA; REACHABILITY; REACHABILITY PROBLEM; TARGET SET;

DYNAMIC PROGRAMMING;

EID: 0035529798     PISSN: 00223239     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026497115405     Document Type: Article

References (23)

1. 1. LEE, E. B., and MARKUS, L., Foundations of Optimal Control Theory, Wiley, New York, NY, 1961.
2. 2. KRASOVSKI, N. N., Rendezvous Game Problems, National Technical Information Service, Springfield, Virginia, 1971.
3. 3. LEITMANN, G., Optimality and Reachability via Feedback Controls, Dynamic Systems and Microphysics, Edited by A. Blaquière and G. Leitmann, Academic Press, New York, NY, 1982.
4. 4. VARAIYA, P., Reach Set Computation Using Optimal Control, Proceedings of the KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, France, 1998.
5. 5. PURI, A., BORKAR, V., and VARAIYA, P., ∈-Approximations of Differential Inclusions, Hybrid Systems, Edited by R. Alur, T. A. Henzinger, and E. D. Sontag, Lecture Notes in Computer Sciences, Springer, New York, NY, Vol. 1066, 362-376, 1996.
6. 6. PURI, A., and VARAIYA, P., Decidability of Hybrid Systems with Rectangular Inclusions, Proceedings of the Computer Aided Verification Conference, Edited by D. Dill, Lecture Notes in Computer Sciences, Springer, New York, NY, Vol. 818, pp. 95-104, 1994.
7. 7. LYGEROS, J., TOMLIN, C., and SASTRY, S., Controllers for Reachability Specifications for Hybrid Systems, Automatica, Vol. 35, pp. 349-370, 1999.
8. 8. CHUTINAN, A., and KROGH, B. H., Verification of Polyhedral-Invariant Hybrid Systems Using Polygonal Flowpipe Approximations, Hybrid Systems: Computation and Control, Edited by F. W. Vaandrager and J. H. Van Schuppen, Lecture Notes in Computer Sciences, Springer, New York, NY, Vol. 1569, pp. 76-90, 1999.
9. 9. GURMAN, V. I., The Expansion Principle in Control Theory, Nauka, Moscow, Russia, 1997.
10. 10. LEFSCHETZ, S., Differential Equations: Geometrical Theory, Dover Publications, New York, NY, 1977.
11. 11. FLEMING, W. H., and SONER, H. M., Controlled Markov Processes and Viscosity Solutions, Springer Verlag, New York, NY, 1993.
12. 12. CRANDALL, M. G., and LIONS, P. L., Viscosity Solutions of Hamilton-Jacobi Equations, Transactions of the American Mathematical Society, Vol. 277, pp. 1-42, 1983.
13. 13. SUBBOTIN, A. I., Generalized Solutions of First-Order PDE's: The Dynamic Optimization Perspective, Birkhäuser, Boston, Massachusetts, 1996.
14. 14. BARDI, M., and CAPUZZO-DOLCETTA, I., Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations, Birkhäuser, Boston, Massachusetts, 1997.
15. 15. AUBIN, J. P., and FRANKOWSKA, H., Set-Valued Analysis, Birkhäuser, Boston, Massachusetts, 1990.
16. 16. KURZHANSKI, A. B., and FILIPPOVA, T. F., On the Theory of Trajectory Tubes: A Mathematical Formalism for Uncertain Dynamics, Viability, and Control, Advances in Nonlinear Dynamics and Control: A Report from Russia, Edited by A. B. Kurzhanski, Progress in Systems and Control Theory, Birkhäuser, Boston, Massachusetts, Vol. 17, pp. 122-188, 1993.
17. 17. FILIPPOV, A. F., Differential Equations with Discontinuous Right-Hand Sides, Kluwer, Dordrecht, Holland, 1988.
18. 18. PANASIUK, A. A., and PANASIUK, V. I., On an Equation Resulting from a Differential Inclusion, Mathematical Notes, Vol. 27, pp. 213-218, 1980.
19. 19. ROCKAFELLAR, R. T., Convex Analysis, 2nd Edition, Princeton University Press, Princeton, New Jersey, 1999.
20. 20. FAN, K., Minimax Theorems, Proceedings of the National Academy of Sciences of the USA, Vol. 39, pp. 42-47, 1953.
21. 21. KURZHANSKI, A. B., and VÁLYI, I., Ellipsoidal Calculus for Estimation and Control, Birkhäuser, Boston, Massachusetts, 1997.
22. 22. BARRON, E. N., and JENSEN, R., Semicontinuous Viscosity Solutions for Hamilton-Jacobi Equations with Convex Hamiltonians, Communications in Partial Differential Equations, Vol. 15, pp. 1713-1742, 1990.
23. 23. KURZHANSKI, A. B., and VARAIYA, P., Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, Edited by N. Lynch and B. H. Krogh, Lecture Notes in Computer Sciences, Springer, New York, NY, Vol. 1790, pp. 202-214, 2000.