Weiming Xiang

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 72

Top Topics

Quantization Error

Reachability Analysis

Top Venues

J. Frankl. Inst.

Publications

Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
A Transition System Abstraction Framework for Neural Network Dynamical System Models. CoRR (2024)
Weiming Xiang, Yu Liu, Yiwei Zhou, Yu Wu
Directional Sound-Capture System With Acoustic Array Based on FPGA. IEEE Trans. Instrum. Meas. 73 (2024)
Lang Xie, Zhaojie Li, Yiwei Zhou, Weiming Xiang, Yu Wu, Yunjiang Rao
Railway Track Online Detection Based on Optical Fiber Distributed Large-Range Acoustic Sensing. IEEE Internet Things J. 11 (4) (2024)
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation. CoRR (2024)
Yejiang Yang, Zihao Mo, Weiming Xiang
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems. ICIT (2023)
Yejiang Yang, Zihao Mo, Weiming Xiang
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems. CoRR (2023)
Tao Wang, Yejiang Yang, Weiming Xiang
Computationally efficient neural hybrid automaton framework for learning complex dynamics. Neurocomputing 562 (2023)
Weiming Xiang, Zhongzhu Shao
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction. CoRR (2023)
Wesley Cooke, Zihao Mo, Weiming Xiang
Guaranteed Quantization Error Computation for Neural Network Model Compression. CoRR (2023)
Hanwen Zhang, Haijian Sun, Tianyi He, Weiming Xiang, Rose Qingyang Hu
Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation. CoRR (2023)
Yejiang Yang, Weiming Xiang
Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach. ACC (2023)
Wesley Cooke, Zihao Mo, Weiming Xiang
Guaranteed Quantization Error Computation for Neural Network Model Compression. ICIT (2023)
Weiming Xiang, Zhongzhu Shao
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction. CDC (2022)
Weiming Xiang, Zhongzhu Shao
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. ACC (2022)
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems. IEEE Des. Test 39 (1) (2022)
Yejiang Yang, Tao Wang, Jefferson P. Woolard, Weiming Xiang
Guaranteed approximation error estimation of neural networks and model modification. Neural Networks 151 (2022)
Weiming Xiang
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time. IEEE Control. Syst. Lett. 6 (2022)
Tao Wang, Yapeng Li, Weiming Xiang
Design of interval observer for continuous linear large-scale systems with disturbance attenuation. J. Frankl. Inst. 359 (8) (2022)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Weiming Xiang, Zhongzhu Shao
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. CoRR (2022)
Weiming Xiang, Yingbo Cui, Yaning Yang, Ang Zhang, Boya Ji, Shaoliang Peng
MSVF: Multi-task Structure Variation Filter with Transfer Learning in High-throughput Sequencing. BIBM (2022)
Weiming Xiang
Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems. IEEE Trans. Cybern. 52 (9) (2022)
Weiming Xiang
Interval observer design of dynamical systems with neural networks. HSCC (2021)
Yejiang Yang, Weiming Xiang
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method. CoRR (2021)
Weiming Xiang
A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine. CoRR (2021)
Weiming Xiang
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time. CoRR (2021)
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. IEEE Trans. Neural Networks Learn. Syst. 32 (5) (2021)
Weiming Xiang
Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems. CoRR (2021)
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33 (4-5) (2021)
Yang Li, Weiming Xiang, Hongbin Zhang, Jianwei Xia, Qunxian Zheng
New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach. IEEE Trans. Syst. Man Cybern. Syst. 51 (10) (2021)
Weiming Xiang, Dong Chen, Yingbo Cui, Shaoliang Peng
H-VAE: A Hybrid Variational AutoEncoder with Data Augmentation in Predicting CRISPR/Cas9 Off-target. BIBM (2021)
Yejiang Yang, Weiming Xiang
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method. CDC (2021)
Xiongjun Zhao, Yingjie Cheng, Weiming Xiang, Xiang Wang, Lin Han, Jiandong Shang, Shaoliang Peng
A Knowledge-aware Machine Reading Comprehension Framework for Dialogue Symptom Diagnosis. BIBM (2021)
Weiming Xiang
Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine. ACC (2021)
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices. CoRR (2020)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CAV (1) (2020)
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. CoRR (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR (2020)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CoRR (2020)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint. IEEE Trans. Autom. Control. 64 (8) (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS (2019)
Tao Wang, Weiming Xiang
Necessary and sufficient conditions to stability of discrete-time delay systems. J. Frankl. Inst. 356 (16) (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. FORTE (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. CoRR (2019)
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Star-Based Reachability Analysis of Deep Neural Networks. FM (2019)
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Parallelizable reachability analysis algorithms for feed-forward neural networks. FormaliSE@ICSE (2019)
Weiming Xiang, James Lam, Panshuo Li
On stability and H∞ control of switched systems with random switching signals. Autom. 95 (2018)
Weiming Xiang, Taylor T. Johnson
Reachability Analysis and Safety Verification for Neural Network Control Systems. CoRR (2018)
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. ACC (2018)
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. CoRR (2018)
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Specification-Guided Safety Verification for Feedforward Neural Networks. CoRR (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching. IEEE Trans. Autom. Control. 63 (5) (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation and Verification for Multilayer Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 29 (11) (2018)
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Reachability Analysis for One Dimensional Linear Parabolic Equations. ADHS (2018)
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. CoRR (2018)
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. CoRR (2018)
Weiming Xiang
Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties. Autom. 87 (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks. CoRR (2017)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Distributed Autonomous Systems. ARCH@CPSWeek (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. CoRR (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
On reachable set estimation for discrete-time switched linear systems under arbitrary switching. ACC (2017)
Weiming Xiang, James Lam, Jun Shen
-gain characterization for switched positive systems under dwell-time constraint. Autom. 85 (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. IEEE Trans. Autom. Control. 62 (10) (2017)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Order-reduction abstractions for safety verification of high-dimensional linear systems. Discret. Event Dyn. Syst. 27 (2) (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Reachable set estimation and control for switched linear systems with dwell-time restriction. CDC (2016)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems. CoRR (2016)
Weiming Xiang, Guisheng Zhai, Corentin Briat
Stability Analysis for LTI Control Systems With Controller Failures and Its Application in Failure Tolerant Control. IEEE Trans. Autom. Control. 61 (3) (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Weiming Xiang
Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems Under Dwell-Time Constraint. IEEE Trans. Autom. Control. 61 (11) (2016)
Lixian Zhang, Weiming Xiang
Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach. Autom. 64 (2016)
Weiming Xiang, Jian Xiao, Yangsheng Jiang
Real-time signalization for an oversaturated intersection via static state feedback control: A switched system approach. J. Frankl. Inst. 352 (8) (2015)
Weiming Xiang, Guisheng Zhai, Jian Xiao
Stability analysis and failure tolerant control for discrete-time linear systems with controller failure. Int. J. Control 88 (3) (2015)
Weiming Xiang
On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint. Autom. 54 (2015)
Weiming Xiang, Jian Xiao, Guisheng Zhai
and robust passive control. Inf. Sci. 320 (2015)
Weiming Xiang, Jian Xiao
Stabilization of switched continuous-time systems with all modes unstable via dwell time switching. Autom. 50 (3) (2014)
Weiming Xiang, Jian Xiao
Reliable tracking control for high speed train against actuator failures: A parallel control architecture. ITSC (2014)
Muhammad Naveed Iqbal, Jian Xiao, Weiming Xiang
Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems. J. Frankl. Inst. 351 (3) (2014)
Jian Xiao, Weiming Xiang
control for switched discrete-time linear systems under dwell time constraint. Appl. Math. Comput. 242 (2014)
Weiming Xiang, Jian Xiao, Lu Han
Switching PDC control for discrete-time T-S fuzzy system: A membership function ranking approach. J. Frankl. Inst. 351 (7) (2014)
Weiming Xiang, Jian Xiao
Finite-time stability and stabilisation for switched linear systems. Int. J. Syst. Sci. 44 (2) (2013)
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
H∞ control for switched fuzzy systems via dynamic output feedback: Hybrid and switched approaches. Commun. Nonlinear Sci. Numer. Simul. 18 (6) (2013)
Weiming Xiang, Jian Xiao, Lu Han
Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems. Circuits Syst. Signal Process. 32 (6) (2013)
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
Filtering for Short-Time Switched Discrete-Time Linear Systems. Circuits Syst. Signal Process. 31 (6) (2012)
Weiming Xiang, Jian Xiao
controller design for a class of switched linear discrete-time system with polytopic uncertainties. J. Syst. Control. Eng. 226 (10) (2012)
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
Robust finite-time bounded observer design for a class of uncertain non-linear Markovian jump systems. IMA J. Math. Control. Inf. 29 (4) (2012)
Weiming Xiang, Jian Xiao
Control of Discrete-Time Switched Systems With Average Dwell Time". IEEE Trans. Autom. Control. 57 (12) (2012)
Weiming Xiang, Jian Xiao
Filtering for Uncertain Switched Nonlinear Systems via Filter State impulsive Jump Approach. Control. Intell. Syst. 39 (1) (2011)
Weiming Xiang, Jian Xiao, Chengyong Xiao
On Finite-Time Stability and Stabilization for Switched Discrete Linear Systems. Control. Intell. Syst. 39 (2) (2011)
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
Fault detection for switched nonlinear systems under asynchronous switching. Int. J. Control 84 (8) (2011)
Weiming Xiang, Jian Xiao
filtering for switched nonlinear systems under asynchronous switching. Int. J. Syst. Sci. 42 (5) (2011)
Weiming Xiang, Jian Xiao
finite-time control for switched nonlinear discrete-time systems with norm-bounded disturbance. J. Frankl. Inst. 348 (2) (2011)
Zhengrong Xiang, Weiming Xiang
Stability analysis of switched systems under dynamical dwell time control approach. Int. J. Syst. Sci. 40 (4) (2009)
Zhengrong Xiang, Weiming Xiang
Observer Design for a Class of switched nonlinear Systems. Control. Intell. Syst. 36 (4) (2008)
Zhengrong Xiang, Weiming Xiang
Stability Analysis of Switched Nonlinear Systems Based on Dynamical Dwell Time Approach. ICNSC (2008)