One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …

A new technique for computing the reachable set of hybrid systems with nonlinear
continuous dynamics is presented. Previous work showed that abstracting the nonlinear …

We introduce sparse polynomial zonotopes, a new set representation for formal verification
of hybrid systems. Sparse polynomial zonotopes can represent nonconvex sets and are …

This work is concerned with the algorithmic reachability analysis of continuous-time linear
systems with constrained initial states and inputs. We propose an approach for computing …

This paper presents new methods for set-valued state estimation of nonlinear discrete-time
systems with unknown-but-bounded uncertainties. A single time step involves propagating …

Ellipsoids are a common representation for reachability analysis, because they can be
transformed efficiently under affine maps, and they allow conservative approximation of …

Safety is of paramount importance in automated driving. One of the main challenges
ensuring safety is the unknown future behavior of surrounding traffic participants. Previous …

The philosophy, architecture, and capabilities of the COntinuous Reachability Analyzer
(CORA) are presented. CORA is a toolbox that integrates various vector and matrix set …

Control systems can be subject to outside inputs, environmental effects, disturbances, and
sensor/actuator inaccuracy. To model such systems, linear differential equations with …

We introduce zonotope bundles for computing the set of states reachable by a dynamical
system, also known as the reachable set. Reachable set computations suffer from the curse …