Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems

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

Volumn 1386, Issue , 1998, Pages 175-189

  He, Kevin X ^a   Lemmon, Michael D ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0344236027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_39     Document Type: Conference Paper

References (15)

1. A.S. Morse, Control using logic based switching, In A. Isidori, Trends in Control, Springer-Verlag, Great Britain, 1995.
2. P. Peteties and R. DeCarlo, Asymptotic Stability of m-switched systems using Lyapunov-like functins. In Proceedings of the American Control Conference, pp 1679-1684, Bost, MA, June 1991.
3. A.V. Savkin, I.R. Petersen, E. Skafidas, and R.J. Evans, Robust control via controlled switching, In Proceedings of CESA '96, pages 1117-1122, Lille France, 1996
4. M. Branicky, Stability of Switched and Hybrid Systems, In Proceedings of the 33rd Conference on Decision and Control, pp 3498-3503, Lake Buena Vista, FL, December 1994.
5. L. Hou, A.N. Michel, and H. Ye, Stability Analysis of Switched Systems, In Proceedings of the 35th Conference on Decision and Control, pages 1208-1212, Kobe Japan, December 1996.
6. S. Pettersson and B. Lennartson, Stability and Robustness for Hybrid Systems, In Proceedings of the 35th Conference on Decision and Control, Kobe Japan, December 1996.
7. M. Johansson and A. Rantzer, Computation of Piecewise Quadratic Lyapunov Functions for Hybrid Systems, to appear in IEEE Trans. of Automatic Control, 1997
8. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science, 126:183-235, 1994
9. R. Alur, T. Henzinger, and P-H Ho., Automatic Symbolic Verification of Embedded Systems, IEEE Transactions on Software Engineering, 22:181-201, 1996.
10. L. Tavernini, Differential automata and their discrete simulators, Nonlinear Analysis, theory, methods, and applications, 11(6):665-683, 1987.
11. S. Branicky, Studies in Hybrid Systems: Modeling, Analysis, and Control, Technical Report LIDS-TH-2304 of the Laboratory for Information and Decision Sciences, MIT, 1995.
12. A. Deshpande and P. Varaiya, Viable Control of Hybrid Systems, Hybrid Systems II, A. Nerode (ed.), LNCS Volume 999, Springer-Verlag, 1995.
13. M.D. Lemmon, K. He, and C.J. Bett, Modeling Hybrid Control Systems using Programmable Timed Petri Nets, to appear in L'Automatisation des Processus Mixtes (ADPM'98), Rheims France, March 19-20, 1998.
14. C.J. Bert and M.D. Lemmon, Bounded Amplitude Control using Multiple Linear Agents, Technical Report ISIS-97-004, Dept. of Electrical Engineering, University of Notre Dame, Notre Dame, IN 1997. (revised version submitted to Automatica)
15. Matlab Inc., “LMI Toolbox User Manual”, 1993.