Locally optimal reach set over-approximation for nonlinear systems

EMSOFT, pp. 6:1-6:10, 2016.

Cited by: 22|Bibtex|Views6|Links
EI

Abstract:

Safety verification of embedded systems modeled as hybrid systems can be scaled up by employing simulation-guided reach set over-approximation techniques. Existing methods are either applicable to only restricted classes of systems, overly conservative, or computationally expensive. We present new techniques to compute a locally optimal b...More

Code:

Data:

Your rating :
0

 

Tags
Comments