Modeling and stability analysis of state-switched hybrid systems via Differential Petri Nets

Simulation Modelling Practice and Theory

Volumn 15, Issue 8, 2007, Pages 879-893

  Davrazos, Gregory ^a   Koussoulas, Nick T ^a  

^a UNIVERSITY OF PATRAS   (Greece)

Author keywords

Hybrid systems; Lyapunov stability; Petri nets; Switched systems

Indexed keywords

COMPUTER SOFTWARE; CONVERGENCE OF NUMERICAL METHODS; LYAPUNOV FUNCTIONS; PETRI NETS; SWITCHING SYSTEMS;

DIFFERENTIAL PETRI NET (DPN); LINEAR MATRIX INEQUALITIES (LMI); LYAPUNOV STABILITY; SWITCHED SYSTEMS;

HYBRID COMPUTERS;

EID: 34547733476     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2007.04.009     Document Type: Article

References (23)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., and Yovine S. Algorithmic analysis of hybrid systems. Theoretical Computer Science (1995) 138
2. Antsaklis P.J., Koutsoukos X.D., and Zaytoon J. On hybrid control of complex systems: a survey. European Journal of Automation, APII-JESA 32 9/10 (1998) 1023-1045
3. Boyd S., El Ghaoui L., Feron E., and Balakrishnan V. Linear Matrix Inequalities in System and Control Theory (1994), SIAM Press
4. Branicky M.S. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control 43 4 (1998)
5. Cassandras C.G., and Lafortune S. Introduction to Discrete Event Systems (1999), Kluwer Academic Publishers, Boston
6. David R., and Alla H. Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems (1997), Prentice-Hall Int.
7. David R., and Alla H. On hybrid Petri nets. Discrete Event Dynamic Systems Theory and Applications 11 (2001) 9-40
8. G. Davrazos, N.T. Koussoulas, A review of stability results for switched and hybrid systems, in: Proceedings of the 9th Mediterranean Conference on Control and Automation (MED2001).
9. G. Davrazos, N.T. Koussoulas, Stability analysis of networked hybrid systems, in: Proceedings of the 15th IFAC World Congress 2002, Barcelona, Spain, 2002.
10. G. Davrazos, N.T. Koussoulas, A general methodology for stability analysis of differential Petri nets, in: Proceedings of the 10th Mediterranean Conference on Control and Automation 2002, Lisbon, Portugal, 2002.
11. DeCarlo R., Branicky M.S., Pettersson S., and Lennartson B. Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE 88 (2000)
12. Demongodin I., and Koussoulas N.T. Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Transactions on Automatic Control 43 4 (1998)
13. Demongodin I., and Koussoulas N.T. Differential Petri net models in industrial automation and supervisory control. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications 36 4 (2006) 543-553
14. Feng G. Stability analysis of piecewise discrete-time linear systems. IEEE Transactions on Automatic Control 47 7 (2002)
15. Gahinet P., Nemirovski A., Laub A.J., and Chilali M. LMI Control Toolbox for Use with Matlab (2000), The Mathworks Inc.
16. S. Hedlund, Computational methods for hybrid systems, Lic. Thesis, Lund Institute of Technology, Sweden, 1999.
17. M. Johansson, Piecewise linear control systems, Ph.D. Thesis, Lund Institute of Technology, Sweden, 1999.
18. Johansson M. Piecewise Linear Control Systems: A Computational Approach (2003), Springer-Verlag
19. Liberzon D., and Morse A.S. Basic problems in stability and design of switched systems. IEEE Control Systems Magazine 19 5 (1999)
20. S. Pettersson, Analysis and design of hybrid systems. Ph.D. thesis, Chalmers Univ. of Technology, Sweden, 1999.
21. S. Pettersson, B. Lennartson, Stability and Robustness for Hybrid Systems. in: Proceedings of the 35th IEEE Conf. on Decision and Control. Kobe, Japan, 1996.
22. Pettersson S., and Lennartson B. Hybrid system stability and robustness verification using linear matrix inequalities. International Journal of Control 75 16/17 (2002) 1335-1355
23. Ye H., Michel A.N., and Hou L. Stability Theory for Hybrid Dynamical Systems. IEEE Transactions on Automatic Control 43 4 (1998)