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...
| Principais autores: | , , |
|---|---|
| Formato: | Journal article |
| Publicado em: |
Elsevier
2017
|