2 papers
eess.SY2024
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
Tao Wang, Yapeng Li, Zihao Mo +2
The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed co…
cs.LG2023
Guaranteed Quantization Error Computation for Neural Network Model Compression
Wesley Cooke, Zihao Mo, Weiming Xiang
Neural network model compression techniques can address the computation issue of deep neural networks on embedded devices in industrial systems. The guaranteed output error computa…