Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

Edward Kim, Stanley Bak, Parasara Sridhar Duggirala

Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for disc…