Yejiang Yang

16 papers C 4Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems.
IEEE Trans. Neural Networks Learn. Syst.
Yejiang Yang, Tao Wang, Weiming Xiang
2025 J jnl
Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification.
Neural Networks
Yejiang Yang, Tao Wang, Weiming Xiang
2024 C conf
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
ACC
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 J jnl
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
CoRR
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 C conf
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
ACC
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 J jnl
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
CoRR
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 — conf
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction.
ADHS
Yejiang Yang, Zihao Mo, Weiming Xiang
2024 C conf
Discrepancy-Based Knowledge Distillation for Image Classification Restoration.
ICMLA
Zihao Mo, Yejiang Yang, Weiming Xiang
2024 J jnl
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 — conf
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
ICIT
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 J jnl
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 J jnl
Computationally efficient neural hybrid automaton framework for learning complex dynamics.
Neurocomputing
Tao Wang, Yejiang Yang, Weiming Xiang
2023 C conf
Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach.
ACC
Yejiang Yang, Weiming Xiang
2022 J jnl
Guaranteed approximation error estimation of neural networks and model modification.
Neural Networks
Yejiang Yang, Tao Wang, Jefferson P. Woolard, Weiming Xiang
2021 — conf
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.
CDC
Yejiang Yang, Weiming Xiang
2021 J jnl
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.
CoRR
Yejiang Yang, Weiming Xiang