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

Authors:
Alberto Bemporad;Stefano Di Cairano;Jorge Júlvez
Affiliations:
Dip. Ingegneria dell'Informazione, Universitá di Siena, Italy;Dip. Ingegneria dell'Informazione, Universitá di Siena, Italy;Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza
Venue:
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Year:
2006

Citing 5
Cited 1

Hybrid Controllers for Hierarchically Decomposed Systems

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the optimal control of hybrid systems: optimization of trajectories, switching times, and location schedules

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Results and perspectives on computational methods for optimal control of switched systems

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Control of systems integrating logic, dynamics, and constraints

Automatica (Journal of IFAC)

Brief paper: Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.