Set-based reachability and the explicit solution of linear MPC using hybrid zonotopes

TJ Bird, N Jain, HC Pangborn… - 2022 American Control …, 2022 - ieeexplore.ieee.org
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 …

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 …

Revisiting reachability-driven explicit MPC for embedded control

J Holaza, P Bakaráč, J Oravec - European Journal of Control, 2024 - Elsevier
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 …

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 …