Guaranteed Quantization Error Computation for Neural Network Model Compression. - Wesley Cooke; Zihao Mo; Weiming Xiang 001 (ICIT, 2023)

Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach. - Tao Wang 023; Yapeng Li; Zihao Mo; Wesley Cooke; Weiming Xiang 001 (Int. J. Control, 2024)