Publications

Book Chapters

2019

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems (PDF)
W. Xiang, D.M. Lopez, P. Musau, T.T. Johnson
Safe, Autonomous and Intelligent Vehicles, Springer, 123-144

Journal Articles

2024

Maximum Output Discrepancy Computation for Convolutional Neural Network Compression (PDF)
Z. Mo, W. Xiang
Information Sciences, 665: 120367

2023

Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
T. Wang, Y. Li, Z. Mo, W. Cooke, W. Xiang
International Journal of Control
Computationally Efficient Neural Hybrid Automaton Framework for Learning Complex Dynamics (PDF)
T. Wang, Y. Yang, W. Xiang
Neurocomputing, 562: 126879

2022

Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems (Regular Paper) (PDF)
W. Xiang
IEEE Transactions on Cybernetics, 52(9): 9587 - 9596
Guaranteed Approximation Error Estimation of Neural Networks and Model Modification (PDF)
Y. Yang, T. Wang, J. P. Woolard, W. Xiang
Neural Networks, 151: 61-699
Design of Interval Observer for Continuous Linear Large-Scale Systems with Disturbance Attenuation (PDF)
T. Wang, Y. Li, W. Xiang
Journal of the Franklin Institute, 359(8): 3910-3929

2021

Verification of Piecewise Deep Neural Networks: a Star Set Approach with Zonotope Pre-filter (PDF)
D. Tran, N. Pal, D.M. Lopez, P. Musau, X. Yang, L.V. Nguyen, W. Xiang, S. Bak, T. T. Johnson
Formal Aspects of Computing, 33: 519-545
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time (PDF)
W. Xiang
IEEE Control Systems Letters, 6: 728-733

2020

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems (Survey Paper) (PDF)
D. Tran, W. Xiang, T.T. Johnson
IEEE Design and Test, doi: 10.1109/MDAT.2020.3015712
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach (Regular Paper) (PDF)
W. Xiang, D. Tran, X. Yang, T.T. Johnson
IEEE Transactions on Neural Networks and Learning Systems, 32(5): 1821-1830
Reachable Set Estimation and Decentralized Control Synthesis of Large-Scale Switched Systems Under Mixed Switching (PDF)
T. Wang, X. Wang, W. Xiang
International Journal of Robust and Nonlinear Control, 30(16): 6909-6930
Stabilization for Continuous-Time Switched Linear Systems: A Mixed Switching Scheme (PDF)
W. Xiang
Nonlinear Analysis: Hybrid Systems, 36, 100872
New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach (PDF)
Y. Li, W. Xiang, H. Zhang, J. Xia, Q. Zheng
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 10.1109/TSMC.2019.2963142

2019

Necessary and Sufficient Conditions to Stability of Discrete-Time Delay Systems (PDF)
T. Wang, W. Xiang
Journal of the Franklin Institute, 365(16), 9788-9803
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems under Minimum Dwell-Time Constraint (PDF)
W. Xiang, D. Tran, T.T. Johnson
IEEE Transactions on Automatic Control, 64(8), 3407 - 3414
Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems (PDF)
W. Xiang, G. Zhai, S. Baldi, C. Yuan, T. T. Johnson
IET Control Theory and Applications, 13 (9), 1219-1221
New Alternative Convex Conditions on Exponential Stability and Stabilization of Switched Positive Linear Systems with Dwell Time (PDF)
H. Zhang, Y. Li, W. Xiang
IET Control Theory & Applications, 13 (5), 620-631

2018

On Stability and H_infty control of Switched Systems with Random Switching Signals (PDF)
W. Xiang, J. Lam, P. Li
Automatica 95, 419-425
Reachable Set Estimation for Switched Linear Systems with Dwell-Time Switching (PDF)
S. Baldi, W. Xiang
Nonlinear Analysis: Hybrid Systems 29, 20-33
Event-Triggered Control of Continuous-Time Switched Linear Systems (PDF)
W. Xiang, T.T. Johnson
IET Control Theory & Applications 11 (11), 1694 - 1703
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems under Arbitrary Switching (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
IEEE Transactions on Automatic Control 63 (5), 1450-1456
Output Reachable Set Estimation and Verification for Multilayer Neural Networks (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
IEEE Transactions on Neural Networks and Learning Systems, 29 (11), 5777 - 5783
Parameter-Memorized Lyapunov Functions for Discrete-Time Systems with Time-Varying Parametric Uncertainties (PDF)
W. Xiang
Automatica 87, 450-454
Stability Analysis and L_1-gain Characterization for Switched Positive Systems under Dwell-Time Constraint (PDF)
W. Xiang, J. Lam, J. Shen
Automatica 85, 1-8

2017

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
IEEE Transactions on Automatic Control 62 (10), 5380-5387
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems (PDF)
H.D. Tran, L.V. Nguyen, W. Xiang, T.T. Johnson
Discrete Event Dynamic Systems 27 (2), 443-461

2016

Mode-Identifying Time Estimation and Switching-Delay Tolerant Control for Switched Systems: An Elementary Time Unit Approach (PDF)
L. Zhang, W. Xiang
Automatica 64, 174-181
Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems under Dwell-Time Constraint (PDF)
W. Xiang
IEEE Transactions on Automatic Control 61 (11), 3619-3624
Stability Analysis for LTI Control Systems With Controller Failures and Its Application in Failure Tolerant Control (PDF)
W. Xiang, G. Zhai, C. Briat
IEEE Transactions on Automatic Control 61 (3), 811 - 816

2015

Dissipativity and Dwell Time Specifications of Switched Discrete-Time Systems and Its Applications in H_infty and Robust Passive Control (PDF)
W. Xiang, J. Xiao, G. Zhai
Information Sciences 320, 206-222
H_infty Filtering for Switched Discrete-Time Systems under Asynchronous Switching: A Dwell-Time Dependent Lyapunov Functional Method (PDF)
W. Xiang, J. Xiao, M.S. Mahmoud
International Journal of Adaptive Control and Signal Processing 29 (8), 971-990
On Equivalence of Two Stability Criteria for Continuous-Time Switched Systems with Dwell Time Constraint (PDF)
W. Xiang
Automatica 54, 36-40
Stability Analysis and Failure Tolerant Control for Discrete-Time Linear Systems with Controller Failure (PDF)
W. Xiang, G. Zhai, J. Xiao
International Journal of Control 88 (3), 559-570
Real-Time Signalization for an Oversaturated Intersection via Static State Feedback Control: A Switched System Approach (PDF)
W. Xiang, J. Xiao, Y. Jiang
Journal of the Franklin Institute 352, 3304-3324

2014

Decentralized Weighted Control for a Class of Large-Scale Systems with Multi-Modes (PDF)
W. Xiang, J. Xiao, L. Han
International Journal of Robust and Nonlinear Control 24 (18), 3387-3408
New Results on Asynchronous H_infty Control for Switched Discrete-Time Linear Systems under Dwell Time Constraint (PDF)
J. Xiao, W. Xiang
Applied Mathematics and Computation 242, 601-611
Finite-Time H_infty State Estimation for Discrete-Time Switched Control Systems Under Asynchronous Switching (PDF)
M.N. Iqbal, J. Xiao, W. Xiang
Asian Journal of Control 16 (4), 1112-1121
Switching PDC Control for Discrete-Time T-S Fuzzy System: A Membership Function Ranking Approach (PDF)
W. Xiang, J. Xiao, L. Han
Journal of the Franklin Institute 351 (7), 3536-3558
State Estimation for Short-Time Switched Linear Systems under Asynchronous Switching (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
International Journal of Adaptive Control and Signal Processing 28 (6), 553-561
Robust Fault Detection for a Class of Uncertain Switched Nonlinear Systems via the State Updating Approach (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
Nonlinear Analysis: Hybrid Systems 12, 132-146
Stabilization of Switched Continuous-Time Systems with All Modes Unstable via Dwell Time Switching (PDF)
W. Xiang, J. Xiao
Automatica 50 (3), 940-945
Parameter-Dependent Finite-Time Observer Design for Time-Varying Polytopic Uncertain Switched Systems (PDF)
M.N. Iqbal, J. Xiao, W. Xiang
Journal of the Franklin Institute 351 (3), 1657-1672
A New Approach For Stability Analysis Of Time-Dependent Switched Continuous-Time Linear Systems (PDF)
W. Xiang, J. Xiao, L. Han
Asian Journal of Control 16 (2), 461-468
Convex Sufficient Conditions on Asymptotic Stability and l_2 Gain Performance for Uncertain Discrete-Time Switched Linear Systems (PDF)
W. Xiang, J. Xiao
IET Control Theory & Applications 8 (3), 211-218
Hybrid Control for Over-Saturated Signalized Intersection Based on Switched System (in Chinese)
W. Xiang, J. Xiao, Y. Jiang
Journal of Transportation Systems Engineering and Information Technology 14 (2), 57-61
Optimal Finite-Time State Estimation for Discrete-Time Switched Systems under Switching Frequency Constraint (PDF)
L. Du, W. Xiang, Y. Zhao
Mathematical Problems in Engineering 2014
Discretized Lyapunov Function Approach for Switched Linear Systems under Dwell Time Constraint (PDF)
Y. Zhao, S. Zhuang, W. Xiang, L. Du
Abstract and Applied Analysis 2014

2013

H_infty Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems (PDF)
W. Xiang, J. Xiao, L. Han
Circuits, Systems, and Signal Processing 32 (6), 2799-2820
H_infty Control Synthesis of Switched Discrete-Time Fuzzy Systems via Hybrid Spproach (PDF)
W. Xiang, J. Xiao
Optimal Control Applications and Methods 34 (6), 635-655
Finite Time H_infty Filtering for Uncertain Discrete-Time Switching Systems (PDF)
M.N. Iqbal, J. Xiao, W. Xiang
Transactions of the Institute of Measurement and Control 35 (6), 851-862
H_infty Control for Switched Fuzzy Systems via Dynamic Output Feedback: Hybrid and Switched Approaches (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
Communications in Nonlinear Science and Numerical Simulation 18 (6), 1499-1514
H_infty Filtering for Switched Nonlinear Systems with Polytopic Uncertainties via Filter State Impulsive Jump Approach (PDF)
W. Xiang, J. Xiao
Transactions of the Institute of Measurement and Control 35 (4), 540-550
Finite-time Stability and Stabilisation for Switched Linear Systems (PDF)
W. Xiang, J. Xiao
International Journal of Systems Science 44 (2), 384-400
Switching System Modeling and H_infty Control of Three-Phase APF with Time-Delay (in Chinese)
L. Han, J. Xiao, W. Xiang, C. Qiu
Electric Power Automation Equipment 33 (12), 39-44

2012

Discussion on “Stability, l_2-Gain and Asynchronous Control of Discrete-Time Switched Systems With Average Dwell Time” (PDF)
W. Xiang, J. Xiao
IEEE Transactions on Automatic Control 57 (12), 3259-3261
Robust Finite-Time Bounded Observer Design for a Class of Uncertain Nonlinear Markovian Jump Systems (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
IMA Journal of Mathematical Control and Information 29 (4), 551-572
H_infty Filtering for Short-Time Switched Discrete-Time Linear Systems (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
Circuits, Systems, and Signal Processing 31 (6), 1927-1949
H_infty Controller Design for a Class of Switched Linear Discrete-Time System with Polytopic Uncertainties (PDF)
W. Xiang, J. Xiao
Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 226 (10), 1311-1322
Stability Analysis and Control Synthesis of Switched Impulsive Systems (PDF)
W. Xiang, J. Xiao
International Journal of Robust and Nonlinear Control 22 (13), 1440-1459
Asymptotic Stability, l_2 Gain, Boundness Analysis, and Control Synthesis for Switched Systems: A Switching Frequency Approach (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
International Journal of Adaptive Control and Signal Processing 26 (4), 350-373
Robust Observer Design for Nonlinear Uncertain Switched Systems under Asynchronous Switching (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
Nonlinear Analysis: Hybrid Systems 6 (1), 754-773

2011

Comment on “Finite-Time H_infty Control for Linear Continuous System with Norm-Bounded Disturbance” (PDF)
W. Xiang, J. Xiao, C. Xiao
Communications in Nonlinear Science and Numerical Simulation 16 (8), 3443-3445
Fault Detection for Switched Nonlinear Systems under Asynchronous Switching (PDF)
W. Xiang, J. Xiao, M.N. Iqbal
International Journal of Control 84 (8), 1362-1376
H_infty Filtering for Switched Nonlinear Systems under Asynchronous Switching (PDF)
W. Xiang, J. Xiao
International Journal of Systems Science 42 (5), 751-765
H_infty Finite-Time Control for Switched Nonlinear Discrete-Time Systems with Norm-Bounded Disturbance (PDF)
W. Xiang, J. Xiao
Journal of the Franklin Institute 348 (2), 331-352
H_infty Filtering for Uncertain Switched Nonlinear Systems via Filter State Impulsive Jump Approach (PDF)
W. Xiang, J. Xiao
Control and Intelligent Systems 39 (1), 60
On Finite-Time Stability and Stabilization for Switched Discrete Linear Systems (PDF)
W. Xiang, J. Xiao, C. Xiao
Control and Intelligent Systems 39 (2), 122

2009

Stability Analysis of Switched Systems under Dynamical Dwell Time Control approach (PDF)
Z. Xiang, W. Xiang
International Journal of Systems Science 40 (4), 347-355

2008

Observer Design for a Class of Switched Nonlinear Systems
Z. Xiang, W. Xiang
Control and Intelligent Systems 36 (4), 318

Conference Proceeding Papers

2024

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation (PDF)
Z. Mo, Y. Yang, S. Lu, W. Xiang
2024 American Control Conference (ACC)
A Transition System Abstraction Framework for Neural Network Dynamical System Models (PDF)
Y. Yang, Z. Mo, H.D. Tran, W. Xiang
2024 American Control Conference (ACC)

2023

Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach (PDF)
Y. Yang, W. Xiang
2023 American Control Conference (ACC), 3907-3712
Guaranteed Quantization Error Computation for Neural Network Model Compression (PDF)
W. Cooke, Z. Mo, W. Xiang
2023 IEEE International Conference on Industrial Technology (ICIT)
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems (PDF)
Y. Yang, Z. Mo, W. Xiang
2023 IEEE International Conference on Industrial Technology (ICIT)

2022

Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction (PDF)
W. Xiang, Z. Shao
2022 IEEE 61st Conference on Decision and Control (CDC), 1521-1526
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression (PDF)
W. Xiang, Z. Shao
2022 Annual American Control Conference (ACC), 3248-3253

2021

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time (PDF)
W. Xiang
The 60th IEEE conference on Decision and Control (CDC)
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method (PDF)
J. Yang, W. Xiang
The 60th IEEE conference on Decision and Control (CDC), 3857-3862
Poster/Demo: Interval Observer Design of Dynamical Systems With Neural Networks
W. Xiang
24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 1-2
Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine (PDF)
W. Xiang
2021 Annual American Control Conference (ACC), DOI: 10.23919/ACC50511.2021.9483234

2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems (PDF)
H.D. Tran, X. Yang, D.M. Lopez, P. Musau, L.V. Nguyen, W. Xiang, S. Bak, T.T. Johnson
32nd International Conference on Computer-Aided Verification (CAV 2020)
Verification of Deep Convolutional Neural Networks Using ImageStars (PDF)
H.D. Tran, S. Bak, W. Xiang, T.T. Johnson
32nd International Conference on Computer-Aided Verification (CAV 2020)

2019

Star-Based Reachability Analysis of Deep Neural Networks (PDF)
H.D. Tran, D.M. Lopez, P. Musau, X. Yang, L.V. Nguyen, W. Xiang, T.T. Johnson
International Symposium on Formal Methods, 670-686
Reachability Analysis for High-Index Linear Differential Algebraic Equations
H.-D. Tran, L. V. Nguyen, N. Hamilton, W. Xiang, T. T. Johnson
International Conference on Formal Modeling and Analysis of Timed Systems, 160-177
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems (PDF)
H.-D. Tran, L. V. Nguyen, P. Musau, W. Xiang, T. T. Johnson
International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 261-277
Parallelizable reachability analysis algorithms for feed-forward neural networks (PDF)
H.-D. Tran, P. Musau, D. M. Lopez, X. Yang, L. V. Nguyen, W. Xiang, T. T. Johnson
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 31-40
Specification-Guided Safety Verification for Feedforward Neural Networks (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
AAAI Spring Symposium on Verification of Neural Networks (VNN19)
Reachability Analysis and Safety Verification for Neural Network Control Systems (PDF)
W. Xiang, X. Yang, H.D. Tran, T.T. Johnson
AAAI Spring Symposium on Verification of Neural Networks (VNN19)
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks (PDF)
H.D. Tran, P. Musau, M.L. Diego, X. Yang, L.V. Nguyen, W. Xiang, T.T. Johnson
7th International Conference on Formal Methods in Software Engineering (FormaliSE 2019)

2018

Stabilizing Switching Control for DC-DC Converter in Two-Stage Photovoltaic Grid Connected Inverters (PDF)
Y. Liu, T. Wang, X. Wang, W. Xiang
2018 5th International Conference on Information, Cybernetics, and Computational Social Systems (ICCSS), 387-392
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers (PDF)
W. Xiang, H.D. Tran, J.A. Rosenfeld, T.T. Johnson
2018 Annual American Control Conference (ACC), 1574-1579
Reachability Analysis for One Dimensional Linear Parabolic Equations (PDF)
H.D. Tran, W. Xiang, S. Bak, T.T. Johnson
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 2018. IFAC-PapersOnLine 51 (16), 133-138

2017

On Reachable Set Estimation for Discrete-Time Switched Linear Systems under Arbitrary Switching (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
2017 American Control Conference (ACC), 4534-4539

2016

Reachable Set Estimation and Control for Switched Linear Systems with Dwell-Time Restriction (PDF)
W. Xiang, H.D. Tran, T.T. Johnson
2016 IEEE 55th Conference on Decision and Control (CDC), 7246-7251
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP (PDF)
P.S. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T.T. Johnson, L.V. Nguyen, C. Schilling, A. Sogokon, H.D. Tran, W. Xiang
Control Applications (CCA), 2016 IEEE Conference on, 1024-1029

2014

Reliable Tracking Control for High Speed Train Against Actuator Failures: A Parallel Control Architecture (PDF)
W. Xiang, J. Xiao
17th International IEEE Conference on Intelligent Transportation Systems (ITSC), 828-833
Real-time signalization for an oversaturated intersection via switched system approach (PDF)
W. Xiang, J. Xiao
33rd Chinese Control Conference (CCC), 3350-3355

2011

Finite-Time Stability Analysis for Switched Linear Systems (PDF)
W. Xiang, J. Xiao, C. Xiao
2011 Chinese Control and Decision Conference (CCDC), 3115-3120

2009

Stabilization of a Class of Switched Systems with Mismatched Switching
W. Xiang, M. Che, C. Xiao, Z. Xiang
2009 International Conference on Measuring Technology and Mechatronics Automation 2, 124-127

2008

Observer Design and Analysis for Switched Systems with Mismatching Switching Signal
W. Xiang, M. Che, C. Xiao, Z. Xiang
2008 International Conference on Intelligent Computation Technology and Automation (ICICTA) 1, 650-654
Stabilization of a Class of Switched Nonlinear Systems with Average Dwell Time
Z. Xiang, W. Xiang
2008 7th World Congress on Intelligent Control and Automation, 1673-1676
Stability Analysis of Switched Nonlinear Systems based on Dynamical Dwell Time Approach
Z. Xiang, W. Xiang
2008 IEEE International Conference on Networking, Sensing and Control, 1758-176