Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method. - Yejiang Yang; Weiming Xiang 001 (CDC, 2021)

Guaranteed approximation error estimation of neural networks and model modification. - Yejiang Yang; Tao Wang 023; Jefferson P. Woolard; Weiming Xiang 001 (Neural Networks, 2022)

Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach. - Yejiang Yang; Weiming Xiang 001 (ACC, 2023)

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (ICIT, 2023)

Computationally efficient neural hybrid automaton framework for learning complex dynamics. - Tao Wang 023; Yejiang Yang; Weiming Xiang 001 (Neurocomputing, 2023)

D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (ADHS, 2024)

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation. - Zihao Mo; Yejiang Yang; Shuaizheng Lu; Weiming Xiang 001 (ACC, 2024)

A Transition System Abstraction Framework for Neural Network Dynamical System Models. - Yejiang Yang; Zihao Mo; Hoang-Dung Tran; Weiming Xiang 001 (ACC, 2024)

Discrepancy-Based Knowledge Distillation for Image Classification Restoration. - Zihao Mo; Yejiang Yang; Weiming Xiang 001 (ICMLA, 2024)

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (CoRR, 2024)

Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification. - Yejiang Yang; Tao Wang 023; Weiming Xiang 001 (Neural Networks, 2025)

A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems. - Yejiang Yang; Tao Wang 023; Weiming Xiang 001 (IEEE Trans. Neural Networks Learn. Syst., 2025)