Dynamical systems revisited: Hybrid systems with Zeno executions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 451-464

  Zhang, Jun ^a   Johansson, Karl Henrik ^a   Lygeros, John ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

HYBRID DYNAMICAL SYSTEMS; INVARIANCE PRINCIPLE; INVARIANT SET; NEW RESULTS; OMEGA-LIMIT SET;

HYBRID SYSTEMS;

EID: 84974720016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_37     Document Type: Conference Paper

References (15)

1. M. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4):475-482, April 1998.
2. M. Branicky, E. Dolginova, and N. Lynch. A toolbox for proving and maintaining hybrid specifications. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, number 1273 in LNCS, pages 18-30. Springer Verlag, 1997.
3. K. X. He and M. D. Lemmon. Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems. In Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
4. K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry. On the regularization of Zeno hybrid automata. Systems & Control Letters, 38:141-150, 1999.
5. K. H. Johansson, J. Lygeros, S. Sastry, and M. Egerstedt. Simulation of Zeno hybrid automata. In IEEE Conference on Decision and Control, Phoenix, AZ, 1999.
6. M. D. Lemmon, K. X. He, and I Markovsky. Supervisory hybrid systems. IEEE Control Systems Magazine, 19(4):42-55, 1999.
7. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt. On the existence of executions of hybrid automata. In IEEE Conference on Decision and Control, Phoenix, AZ, 1999.
8. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3), March 1999.
9. A. S. Morse. Control using logic-based switching. In Alberto Isidori, editor, Trends in Control. A European Perspective, pages 69-113. Springer, 1995.
10. S. Sastry. Nonlinear Systems: Analysis, Stability, and Control. Springer-Verlag, New York, 1999.
11. S Simić, K H Johansson, S Sastry, and J Lygeros. Towards a geometric theory of hybrid systems. In Hybrid Systems: Computation and Control, Pittsburgh, PA, 2000.
12. A. J. van der Schaft and J. M. Schumacher. Complementarity modeling of hybrid systems. IEEE Transactions on Automatic Control, 43(4):483-490, April 1998.
13. S. Wiggins. Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer-Verlag, New York, 1990.
14. H. Ye, A. Michel, and L. Hou. Stability theory for hybrid dynamical systems. IEEE Transactions on Automatic Control, 43(4):461-474, April 1998.
15. J. Zhang. Dynamical systems revisited: Hybrid systems with Zeno executions. Master’s thesis, Dept of EECS, University of California, Berkeley, 1999.