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...
| Hlavní autoři: | , , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
Elsevier
2017
|