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. 
UR  - http://www.springerlink.com/content/x7u822n006t210g9/
TI  - Event-based model predictive control and verification of integral continuous-time hybrid automata
ID  - eprints498
AV  - none
A1  - Bemporad, Alberto
A1  - Di Cairano, Stefano
A1  - Júlvez, Jorge
T2  - Hybrid Systems: Computation and Control
SP  - 93
Y1  - 2006///
PB  - Springer-Verlag
EP  - 107
SN  -     978-3-540-33170-4
ER  -