Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference.

Zeyuan Jin Nasim Baharisangari Zhe Xu Sze Zheng Yong

Published in: CoRR (2023)

Keyphrases

temporal logic
data driven
nonlinear systems
verification method
pattern recognition
experimental data
artificial intelligence
mathematical model
learning algorithm
dynamic programming
input output