Simulation-Driven Reachability Using Matrix Measures

ACM Trans. Embedded Comput. Syst., Volume 17, Issue 1, 2018, Pages 21:1-21:28.

Cited by: 5|Bibtex|Views7|Links
EI
Keywords:
Discrepancy function Embedded System Matrix measures Nonlinear System Reachability

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments