On ellipsoidal techniques for reachability analysis. Part I: External approximations

Optimization Methods and Software

Volumn 17, Issue 2, 2002, Pages 177-206

  Kurzhanski, A B ^a   Varaiya, P ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Approximation; Linear control systems; Reachability

Indexed keywords

ELLIPSOIDAL TECHNIQUES; EXTERNAL APPROXIMATIONS; HARD BOUNDS; REACH SETS; REACH TUBES; REACHABILITY ANALYSIS;

ALGORITHMS; APPROXIMATION THEORY; BOUNDARY CONDITIONS; EIGENVALUES AND EIGENFUNCTIONS; INTEGRAL EQUATIONS; LINEAR CONTROL SYSTEMS; MATRIX ALGEBRA; MAXIMUM PRINCIPLE; ORDINARY DIFFERENTIAL EQUATIONS; PARAMETER ESTIMATION; SET THEORY; TIME VARYING CONTROL SYSTEMS;

OPTIMIZATION;

EID: 0036526026     PISSN: 10556788     EISSN: None     Source Type: Journal    
DOI: 10.1080/1055678021000012426     Document Type: Article

References (23)

1. J-P. Aubin and H. Frankowska (1990). Set-Valued Calculus. Birkhäuser, Boston.
2. S. Boyd, L. El Ghaoui, E. Feron and V. Balakrishnan (1994). Linear Matrix Inequalities in System and Control Theory, SIAM.
3. F.L. Chernousko (1994). State Estimation for Dynamic Systems. CRC Press.
4. A. Chutinan and B.H. Krogh (1999). Verification of polyhedral-invariant hybrid systems using polygonal approximations. In: Hybrid Systems: Computation and Control, LNCS 1569, pp. 76-90. Springer.
5. T. Dang and O. Maler (1998). Reachability analysis via face-lifting. In: Hybrid Systems: Computation and Control, LNCS 1386, pp. 96-109. Springer.
6. F.R. Gantmacher (1960). Matrix Theory, I-II, Chelsea Pub., NY.
7. J.E. Gayek (1991). A survey of techniques for approximating reachable and controllable sets. In: Proc. IEEE Conf. on Decision and Control, pp. 1724-1729. Brigton.
8. T. Kailath (1980). Linear Systems, Prentice Hall, Englewood Cliffs.
9. E.K. Kostousova and A.B. Kurzhanski (1996). Theoretical framework and approximation techniques for parallel computation in set-membership state estimation. In: Proc. of Symp. on Modelling, Analysis and Simulation, Vol. 2, pp. 849-854. CESA'96 IMCS Multiconf., Lille, France.
10. N.N. Krasovski (1971). Rendezvous game problems, Nat. tech. Inf. Serv., Springfield, VA.
11. A.B. Kurzhanski (1977). Control and Observation Under Uncertainty Conditions, Nauka, Moscow.
12. A.B. Kurzhanski and I. Vályi (1997). Ellipsoidal Calculus for Estimation and Control Birkhäuser, Boston, ser. SCFA.
13. A.B. Kurzhanski and P. Varaiya (2000). Ellipsoidal techniques for reachability analysis. In: Proc. Pittsburg Conf. Hybrid Systems - 2000, LNCS, Vol. 170, pp. 202-214. Springer.
14. E.B. Lee and L. Marcus (1967). Foundations of Optimal Control Theory, Wiley, NY.
15. G. Leitmann (1982). Optimality and reachability via feedback controls. In: A. Blaquière and G. Leitmann (Eds.), Dynamic Systems and Mycrophysics.
16. F. Lempio and V. Veliov (1998). Discrete Approximations of Differential Inclusions, Bayreuther Mathematische Schriften, Heft 54.
17. A.V. Lotov (1975). A numerical method for the construction of attainability sets for linear controllable systems with phase constraints. Journal of Comput. Math. and Math. Physics, 15(1), 67-78.
18. L.S. Pontryagin, V.G. Boltyanski, E.F. Gamkrelidze and E.F. Michenko (1962). Mathematical Theory of Optimal Processes. Interscience, NY.
19. A. Puri, V. Borkar and P. Varaiya (1996). ψ-approximations of differential inclusions, In: R. Alur, T.A. Henzinger and E.D. Sonntag (Eds.), Hybrid Systems, LNCS 1201, pp. 109-123. Springer.
20. A. Puri and P. Varaiya (1996). Decidability of hybrid systems with rectangular inclusions. In: D. Dill (Ed.), Proc., CAV' 94, LNCS 1066. Springer.
21. R.T. Rockafellar (1999). Convex Analysis, 2nd Edn., Princeton Univ. Press.
22. F.C. Schweppe (1973). Uncertain Dynamic Systems, Prentice Hall, Englewood Cliffs.
23. P. Varaiya (1998). Reachability set computation using optimal control. In: Proc. of KIT Workshop on Verification of Hybrid Systems. Verimag, Grenoble.