Reachability analysis for uncertain systems - The ellipsoidal technique

Dynamics of Continuous, Discrete and Impulsive Systems Series B: Application and Algorithm

Volumn 9, Issue 3, 2002, Pages 347-367

  Kurzhanski, A B ^a   Varaiya, P ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Closed loop control; Dynamic programming; Funnel equations; HJBI equation; Reach sets; Reachability

Indexed keywords

EID: 0142224816     PISSN: 14928760     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. R. Alur, T.A. Henzinger, O. Kupferman, Alternating time temporal logic. Proc. Annual Symp. on Foundations of Computer Sciences, 100-109, 1997.
2. J-P. Aubin, H. Frankowska, Set-valued Analysis, Birkhäuser, Boston, 1991.
3. M. Bardi, I. Capuzzo-Dolcetta, Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations, Birkhäuser, Boston, 1997.
4. ∞ Optimal Control and Related Minimax Design Problems, 2-nd. ed., Birkhäuser, Boston, 1997.
5. W.H. Fleming, H.M. Soner, Controlled Markov Processes and Viscosity Solutions, Springer-Verlag, 1993.
6. N.N. Krasovksii, Game-Theoretic Problems on the Encounter of Motions, Nauka, Moscow, 1970, (in Russian), English Translation : Rendezvous Game Problems, Nat. Tech. Inf. Serv., Springfield, VA, 1971.
7. N.N. Krasovksii, Game-Theoretic Problems on the Encounter of Motions, Nauka, Moscow, 1970, (in Russian), English Translation : Rendezvous Game Problems, Nat. Tech. Inf. Serv., Springfield, VA, 1971.
8. N.N. Krasovksi, A.N. Subbotin, Positional Differential Games, Springer-Verlag, 1988.
9. A.B. Kurzhanski, Pontryagin's alternated integral in the theory of control synthesis. Proc. Steklov Math. Inst., v.224, 1999, (Engl. Transl.), pp. 234-248.
10. A.B. Kurzhanski, I. Valyi, Ellipsoidal Calculus for Dynamics and Control, Birkhäuser, Boston, 1998.
11. A.B. Kurzhanski, P. Varaiya, On reachability under uncertainty. SIAM Journal on Control and Optimization (to appear).
12. A.B. Kurzhanski, P. Varaiya, Ellipsoidal techniques for reachability analysis. Lecture Notes in Computer Sciences, 1790, Hybrid systems: computation and control, N. Lynch, B.L. Krogh, eds.,Springer, 2000, pp.202-214.
13. A.B. Kurzhanski, P. Varaiya, Ellipsoidal techniques for reachability analysis. Lecture Notes in Computer Sciences, 1790, Hybrid systems: computation and control, N. Lynch, B.L. Krogh, eds.,Springer, 2000, pp.202-214.
14. A.B. Kurzhanski, P. Varaiya, Ellipsoidal techniques for reachability analysis; internal approximation. System and Control Letters, 41, pp.201-211, 2000.
15. G. Leitmann, Optimality and reachability with feedback controls. In Dynamic Systems and Microphysics, Blaquiere A., Leitmann G., eds., Acad Press N.Y., 1982.
16. J. Lygeros, C. Tomlin, S. Sastry, Controllers for reachability specifications for hybrid systems. Automatica, v.35(3), pp. 349-370, 1999.
17. L.S. Pontryagin, Linear Differential Games of Pursuit. Mat. Sbornik, v.112(3), 1980.
18. A. Puri, V. Borkar, P. Varaiya, ∈-Approximations of Differential Inclusions Lecture Notes in Computer Sciences, 1066, Hybrid systems III, R. Alur, T.A. Henzinger, E.D. Sontag eds., Springer, pp.362-376, 1996.
19. R.T. Rockagellar, R.J.B. Wets, Variational Analysis, Springer-Verlag, 1998.
20. P. Varaiya, A.B. Kurzhanski, On the reachability problem under persistent disturbances. Doklady Mathematics, v.61, N3, pp.380-384, 2000. (Engl. Transl. of Doklady Akademii Nauk v.372, N 1-6, 2000).
21. P. Varaiya, A.B. Kurzhanski, On the reachability problem under persistent disturbances. Doklady Mathematics, v.61, N3, pp.380-384, 2000. (Engl. Transl. of Doklady Akademii Nauk v.372, N 1-6, 2000).
22. P. Varaiya, J. Lin, Existence of Saddle Points in Differential Games, SIAM Journal on Control and Optimization, v.7, 1, pp.142-157, 1969.
23. P. Varaiya, Reach set computation using optimal control. Proc. of KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998.