Set-based reachability and the explicit solution of linear MPC using hybrid zonotopes
This paper presents a closed-form solution to the exact reachable sets of closed-loop
systems under linear model predictive control (MPC) using the hybrid zonotope, a new …
systems under linear model predictive control (MPC) using the hybrid zonotope, a new …
Hybrid zonotopes: A mixed-integer set representation for the analysis of hybrid systems
TJ Bird - 2022 - search.proquest.com
Set-based methods have been leveraged in many engineering applications from robust
control and global optimization, to probabilistic planning and estimation. While useful, these …
control and global optimization, to probabilistic planning and estimation. While useful, these …
Revisiting reachability-driven explicit MPC for embedded control
The real-time implementation of the explicit MPC suffers from the evaluation of the,
potentially large, lookup table. The paper revisits the original approach and presents an …
potentially large, lookup table. The paper revisits the original approach and presents an …
Formal Design and Verification of Digital PID Gain Scheduling Controllers
PA Ordóñez Aguileta - 2018 - etheses.whiterose.ac.uk
The verification process of embedded systems is fundamental for their correct development.
Embedded control is a popular choice among the engineering community, making the …
Embedded control is a popular choice among the engineering community, making the …