Ellipsoidal techniques for hybrid dynamics: The reachability problem

Lecture Notes in Control and Information Sciences

Volumn 321, Issue , 2005, Pages 193-205

  Kurzhanski, A B ^a   Varaiya, P ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Control; Discrete transitions; Ellipsoidal calculus; Guards; Hybrid systems; Reachability sets; Resets

Indexed keywords

CALCULATIONS; CONTROL; HYBRID SYSTEMS; STATE SPACE METHODS;

DISCRETE TRANSITIONS; ELLIPSOIDAL CALCULUS; GUARDS; REACHABILITY SET; RESETS;

DYNAMICS;

EID: 33947509272     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/10984413_12     Document Type: Article

References (13)

1. Botchkarev O., Tripakis S. Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. Hybrid Systems: Computation and Control. N.Lynch and B.Krogh eds., LNCS, Springer, v.1790, 2000.
2. Branicky M., Borkar V., Mitter S., A unified framework for hybrid control:Model and optimal control theory. IEEE Trans. Aut. Control, 43(1), pp. 31-45.
3. Brockett R., Hybrid models for motion control systems. In Trentelman H., Willems J., eds.Essays on Control: Perspectives in Theory and its Applications, Birkhauser, Boston, pp. 29-53.
4. Krasovskii N.N. The Theory of Control of Motion. Nauka, Moscow, 1968.
5. Lee E.B., Markus L., Foundations of Optimal Control Theory. Wiley, New York, 1961.
6. Leitmann G., Optimality and reachability with feedback controls. In Dynamic Systems and Microphysics, Blaquiere A., Leitmann G., eds., Acad Press N.Y., 1982.
7. Kurzhanski A.B., Valyi I., Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston, 1997.
8. Kurzhanski A.B., Varaiya P., Dynamic Optimization for Reachability Problems, JOTA, v.108, N2, pp. 227-251.
9. Kurzhanski A.B., Varaiya P., On ellipsoidal techniques for reachability analysis. Parts I, II, Optimization Methods and Software, pp. 187-237.
10. Lygeros J.C., Tomlin C. and Sastri S., Controllers for reachability specifications for hybrid systems. Automatica, v.35, N3, 1999,pp. 349-370.
11. Puri A., Varaiya P., Decidability of hybrid systems with rectangular inclusions. In: Proc. CAV' 04, LNCS 1066. Dill, D., ed,Springer, 1996.
12. Varaiya P., Reach set computation using optimal control. Proc. of KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998.
13. Van der Schaft A., Schumacher H., An Introduction to Hybrid Systems, Lect. Notes in Control and Info. Sciences, v.251, Springer, 2000.