Zihao Mo

Inf. Sci., 2024

Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach.

[BibT_eX]

[DOI]

Int. J. Control, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

Discrepancy-Based Knowledge Distillation for Image Classification Restoration.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Applications, 2024

Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Applications, 2024

A Transition System Abstraction Framework for Neural Network Dynamical System Models.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2023

Guaranteed Quantization Error Computation for Neural Network Model Compression.

[BibT_eX]

[DOI]

Wesley Cooke