AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Weiming Xiang

Weiming Xiang

Augusta University - Augusta / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 834178
-
person_outline Weiming Xiang's MOST POPULAR ARTICLES
1-) Stabilization of switched continuous-time systems with all modes unstable via dwell time switching Automatica 50 (3), 940-945, 2014
2-) NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems International conference on computer aided verification, 3-17, 2020
3-) Output reachable set estimation and verification for multilayer neural networks IEEE transactions on neural networks and learning systems 29 (11), 5777-5783, 2018
4-) Star-based reachability analysis of deep neural networks International symposium on formal methods, 670-686, 2019
5-) Stability analysis and L1-gain characterization for switched positive systems under dwell-time constraint Automatica 85, 1-8, 2017