relation: http://eprints.imtlucca.it/498/
title: Event-based model predictive control and verification of integral continuous-time hybrid automata
creator: Bemporad, Alberto
creator: Di Cairano, Stefano
creator: Júlvez, Jorge
subject: TJ Mechanical engineering and machinery
description: 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. 
publisher: Springer-Verlag
date: 2006
type: Book Section
type: PeerReviewed
identifier:   Bemporad, Alberto and Di Cairano, Stefano and Júlvez, Jorge  Event-based model predictive control and verification of integral continuous-time hybrid automata.   In:  Hybrid Systems: Computation and Control.   Springer-Verlag, pp. 93-107.  ISBN  978-3-540-33170-4      (2006)  
relation: http://www.springerlink.com/content/x7u822n006t210g9/
relation: 10.1007/11730637_10