Xiang, Weiming

1. NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems
   2020/04/11 by Hoang-Dung Tran, Xiaodong Yang, Tran, Hoang-Dung +13 · 9 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Verification of Deep Convolutional Neural Networks Using ImageStars
   2020/04/12 by Tran, Hoang-Dung, Bak, Stanley, Xiang, Weiming +1 · 7 citations
   #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
   2017/08/09 by Weiming Xiang, Xiang, Weiming, Hoang-Dung Tran +3 · 4 citations
   Computer Science · Engineering · #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
4. Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
   2020/04/26 by Weiming Xiang, Hoang-Dung Tran, Xiang, Weiming +5 · 4 citations
   Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
5. Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
   2017/12/21 by Xiang, Weiming, Tran, Hoang-Dung, Johnson, Taylor T. · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
6. Reachability Analysis and Safety Verification for Neural Network Control Systems
   2018/05/25 by Weiming Xiang, Xiang, Weiming, Taylor T. Johnson +1 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
7. Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
   2022/02/02 by Xiang, Weiming, Shao, Zhongzhu · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
   2023/01/17 by Weiming Xiang, Zhongzhu Shao, Xiang, Weiming +1 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Fuel Cells and Related Materials #Machine Learning (cs.LG)
9. A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems
   2023/04/26 by Yejiang Yang, Zihao Mo, Yang, Yejiang +3 · 1 citation
   Engineering · Physics and Astronomy · #Advanced Control Systems Optimization #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation
    2023/10/26 by Hanwen Zhang, Zhang, Hanwen, Haijian Sun +7 · 1 citation
    Engineering · #Advanced MIMO Systems Optimization #Advanced Wireless Communication Techniques #Antenna Design and Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Information Theory (cs.IT) #Signal Processing (eess.SP) #electronic engineering #information engineering
11. Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
    2018/02/20 by Weiming Xiang, Hoang-Dung Tran, Xiang, Weiming +5 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Fault Detection and Control Systems #Control Systems and Identification
12. Data-Driven Decentralized Control Design for Discrete-Time Large-Scale Systems
    2024/11/15 by Jiaping Liao, Liao, Jiaping, Shuaizheng Lu +5 · 1 citation
    Engineering · #Advanced Control Systems Optimization