An equivalence result between linear hybrid automata and piecewise affine systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 2631-2636

  Di Cairano, Stefano ^a   Bemporad, Alberto ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SCIENCE; COMPUTER SIMULATION; OPTIMAL CONTROL SYSTEMS;

HYBRID SYSTEMS; LINEAR HYBRID AUTOMATA (LHA); PIECEWISE AFFINE (PWA);

DISCRETE TIME CONTROL SYSTEMS;

EID: 39649098440     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377408     Document Type: Conference Paper

References (17)

1. E. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Automatic Control, vol. 26, no. 2, pp. 346-358, April 1981.
2. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, no. 3, pp. 407-427, 1999.
3. W. Heemels, B. de Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol. 37, no. 7, pp. 1085-1091, July 2001.
4. T. Henzinger, "The theory of hybrid automata," in Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS '96), New Brunswick, New Jersey, 1996, pp. 278-292.
5. J. Lygeros, K. Johansson, S. Simic, J. Zhang, and S. Sastry, "Dynamical properties of hybrid automata," IEEE Trans. Automatic Control, vol. 48, pp. 2-17, Jan. 2003.
6. T. Henzinger, P. Ho, and H. Wong-Toi, "HyTech: A model checker for hybrid systems," International Journal on Software Tools for Technology Transfer, vol. 1, no. 1-2, pp. 110-122, 1997.
7. R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183-235, 1994.
8. T. Henzinger, P. Ho, and H. Wong-Toi, "A user guide to HyTech," in Tools and Algorithms for Construction and Analysis of Systems, 1995, pp. 41-71.
9. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, Y. Wang, and C. Weise, "New Generation of UPPAAL," in Int. Workshop on Software Tools for Technology Transfer, June 1998.
10. M. Johannson and A. Rantzer, "Computation of piece-wise quadratic Lyapunov functions for hybrid systems," IEEE Trans. Automatic Control, vol. 43, no. 4, pp. 555-559, 1998.
11. A. Juloski, W. Heemels, G. Ferrari-Trecate, R. Vidal, S. Paoletti, and J. Niessen, "Comparison of four procedures for the identification of hybrid systems." in Hybrid Systems: Computation and Control, 2005, pp. 354-369.
12. E. Asarin, O. Bournez, T. Dang, and O. Maler, "Reachability analysis of piecewise-linear dynamical systems," in Hybrid Systems: Computation and Control. Springer-Verlag, 2000, pp. 20-31.
13. R. Alur, C. Courcoubetis, T. Henzinger, and R-H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems. Springer-Verlag, 1993, pp. 209-229.
14. A. Bemporad, "Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form," IEEE Trans. Automatic Control, vol. 49, no. 5, pp. 832-838, 2004.
15. F. Torrisi and A. Bemporad, "HYSDEL - A tool for generating computational hybrid models," IEEE Trans. Contr. Systems Technology, vol. 12, no. 2, pp. 235-249, Mar. 2004.
16. A. Bemporad, S. Di Cairano, and J. Júlvez, "Event-driven optimal control of integral continuous-time hybrid automata," in Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain, 2005, pp. 1409-1414.
17. _, "Event-based model predictive control and verification of integral continuous-time hybrid automata," in Hybrid Systems: Computation and Control. Springer-Verlag, 2006, pp. 93-107.