91 citations · 280 across the 22 of their papers we have counts for
4 papers · 1 filter
Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation
Hanwen Zhang, Haijian Sun, Tianyi He +2
This paper investigates robust beamforming for system-centric energy efficiency (EE) optimization in the vehicular integrated sensing and communication (ISAC) system, where the mob…
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…
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems
Yejiang Yang, Zihao Mo, Weiming Xiang
In this paper, a computationally efficient data-driven hybrid automaton model is proposed to capture unknown complex dynamical system behaviors using multiple neural networks. The…
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
Weiming Xiang, Zhongzhu Shao
This paper aims to enhance the computational efficiency of safety verification of neural network control systems by developing a guaranteed neural network model reduction method. F…