On reachability analysis of uncertain hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2002, Pages 2397-2402

  Jönsson, Ulf T ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; HYBRID COMPUTERS; INTEGRAL EQUATIONS; LINEAR CONTROL SYSTEMS; NONLINEAR CONTROL SYSTEMS; PARAMETER ESTIMATION; PIECEWISE LINEAR TECHNIQUES; ROBUSTNESS (CONTROL SYSTEMS); SYSTEM STABILITY; TIME DOMAIN ANALYSIS;

INTEGRAL QUADRATIC CONSTRAINTS; PIECEWISE LINEAR SYSTEMS; REACHABILITY ANALYSIS; TRANSITION ANALYSIS; UNCERTAIN DYNAMICS MAPS; UNCERTAIN HYBRID SYSTEMS;

UNCERTAIN SYSTEMS;

EID: 0036995367     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. A. Chutinan and B.H. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In In Hybrid systems: Computation and Control, Lecture Notes in Computer Science. Springer-Verlag, 1999.
2. M. di Bernardo, K. H. Johansson, U. Jönsson, and F. Vasca. On the robustness of periodic solutions in relay feedback systems. In IFAC World Congress, Preprints, Barcelona, Spain, 2002.
3. T. T. Georgiou and M. C. Smith. Robustness of a relaxation oscillator. International Journal of Robust and Nonlinear Control, 10(11-12):1005-1024. 2000.
4. J. Goncalves, A. Megretski, and M. Dahleh. Global stability of relay feedback systems. IEEE Transactions on Automatic Control, 46(4):550-562, 2001.
5. U. Jönsson. Robustness of trajectories with finite time extent. To appear in Automatica, 2002.
6. U. Jönsson. Robustness of transitions in switched hybrid system. In Proceedings of the IEEE Conference on Decision and Control 2001, pages 2484-2489, Orlando, FLA, 2001.
7. C. Kao, A. Megretski, and U. Jönsson. A cutting plane algorithm for robustness analysis of periodic systems. IEEE Transactions on Automatic Control, 40(4):579-592, April 2001.
8. C. Kao. Efficient Computational Methods for Robustness Analysis PhD thesis, LIDS, M.I.T. 2002.
9. A. B. Kurzhanski and Pravin Varaiya. Ellipsoidal techniques for reachability analysis. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 202-214. Springer-Verlag, Heidelberg, 2000.
10. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications of hybrid systems. Automatica, pages 349-370, March 1999.
11. A. Puri and P. Varaiya. Verification of hybrid systems using abstractions. In Also Hybrid Systems II, LNCS 999, pages 359-369. Springer-Verlag, 1995.
12. P. Varaiya. Reach set computation using optimal control problems in multidimensional systems. In Proc. of KIT Workshop on Verification of Hybrid Systems, Grenoble, France, 1998. Verimag.