On verification of controlled hybrid dynamics through ellipsoidal techniques

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 4682-4687

  Kurzhanski, Alexander B ^a,b   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TRANSITIONS; ELLIPSOIDAL TECHNIQUES; HYBRID DYNAMICS;

DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; MOTION PLANNING; PROBLEM SOLVING; STATE SPACE METHODS;

CONTROL THEORY;

EID: 33746648876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582901     Document Type: Conference Paper

References (11)

1. 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.
2. 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.
3. Krasovskii N.N. The Theory of Control of Motion. Nauka, Moscow, 1968.
4. Lee E.B., Markus L., Foundations of Optimal Control Theory. Wiley, New York, 1961.
5. Leitmann G., Optimality and reachability with feedback controls. In Dynamic Systems and Microphysics, Blaquiere A., Leitmann G., eds., Acad Press N.Y., 1982.
6. Kurzhanski A.B., Valyi I., Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston, 1997.
7. Kurzhanski A.B., Varaiya P., Dynamic Optimization for Reachability Problems, JOTA, v. 108, N2, pp. 227-251.
8. Kurzhanski A.B., Varaiya P., On ellipsoidal techniques for reachability analysis. Parts I, II, Optimization Methods and Software, pp. 187-237.
9. Lygeros J.C., Tomlin C. and Sastri S., Controllers for reachability specifications for hybrid systems. Automatica, v.35, N3, 1999, pp. 349-370.
10. Puri A., Varaiya P., Decidability of hybrid systems with rectangular inclusions. In: Proc. CAV' 94, LNCS 1066. Dill, D., ed, Springer, 1996.
11. Van der Schaft A., Schumacher H., An Introduction to Hybrid Systems, Lect. Notes in Control and Info. Sciences, v.251, Springer, 2000.