Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.
Zeyuan JinMohammad KhajenejadSze Zheng YongPublished in: ACC (2020)
Keyphrases
- data driven
- high level
- management system
- experimental data
- distributed systems
- statistical model
- computational models
- computational model
- real time
- probabilistic model
- cost function
- similarity measure
- trust model
- em algorithm
- formal model
- conceptual model
- model driven
- mathematical model
- theoretical framework
- computer systems
- decision trees
- web services