Equivalent piecewise affine models of linear hybrid automata

IEEE Transactions on Automatic Control

Volumn 55, Issue 2, 2010, Pages 498-502

  Di Cairano, Stefano ^a,b   Bemporad, Alberto ^a  

^a UNIVERSITY OF SIENA   (Italy)

^b FORD MOTOR COMPANY   (United States)

Author keywords

Hybrid systems modeling; Linear hybrid automata (LHA); Model equivalence; Piecewise Affine systems (PWA)

Indexed keywords

CONTINUOUS TIME; DETERMINISTIC MODELS; DISCRETE STATE; FILLING IN; INPUT DISTURBANCE; LINEAR HYBRID AUTOMATA; MODEL EQUIVALENCES; MODELLING FRAMEWORK; PIECEWISE AFFINE MODELS; PIECEWISE AFFINE SYSTEMS; PIECEWISE AFFINE SYSTEMS (PWA); TECHNICAL NOTES;

ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; ROBOTS; TRANSLATION (LANGUAGES);

CONTINUOUS TIME SYSTEMS;

EID: 76949104284     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2009.2037463     Document Type: Article

References (16)

1. T. Henzinger, "The theory of hybrid automata," in Proc. 11th Annu. IEEE Symp. Logic Comp. Sci. (LICS'96), New Brunswick, NJ, 1996, pp. 278-292.
2. J. Lygeros, K. Johansson, S. Simic, J. Zhang, and S. Sastry, "Dynamical properties of hybrid automata," IEEE Trans. Autom. Control, vol.48, no.1, pp. 2-17, Jan. 2003.
3. T. Henzinger, P. Ho, and H.Wong-Toi, "HyTech: A model checker for hybrid systems," Int. J. Software Tools Technol. Transfer, vol.1, no.1-2, pp. 110-122, 1997.
4. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, Y.Wang, and C. Weise, "New generation of UPPAAL," in Int. Workshop Software Tools Technol. Transfer, June 1998, pp. 1-9.
5. E. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Autom. Control, vol.AC-26, no.2, pp. 346-358, Apr. 1981.
6. W. Heemels, B. de Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol.37, no.7, pp. 1085-1091, Jul. 2001.
7. M. Johansson and A. Rantzer, "Computation of piece-wise quadratic Lyapunov functions for hybrid systems," IEEE Trans. Autom. Control, vol.43, no.4, pp. 555-559, Apr. 1998.
8. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol.35, no.3, pp. 407-427, 1999.
9. L. Habets, P. Collins, and J. Van Schuppen, "Reachability and control synthesis for piecewise-affine hybrid systems on simplices," IEEE Trans. Autom. Control, vol.51, no.6, pp. 938-948, Jun. 2006.
10. A. Bemporad, "Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form," IEEE Trans. Autom. Control, vol.49, no.5, pp. 832-838, May 2004.
11. A. Bemporad, S. Di Cairano, and J. Júlvez, "Event-based model predictive control and verification of integral continuous-time hybrid automata," in Hybrid Systems: Computation and Control. New York: Springer-Verlag, 2006, pp. 93-107.
12. S. D. Cairano, A. Bemporad, and J. Júlvez, "Event-driven optimization- based control of hybrid systems with integral continuous-time dynamics," Automatica, vol.45, pp. 1243-1251, 2009.
13. A. Bemporad and N. Giorgetti, "Logic-based solution methods for optimal control of hybrid systems," IEEE Trans. Autom. Control, vol.51, no.6, pp. 963-976, Jun. 2006.
14. R. Alur, C. Courcoubetis, T. Henzinger, and P. H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems. Berlin, Germany: Springer, 1993, pp. 209-229.
15. D. van Beek, A. Pogromsky, H. Nijmeijer, and J. Rhooda, "Convex equations and differential inclusions in hybrid systems," in Proc. 43th IEEE Conf. Decision Control, 2004, pp. 1424-1429.
16. S. Di Cairano, "Model Predictive Control of Hybrid Dynamical Systems: Stabilization, Event-Driven, and Stochastic Control" Ph.D. dissertation, Dip. Ing. Informazione, Universita' di Siena, Siena, Italy, 2008 [Online]. Available: http://phd.dii.unisi.it/people/tesi/172-stefano- dicairano.pdf