Simulation-Driven Reachability Using Matrix Measures
ACM Trans. Embedded Comput. Syst., Volume 17, Issue 1, 2018, Pages 21:1-21:28.
Discrepancy function Embedded System Matrix measures Nonlinear System Reachability
Simulation-driven verification can provide formal safety guarantees for otherwise intractable nonlinear and hybrid system models. A key step in simulation-driven algorithms is to compute the reach set overapproximations from a set of initial states through numerical simulations and sensitivity analysis. This article addresses this problem...More
Full Text (Upload PDF)
PPT (Upload PPT)