Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.

Zeyuan Jin Mohammad Khajenejad Sze Zheng Yong

Published 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