On ellipsoidal techniques for reachability analysis. Part II: Internal approximations box-valued constraints

Optimization Methods and Software

Volumn 17, Issue 2, 2002, Pages 207-237

  Kurzhanski, A B ^a   Varaiya, P ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Box constraints; Linear control systems; Reachability

Indexed keywords

BOX VALUED CONSTRAINTS; ELLIPSOIDAL TECHNIQUES; HARD BOUNDS; INTERNAL APPROXIMATIONS; REACH SETS; REACH TUBES; REACHABILITY ANALYSIS;

ALGORITHMS; APPROXIMATION THEORY; BOUNDARY CONDITIONS; CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; INTEGRAL EQUATIONS; LINEAR CONTROL SYSTEMS; MATRIX ALGEBRA; PARAMETER ESTIMATION; SET THEORY; THEOREM PROVING; TIME VARYING CONTROL SYSTEMS;

OPTIMIZATION;

EID: 0036526059     PISSN: 10556788     EISSN: None     Source Type: Journal    
DOI: 10.1080/1055678021000012435     Document Type: Article

References (23)

1. S. Boyd, L. El Ghaoui, E. Feron and V. Balakrishnan (1994). Linear Matrix Inequalities in System and Control Theory. SIAM.
2. F.L. Chernousko (1994). State Estimation for Dynamic Systems. CRC Press.
3. A. Chutinan and B.H. Krogh (1999). Verification of polyhedral-invariant hybrid systems using polygonal flowpipe approximations. In: Hybrid Systems: Computation and Control, LNCS 1569, pp. 76-90. Springer.
4. T. Dang and O. Maler (1998). Reachability analysis via face-lifting. In: Hybrid Systems: Computation and Control, LNCS 1386, pp. 96-109. Springer.
5. F.R. Gantmacher (1960). Matrix Theory, I-II. Chelsea Pub., NY.
6. J.E. Gayer (1991). A survey of techniques for approximating reachable and controllable sets. In: Proc. IEEE Conf. On Decision and Control, pp. 1724-1729. Brighton.
7. M.r. Greensreet and I. Mitchell (1999). Reachability analysis using polygonal projections. In: Hybrid Systems: Computation and Control, LNCS 1569, pp. 103-116. Springer.
8. T. Kailath (1980). Linear Systems. Prentice Hall, Englewood Cliffs.
9. E.K. Kostousova (1998). State estimation for dynamic systems via parallelotopes: optimization and parallel computations. Optimization Methods and Software, Vol. 9, pp. 269-306.
10. 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 Multicon, Lille, France.
11. N.N. Krasovski (1971). Rendezvous game problems. Nat. tech. Inf. Serv. Springfield, VA.
12. A.B. Kurzhanski (1997). Control and Observation Under Uncertainty Conditions. Nauka, Moscow.
13. A.B. Kurzhanski and I. Vályi (1997). Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston, ser. SCFA.
14. A.B. Kurzhanski and P. Varaiya (2000). Ellipsoidal techniques for reachability analysis. In: N. Lynch and B. Krogh (Eds.), Hybrid Systems: Computation and Control, Lecture notes in Computer Science, Vol. 1790, pp. 202-214. Springer, Berlin.
15. A.B. Kurzhanski and P. Varaiya (2000). Ellipsoidal techniques for reachability analysis: internal approximations. Systems and Control Letters, 41, 201-211.
16. E.B. Lee and L. Marcus (1967). Foundations of Optimal Control Theory. Wiley, NY.
17. G. Leitmann (1982). Optimality ad reachability via feedback controls. In: A. Blaquière and G. Leitmann (Eds.), Dynamic Systems and Mycrophysics.
18. F. Lempio and V. Veliov (1998). Discrete approximations of differential inclusions. Bayreuther Mathematische Schriften, Heft 54.
19. 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.
20. 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.
21. A. Puri and P. Varaiya (1996). Decidability of hybrid systems with rectangular inclusions. In: D. Dill (Ed.), Proc. CAV'94, LNCS 1066. Springer.
22. R.T. Rockafellar (1999). Convex Analysis, 2nd Edn. Princeton Univ. Press.
23. P. Varaiya (1998). Reachability set computation using optimal control. In: Proc. of KIT Workshop on Verification on Hybrid Systems. Verimag, Grenoble.