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

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

2022

  • Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression (PDF)
    W. Xiang, Z. Shao
    2022 Annual American Control Conference (ACC)

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