Showing eess.SYShow all
3 papers · 1 filter
eess.SY2024
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
Tao Wang, Yapeng Li, Zihao Mo +2
The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed co…
eess.SY2024
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
Yejiang Yang, Zihao Mo, Weiming Xiang
This paper proposes a neural network hybrid modeling framework for dynamics learning to promote an interpretable, computationally efficient way of dynamics learning and system iden…
eess.SY2024
A Transition System Abstraction Framework for Neural Network Dynamical System Models
Yejiang Yang, Zihao Mo, Hoang-Dung Tran +1
This paper proposes a transition system abstraction framework for neural network dynamical system models to enhance the model interpretability, with applications to complex dynamic…