Picture for Zihao Mo

Zihao Mo

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

Guaranteed Quantization Error Computation for Neural Network Model Compression

Add code
Apr 26, 2023
Viaarxiv icon

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

Add code
Apr 26, 2023
Viaarxiv icon