Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.
Zeyuan JinMohammad KhajenejadSze Zheng YongPublished in: CoRR (2020)
Keyphrases
- data driven
- mathematical model
- computational model
- statistical model
- management system
- formal model
- neural network
- experimental data
- theoretical analysis
- parameter estimation
- knowledge based systems
- theoretical framework
- computer systems
- intelligent systems
- cost function
- neural network model
- computational models
- simulation model
- database