Ellipsoidal techniques for reachability under state constraints

SIAM Journal on Control and Optimization

Volumn 45, Issue 4, 2006, Pages 1369-1394

  Kurzhanski, A B ^a   Varaiya, P ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Control problems; Duality theory; HJB equations; Reach sets; Reachability

Indexed keywords

CONTROL PROBLEMS; DUALITY THEORY; ELLIPSOIDAL TECHNIQUES; HJB EQUATIONS; HYBRID SYSTEMS; REACH SETS; REACHABILITY;

APPROXIMATION THEORY; DIFFERENTIAL EQUATIONS; OPTIMIZATION; PROBLEM SOLVING; SET THEORY; TUBES (COMPONENTS);

LINEAR CONTROL SYSTEMS;

EID: 34547157009     PISSN: 03630129     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0363012903437605     Document Type: Article

References (31)

1. S. BOYD, L. EL GHAOUI, E. FERON, AND V. BALAKRISHNAN, Linear Matrix Inequalities in System and Control Theory, Stud. Appl. Math. 15, SIAM, Philadelphia, 1994.
2. F. L. CHERNOUSKO, Store Estimation for Dynamic Systems, CRC Press, Boca Raton, FL, 1994.
3. R. COURANT AND D. HILBERT, Methods of Mathematical Physics, Vol. 1, Wiley, New York, 1953.
4. R. COURANT AND D. HILBERT, Methods of Mathematical Physics, Vol. 2, Wiley, New York, 1962.
5. W. H. FLEMING AND H. M. SONER, Controlled Markov Processes and Viscosity Solutions, Springer-Verlag, New York, 1993.
6. M. I. GUSEV AND A. B. KURZHANSKI, Optimization of controlled systems with restrictions. I, Differ. Uravn., 7 (1971), pp. 1591-1602 (in Russian).
7. T. A. HENZINGER, P. W. KOPKE, A. PURI, AND P. VARAIYA, What's decidable about hybrid automata?, in Proceedings of the 27th Annual Symposium on Theory of Computing, ACM, New York, 1995, pp. 373-382.
8. M. N. KIRILIN AND A. B. KURZHANSKI, Ellipsoidal techniques for readability problems under nonellipsoidal constraints, in Proceedings of the 5th IFAC Symposium on Nonlinear Control Systems, Elsevier Science, Ltd., Dordrecht, 2002, pp. 735-740.
9. A.B. KURZHANSKI, Control and Observation Under Uncertainty Conditions, Nauka, Moscow, 1977 (in Russian).
10. A. B. KURZHANSKI AND T. F. FILIPPOVA, On the theory of trajectory tubes - A mathematical formalism for uncertain dynamics, viability and control, in Advances in Nonlinear Dynamics and Control. A Report from Russia, Birkhäuser Boston, Boston, MA, 1993, pp. 122-188.
11. A. B. KURZHANSKI AND YU. S. OSIPOV, On control problems with restricted coordinates, J. Appl. Math. Mech., 33 (1989), pp. 682-695.
12. A. B. KURZHANSKI AND I. VALYI, Ellipsoidal Calculus for Dynamics and Control, Birkhäuser Boston, Boston, MA, 1997.
13. A. B. KURZHANSKI AND P. VARAIYA, Ellipsoidal techniques for reachability analysis: Internal approximation, Systems Control Lett., 41 (2000), pp. 201-211.
14. A. B. KURZHANSKI AND P. VARAIYA, On reachability under uncertainty, SIAM J. Control Optim., 41 (2002), pp. 181-216.
15. A. B. KURZHANSKI AND P. VARAIYA, On ellipsoidal techniques for reachability analysis. I. External approximations, Optim. Methods Softw., 17 (2002), pp. 177-206.
16. A. B. KURZHANSKI AND P. VARAIYA, Dynamic optimization ¡or reachability problems, J. Optim. Theory Appl., 108 (2002), pp. 227-251.
17. A. B. KURZHANSKI AND P. VARAIYA, Ellipsoidal techniques in reachability analysis for hybrid systems, in New Directions and Applications in Control Theory, W. P. Dayawansa, A. Lindquist, and Y. Zhou, eds., Lecture Notes in Control and Inform. Sci. 321, Springer, Berlin, 2005, pp. 193-205.
18. E. B. LEE AND L. MARCUS, Foundations of Optimal Control Theory, Wiley, New York, 1967.
19. G. LEITMANN, Optimality and reachability via feedback control, in Dynamic Systems and Mycrophysics, A. Blaquiere and G. Leitmann, eds., Academic Press, New York, 1982.
20. E. J. MCSHANE, Integration, Princeton University Press, Princeton, NJ, 1947.
21. G. L. PAPPAS AND S. SASTRY, Straightening out differential inclusions, Systems Control Lett., 35 (1998), pp. 79-85.
22. L. S. PONTRYAGIN, V. G. BOLTYANSKI, R. V. GAMKRELIDZE, AND E. F. MISCHENKO, Mathematical Theory of Optimal Processes, Wiley, New York, 1962.
23. A. PURI, V. BORKAR, AND P. VARAIYA, e-approximations of differential inclusions, in Hybrid Systems, R. Alur, T. A. Henzinger, and E. D. Sonntag, eds., Lecture Notes in Comput. Sci. 1201, Springer, Berlin, 1996, pp. 109-123.
24. A. PURI AND P. VARAIYA, Decidability of hybrid systems with rectangular inclusions, in Proceedings CAV-94, D. Dill, ed., Lecture Notes in Comput. Sci. 1066, Springer, Berlin, 1996, pp. 95-104.
25. R. T. ROCKAFELLAR, Convex Analysis, 2nd ed., Princeton University Press, Princeton, NJ, 1999.
26. S. SAKS, The Theory of the Integral, Dover, New York, 1964.
27. L. SCHWARTZ, La théorie des distributions, I, Hermann, Paris, 1950.
28. L. SCHWARTZ, La théorie des distributions, II, Hermann, Paris, 1951.
29. J. A. SETHIAN, Level-Set Methods and Fast-Marching Methods, Cambridge University Press, Cambridge, UK, 1999.
30. A. I. SUBBOTIN, Generalized Solutions of First-Order PDE's, Birkhäuser Boston, Boston, MA, 1995.
31. P. VARAIYA, Reach set computation using optimal control, in Proceedings of KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998, pp. 377-383.