eprintid: 498
rev_number: 7
eprint_status: archive
userid: 7
dir: disk0/00/00/04/98
datestamp: 2011-07-27 08:43:50
lastmod: 2011-08-04 07:29:07
status_changed: 2011-07-27 08:43:50
type: book_section
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_name: Di Cairano, Stefano
creators_name: Júlvez, Jorge
title: Event-based model predictive control and verification of integral continuous-time hybrid automata
ispublished: pub
subjects: TJ
divisions: CSA
full_text_status: none
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. 
date: 2006
date_type: published
publication: Hybrid Systems: Computation and Control
publisher: Springer-Verlag
pagerange: 93-107
id_number: 10.1007/11730637_10
refereed: TRUE
isbn:     978-3-540-33170-4
book_title: Hybrid Systems: Computation and Control
official_url: http://www.springerlink.com/content/x7u822n006t210g9/
citation:   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)