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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/11730637_10 |
| Subjects: | T Technology > TJ Mechanical engineering and machinery |
| Research Area: | Computer Science and Applications |
| Depositing User: | Professor Alberto Bemporad |
| Date Deposited: | 27 Jul 2011 08:43 |
| Last Modified: | 04 Aug 2011 07:29 |
| URI: | http://eprints.imtlucca.it/id/eprint/498 |
Actions (login required)
 |
Edit Item |
