Event-based model predictive control and verification of integral continuous-time hybrid automata

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

Volumn 3927 LNCS, Issue , 2006, Pages 93-107

  Bemporad, Alberto ^a   Di Cairano, Stefano ^a   Júlvez, Jorge ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-DRIVEN MODEL; HYBRID AUTOMATA; INTEGRAL CONTINUOUS-TIME HYBRID AUTOMATA (ICHA);

AUTOMATA THEORY; COMPUTATION THEORY; COMPUTER SIMULATION; CONVERGENCE OF NUMERICAL METHODS; INTEGER PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING;

PREDICTIVE CONTROL SYSTEMS;

EID: 33745774592     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_10     Document Type: Conference Paper

References (15)

1. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey (1996) 278-292
2. Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Tr. Automatic Control 48 (2003) 2-17
3. Gokbayrak, K., Cassandras, C.: Hybrid controllers for hierarchically decomposed systems. In Krogh, B., Lynch, N., eds.: Hybrid Systems: Computation and Control. Springer-Verlag (2000) 117-129
4. Shaikh, M.S., Caines, P.E.: On the optimal control of hybrid systems: Optimization of trajectories, switching times, and location schedules. In: Hybrid Systems: Computation and Control, Springer-Verlag (2003) 466-481
5. Xu, X., Antsaklis, P.J.: Results and perspectives on computational methods for optimal control of switched systems. In: Hybrid Systems: Computation and Control, Springer-Verlag (2003) 540-555
6. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35(3) (1999) 407-427
7. Bemporad, A., Di Cairano, S., Júlvez, J.: Event-driven optimal control of integral continuous-time hybrid automata. In: Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain (2005) 1409-1414
8. Maciejowski, J.: Predictive control with constraints. Englewood Cliffs, NJ: Prentice Hall. (2002)
9. Qin, S., Badgwell, T.: A survey of industrial model predictive control technology. Control Engineering Practice 11 (2003) 733-764
10. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. Int. J. on Software Tools for Technology Transfer 1(1-2) (1997) 110-122
11. Torrisi, F.D., Bemporad, A.: HYSDEL - A tool for generating computational hybrid models. IEEE Tr. Contr. Systems Technology 12(2) (2004) 235-249
12. Bemporad, A.: Efficient conversion of mixed logical dynamical systems into equivalent piecewise affine form. IEEE Tr. Automatic Control 49(5) (2004) 832-838
13. Lazar, M., Heemels, W., Weiland, S., Bemporad, A.: Stability of hybrid model predictive control. In: Proc. of Int. Workshop on Assessment and Future Directions of NMPC, Germany (2005)
14. Lazar, M., Heemels, W., Weiland, S., Bemporad, A.: Stability of hybrid model predictive control. In: Proc. 43th IEEE Conf. on Decision and Control, Paradise Island, Bahamas (2004) 4595-4560
15. Ferrari-Trecate, G., Cuzzola, F.A., Morari, M.: Lagrange stability and performance analysis of discrete-time piecewise affine systems with logic states. Int. J. Control 76(16) (2003) 1585-1598