Data-driven estimation of forward reachable sets
Alex Devonport, Murat Arcak · 2021
The computation of reachable sets is an effective way to characterize and verify the behavior of safety-critical cyber-physical systems. However, many systems of practical interest possess high-dimensional, analytically intractable, and possibly unknown dynamics, which make the computation of safe sets with formal guarantees difficult or impossible. In these cases we can employ a data-driven approach to reachability analysis instead. The data-driven approach uses a finite ensemble of sample trajectories to compute reachable set estimates which are guaranteed to achieve high accuracy in a probabilistic sense.