Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala +2

Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often…