Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.

Autor: Hespanha, João, Tiwari, Ashish, Bemporad, Alberto, Cairano, Stefano, Júlvez, Jorge
Zdroj: Hybrid Systems: Computation & Control (9783540331704); 2006, p93-107, 15p
Abstrakt: 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. [ABSTRACT FROM AUTHOR]
Databáze: Supplemental Index