TY - GEN
T1 - ZonoLAB
T2 - 2024 American Control Conference, ACC 2024
AU - Koeln, Justin
AU - Bird, Trevor J.
AU - Siefert, Jacob
AU - Ruths, Justin
AU - Pangborn, Herschel C.
AU - Jain, Neera
N1 - Publisher Copyright:
© 2024 AACC.
PY - 2024
Y1 - 2024
N2 - This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expressive set representation that can exactly represent the reachable sets of mixed-logical dynamical systems and tightly approximate the reachable sets of nonlinear dynamic systems. Moreover, hybrid zonotopes can exactly represent the continuous piecewise linear control laws associated with model predictive control and the input-output mappings of neural networks with piecewise linear activation functions. The hybrid zonotope set representation is also highly exploitable, where efficient methods developed for mixed-integer linear programming can be directly used for set operation and analysis. The zonoLAB toolbox is designed to make these capabilities accessible to the dynamic systems and controls community, with functionality spanning fundamental operations with hybrid zonotope, constrained zonotope, and zonotope set representations, powerful set analysis tools, and general-purpose algorithms for reachability analysis of open- and closed-loop systems.
AB - This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expressive set representation that can exactly represent the reachable sets of mixed-logical dynamical systems and tightly approximate the reachable sets of nonlinear dynamic systems. Moreover, hybrid zonotopes can exactly represent the continuous piecewise linear control laws associated with model predictive control and the input-output mappings of neural networks with piecewise linear activation functions. The hybrid zonotope set representation is also highly exploitable, where efficient methods developed for mixed-integer linear programming can be directly used for set operation and analysis. The zonoLAB toolbox is designed to make these capabilities accessible to the dynamic systems and controls community, with functionality spanning fundamental operations with hybrid zonotope, constrained zonotope, and zonotope set representations, powerful set analysis tools, and general-purpose algorithms for reachability analysis of open- and closed-loop systems.
UR - http://www.scopus.com/inward/record.url?scp=85204492721&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85204492721&partnerID=8YFLogxK
U2 - 10.23919/ACC60939.2024.10644425
DO - 10.23919/ACC60939.2024.10644425
M3 - Conference contribution
AN - SCOPUS:85204492721
T3 - Proceedings of the American Control Conference
SP - 2513
EP - 2520
BT - 2024 American Control Conference, ACC 2024
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 10 July 2024 through 12 July 2024
ER -