Data-driven and model-based verification via Bayesian identification and reachability analysis
This work develops a measurement-driven and model-based formal verification approach, applicable to dynamical systems with partly unknown dynamics. We provide a new principled method, grounded on Bayesian inference and on reachability analysis respectively, to compute the confidence that a physical...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|