Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems

Yejiang Yang,Zihao Mo,Weiming Xiang
2024-11-15
Abstract:This paper proposes a neural network hybrid modeling framework for dynamics learning to promote an interpretable, computationally efficient way of dynamics learning and system identification. First, a low-level model will be trained to learn the system dynamics, which utilizes multiple simple neural networks to approximate the local dynamics generated from data-driven partitions. Then, based on the low-level model, a high-level model will be trained to abstract the low-level neural hybrid system model into a transition system that allows Computational Tree Logic Verification to promote the model's ability with human interaction and verification efficiency.
Systems and Control,Machine Learning
What problem does this paper attempt to address?