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...
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Journal article |
| منشور في: |
Elsevier
2017
|