TY  - CHAP
N2  - This paper proposes an event-driven model predictive control scheme with guaranteed closed-loop convergence properties for the class of integral continuous-time hybrid automata (icHA). After converting icHA to a corresponding event-driven representation that allows one to compute the model predictive control action by mixed integer programming, sufficient conditions ensuring event-asymptotic and time-asymptotic convergence are proven. The paper also shows how the same modeling methodology can be employed to efficiently solve problems of verification of safety properties. 
TI  - Event-based model predictive control and verification of integral continuous-time hybrid automata
SP  - 93
EP  - 107
ID  - eprints498
SN  -     978-3-540-33170-4
AV  - none
T2  - Hybrid Systems: Computation and Control
PB  - Springer-Verlag
Y1  - 2006///
A1  - Bemporad, Alberto
A1  - Di Cairano, Stefano
A1  - Júlvez, Jorge
UR  - http://www.springerlink.com/content/x7u822n006t210g9/
ER  -