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
 
2025
 
Model-Free Stabilization for Discrete-Time Large-Scale Systems with Time-Delays
 
S. Lu, W. Xiang
 
Automatica 179, 112439
 
 
A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems (Regular Paper)
 
Y. Yang, T. Wang, W. Xiang
 
IEEE Transactions on Neural Networks and Learning Systems, 36(5), 9463-9473
 
 
Neural Transition System Abstraction for Neural Network Dynamical System Models and Its Application to Computational Tree Logic Verification
 
Y. Yang, T. Wang, W. Xiang
 
Neural Networks 186, 107261
 
 
Data-Driven Controller Design of Discrete-Time Switched Systems Using Virtual Clock Approach
 
Y. Li, T. Wang, W. Xiang
 
ISA Transactions 158, 197-207
 
 
Efficient Neural Hybrid System Learning and Interpretable Transition System Abstraction for Dynamical Systems
 
Y. Yang, Z. Mo, W. Xiang
 
ASME Letters in Dynamic Systems and Control, 5(1): 011001
 
 
 
2024
 
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
(PDF)
 
T. Wang, Y. Li, Z. Mo, W. Cooke, W. Xiang
 
International Journal of Control, 97(10): 2420-2432
 
 
Maximum Output Discrepancy Computation for Convolutional Neural Network Compression
(PDF)
 
Z. Mo, W. Xiang
 
Information Sciences, 665: 120367
 
 
 
2023
 
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
 
2008
 
Conference Proceeding Papers
 
2025
 
Decentralized Data-Driven Control for Discrete-time T-S Fuzzy Large-Scale Systems
 
S. Lu, W. Xiang
 
2025 Modeling, Estimation and Control Conference, 2025
 
 
EqBaB: Efficient Equivalence Verification for Compressed DNNs with Bound Propagation (Poster)
 
Z. Mo, Y. Yang,  W. Xiang
 
2025 62nd ACM/IEEE Design Automation Conference (DAC)
 
 
Perception-Based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
 
R. Brown, L. V. Nguyen, W. Xiang, M. Wolf, H.-D. Tran
 
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025
 
 
 
2024
 
Discrepancy-Based Knowledge Distillation for Image Classification Restoration
 
Z. Mo, W. Xiang
 
23rd IEEE International Conference on Machine Learning and Applications, 2024
 
 
Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation
 
J. Chen, Z. Mo, T. Wang, W. Xiang
 
23rd IEEE International Conference on Machine Learning and Applications, 2024
 
 
Data-Driven Decentralized Control Design for Discrete-Time Large-Scale Systems
 
J. Liao, S. Lu, T. Wang, W. Xiang
 
The 4th Modeling, Estimation, and Control Conference (MECC 2024)
 
 
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
 
Y. Yang, Z. Mo, W. Xiang
 
The 4th Modeling, Estimation, and Control Conference (MECC 2024)
 
 
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction (PDF)
 
Y. Yang, Z. Mo, W. Xiang
 
8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 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)
 
 
Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation (PDF)
 
H. Zhang, H. Sun, T. He, W. Xiang, R. Q. Hu
 
2024 IEEE International Conference on Communications Workshops (ICC Workshops)
 
 
 
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-1763 
 
 
 |