Picture for Yejiang Yang

Yejiang Yang

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

Add code
Nov 15, 2024
Figure 1 for Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
Figure 2 for Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
Figure 3 for Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
Figure 4 for Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
Viaarxiv icon

A Transition System Abstraction Framework for Neural Network Dynamical System Models

Add code
Feb 18, 2024
Viaarxiv icon

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation

Add code
Feb 18, 2024
Viaarxiv icon

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems

Add code
Apr 26, 2023
Viaarxiv icon

Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method

Add code
Jul 27, 2021
Figure 1 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 2 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 3 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 4 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Viaarxiv icon