Abstract

Bemporad and Morari (1999) provided a tool for obtaining the explicit solution of constrained model predictive control (MPG) problems by showing that the control law is a continuous piecewise affine (PWA) function of the state vector. Therefore, the feedback interconnection between the MPC controller and a linear system, or a PWA system (e.g., a PWA approximation of a nonlinear system), is a PWA system. For discrete-time PWA and hybrid systems, the present authors (2000) presented an algorithm for verification/reachability analysis. In this paper, we formulate the performance analysis problem of closed-loop PWA systems (including MPC feedback loops where the prediction model and the plant model could be different) as a reachability analysis problem, and use our algorithm to obtain a tool for characterizing (i) the set of states for which the evolution is feasible, (ii) the domain of stability, (iii) the performance of the closed-loop.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.