eprintid: 2252 rev_number: 9 eprint_status: archive userid: 6 dir: disk0/00/00/22/52 datestamp: 2014-07-08 13:48:09 lastmod: 2014-07-08 13:48:09 status_changed: 2014-07-08 13:48:09 type: monograph metadata_visibility: show creators_name: Lazar, Mircea creators_name: Heemels, W.P.M.H. creators_name: Weiland, Siep creators_name: Bemporad, Alberto creators_id: creators_id: creators_id: creators_id: alberto.bemporad@imtlucca.it title: Non-smooth model predictive control: stability and applications to hybrid systems ispublished: unpub subjects: TL divisions: CSA full_text_status: public monograph_type: technical_report keywords: Hybrid systems, Piecewise Affine systems, Model Predictive Control, Lyapunov stability abstract: In this report we investigate the stability of hybrid systems in closed-loop with Model Predictive Controllers (MPC) and we derive a priori sufficient conditions for Lyapunov asymptotic stability and exponential stability. A general theory is presented which proves that Lyapunov stability is achieved for both terminal cost and constraint set and terminal equality constraint hybrid MPC, even though the considered Lyapunov function and the system dynamics may be discontinuous. For particular choices of MPC criteria and constrained Piecewise Affine (PWA) systems as the prediction models we develop novel algorithms for computing the terminal cost and the terminal constraint set. For a quadratic MPC cost, the stabilization conditions translate into a linear matrix inequality while, for an ∞-norm based MPC cost, they are obtained as ∞-norm inequalities. It is shown that by using ∞-norms, the terminal constraint set is automatically obtained as a polyhedron or a finite union of polyhedra by taking a sublevel set of the calculated terminal cost function. New algorithms are developed for calculating polyhedral or piecewise polyhedral positively invariant sets for PWA systems. In this manner, the on-line optimization problem leads to a mixed integer quadratic programming problem or to a mixed integer linear programming problem, which can be solved by standard optimization tools. Several examples illustrate the effectiveness of the developed methodology. date: 2005-09 date_type: published number: publisher: University of Technology, Eindhoven pages: 40 institution: IMT Institute for Advanced Studies Lucca citation: Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Non-smooth model predictive control: stability and applications to hybrid systems. Technical Report # /2005 University of Technology, Eindhoven (Unpublished) document_url: http://eprints.imtlucca.it/2252/1/TR_Bemporad_2005_Eindoven.pdf