  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.
