Weiming Xiang
- NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems
2020/04/11 by Hoang-Dung Tran, Tran, Hoang-Dung, Xiaodong Yang +13 · 13 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
- Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
2017/08/09 by Weiming Xiang, Hoang-Dung Tran, Xiang, Weiming +3 · 5 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)
- Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
2020/04/26 by Weiming Xiang, Xiang, Weiming, Hoang-Dung Tran +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
- 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
- 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)
- 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
- 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
- Verification for Machine Learning, Autonomy, and Neural Networks Survey
2018/10/03 by Weiming Xiang, Xiang, Weiming, Patrick Musau +13 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning and Algorithms
- 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 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Fault Detection and Control Systems #Control Systems and Identification
- Data-Driven Decentralized Control Design for Discrete-Time Large-Scale Systems
2024/11/15 by Jiaping Liao, Shuaizheng Lu, Liao, Jiaping +5 · 1 citation
Engineering · #Advanced Control Systems Optimization