Stability Analysis of Switched Nonlinear Systems Based on Dynamical Dwell Time Approach. - Zhengrong Xiang; Weiming Xiang 001 (ICNSC, 2008)

Observer Design for a Class of switched nonlinear Systems. - Zhengrong Xiang; Weiming Xiang 001 (Control. Intell. Syst., 2008)

Stability analysis of switched systems under dynamical dwell time control approach. - Zhengrong Xiang; Weiming Xiang 001 (Int. J. Syst. Sci., 2009)

H∞ Filtering for Uncertain Switched Nonlinear Systems via Filter State impulsive Jump Approach. - Weiming Xiang 001; Jian Xiao 004 (Control. Intell. Syst., 2011)

On Finite-Time Stability and Stabilization for Switched Discrete Linear Systems. - Weiming Xiang 001; Jian Xiao 004; Chengyong Xiao (Control. Intell. Syst., 2011)

Fault detection for switched nonlinear systems under asynchronous switching. - Weiming Xiang 001; Jian Xiao 004; Muhammad Naveed Iqbal (Int. J. Control, 2011)

H∞ filtering for switched nonlinear systems under asynchronous switching. - Weiming Xiang 001; Jian Xiao 004 (Int. J. Syst. Sci., 2011)

H∞ finite-time control for switched nonlinear discrete-time systems with norm-bounded disturbance. - Weiming Xiang 001; Jian Xiao 004 (J. Frankl. Inst., 2011)

ℋ∞ Filtering for Short-Time Switched Discrete-Time Linear Systems. - Weiming Xiang 001; Jian Xiao 004; Muhammad Naveed Iqbal (Circuits Syst. Signal Process., 2012)

Robust finite-time bounded observer design for a class of uncertain non-linear Markovian jump systems. - Weiming Xiang 001; Jian Xiao 004; Muhammad Naveed Iqbal (IMA J. Math. Control. Inf., 2012)

H∞ controller design for a class of switched linear discrete-time system with polytopic uncertainties. - Weiming Xiang 001; Jian Xiao 004 (J. Syst. Control. Eng., 2012)

Discussion on "Stability, l2-Gain and Asynchronous H∞ Control of Discrete-Time Switched Systems With Average Dwell Time". - Weiming Xiang 001; Jian Xiao 004 (IEEE Trans. Autom. Control., 2012)

H∞ control for switched fuzzy systems via dynamic output feedback: Hybrid and switched approaches. - Weiming Xiang 001; Jian Xiao 004; Muhammad Naveed Iqbal (Commun. Nonlinear Sci. Numer. Simul., 2013)

ℋ∞ Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems. - Weiming Xiang 001; Jian Xiao 004; Lu Han (Circuits Syst. Signal Process., 2013)

Finite-time stability and stabilisation for switched linear systems. - Weiming Xiang 001; Jian Xiao 004 (Int. J. Syst. Sci., 2013)

Reliable tracking control for high speed train against actuator failures: A parallel control architecture. - Weiming Xiang 001; Jian Xiao 004 (ITSC, 2014)

New results on asynchronous H∞ control for switched discrete-time linear systems under dwell time constraint. - Jian Xiao 004; Weiming Xiang 001 (Appl. Math. Comput., 2014)

Stabilization of switched continuous-time systems with all modes unstable via dwell time switching. - Weiming Xiang 001; Jian Xiao 004 (Autom., 2014)

Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems. - Muhammad Naveed Iqbal; Jian Xiao 004; Weiming Xiang 001 (J. Frankl. Inst., 2014)

Switching PDC control for discrete-time T-S fuzzy system: A membership function ranking approach. - Weiming Xiang 001; Jian Xiao 004; Lu Han (J. Frankl. Inst., 2014)

On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint. - Weiming Xiang 001 (Autom., 2015)

Stability analysis and failure tolerant control for discrete-time linear systems with controller failure. - Weiming Xiang 001; Guisheng Zhai; Jian Xiao 004 (Int. J. Control, 2015)

Dissipativity and dwell time specifications of switched discrete-time systems and its applications in H∞ and robust passive control. - Weiming Xiang 001; Jian Xiao 004; Guisheng Zhai (Inf. Sci., 2015)

Real-time signalization for an oversaturated intersection via static state feedback control: A switched system approach. - Weiming Xiang 001; Jian Xiao 004; Yangsheng Jiang (J. Frankl. Inst., 2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Reachable set estimation and control for switched linear systems with dwell-time restriction. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CDC, 2016)

Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach. - Lixian Zhang; Weiming Xiang 001 (Autom., 2016)

Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems Under Dwell-Time Constraint. - Weiming Xiang 001 (IEEE Trans. Autom. Control., 2016)

Stability Analysis for LTI Control Systems With Controller Failures and Its Application in Failure Tolerant Control. - Weiming Xiang 001; Guisheng Zhai; Corentin Briat (IEEE Trans. Autom. Control., 2016)

On reachable set estimation for discrete-time switched linear systems under arbitrary switching. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (ACC, 2017)

Distributed Autonomous Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (ARCH@CPSWeek, 2017)

Stability analysis and L1-gain characterization for switched positive systems under dwell-time constraint. - Weiming Xiang 001; James Lam; Jun Shen 002 (Autom., 2017)

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2017)

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2017)

Order-reduction abstractions for safety verification of high-dimensional linear systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (Discret. Event Dyn. Syst., 2017)

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2017)

Reachability Analysis for One Dimensional Linear Parabolic Equations. - Hoang-Dung Tran; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (ADHS, 2018)

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. - Weiming Xiang 001; Hoang-Dung Tran; Joel A. Rosenfeld; Taylor T. Johnson (ACC, 2018)

Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties. - Weiming Xiang 001 (Autom., 2018)

On stability and H∞ control of switched systems with random switching signals. - Weiming Xiang 001; James Lam; Panshuo Li (Autom., 2018)

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. - Weiming Xiang 001; Diego Manzanas Lopez; Patrick Musau; Taylor T. Johnson (CoRR, 2018)

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. - Hoang-Dung Tran; Weiming Xiang 001; Nathaniel Hamilton; Taylor T. Johnson (CoRR, 2018)

Reachability Analysis and Safety Verification for Neural Network Control Systems. - Weiming Xiang 001; Taylor T. Johnson (CoRR, 2018)

Verification for Machine Learning, Autonomy, and Neural Networks Survey. - Weiming Xiang 001; Patrick Musau; Ayana A. Wild; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Joel A. Rosenfeld; Taylor T. Johnson (CoRR, 2018)

Specification-Guided Safety Verification for Feedforward Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (CoRR, 2018)

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2018)

Output Reachable Set Estimation and Verification for Multilayer Neural Networks. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Neural Networks Learn. Syst., 2018)

Star-Based Reachability Analysis of Deep Neural Networks. - Hoang-Dung Tran; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FM, 2019)

Reachability Analysis for High-Index Linear Differential Algebraic Equations. - Hoang-Dung Tran; Luan Viet Nguyen; Nathaniel Hamilton; Weiming Xiang 001; Taylor T. Johnson (FORMATS, 2019)

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (FORTE, 2019)

Parallelizable reachability analysis algorithms for feed-forward neural networks. - Hoang-Dung Tran; Patrick Musau; Diego Manzanas Lopez; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FormaliSE@ICSE, 2019)

Necessary and sufficient conditions to stability of discrete-time delay systems. - Tao Wang 023; Weiming Xiang 001 (J. Frankl. Inst., 2019)

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint. - Weiming Xiang 001; Hoang-Dung Tran; Taylor T. Johnson (IEEE Trans. Autom. Control., 2019)

Verification of Deep Convolutional Neural Networks Using ImageStars. - Hoang-Dung Tran; Stanley Bak; Weiming Xiang 001; Taylor T. Johnson (CAV (1), 2020)

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. - Hoang-Dung Tran; Xiaodong Yang; Diego Manzanas Lopez; Patrick Musau; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (CAV (1), 2020)

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices. - Xiaodong Yang; Hoang-Dung Tran; Weiming Xiang 001; Taylor T. Johnson (CoRR, 2020)

Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine. - Weiming Xiang 001 (ACC, 2021)

Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method. - Yejiang Yang; Weiming Xiang 001 (CDC, 2021)

Interval observer design of dynamical systems with neural networks. - Weiming Xiang 001 (HSCC, 2021)

Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems. - Weiming Xiang 001 (CoRR, 2021)

A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine. - Weiming Xiang 001 (CoRR, 2021)

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. - Hoang-Dung Tran; Neelanjana Pal; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (Formal Aspects Comput., 2021)

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. - Weiming Xiang 001; Hoang-Dung Tran; Xiaodong Yang; Taylor T. Johnson (IEEE Trans. Neural Networks Learn. Syst., 2021)

New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach. - Yang Li 043; Weiming Xiang 001; Hongbin Zhang 002; Jianwei Xia; Qunxian Zheng (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. - Weiming Xiang 001; Zhongzhu Shao (ACC, 2022)

Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction. - Weiming Xiang 001; Zhongzhu Shao (CDC, 2022)

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time. - Weiming Xiang 001 (IEEE Control. Syst. Lett., 2022)

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems. - Hoang-Dung Tran; Weiming Xiang 001; Taylor T. Johnson (IEEE Des. Test, 2022)

Design of interval observer for continuous linear large-scale systems with disturbance attenuation. - Tao Wang 023; Yapeng Li; Weiming Xiang 001 (J. Frankl. Inst., 2022)

Real-Time Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (Leibniz Trans. Embed. Syst., 2022)

Guaranteed approximation error estimation of neural networks and model modification. - Yejiang Yang; Tao Wang 023; Jefferson P. Woolard; Weiming Xiang 001 (Neural Networks, 2022)

Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems. - Weiming Xiang 001 (IEEE Trans. Cybern., 2022)

Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach. - Yejiang Yang; Weiming Xiang 001 (ACC, 2023)

Guaranteed Quantization Error Computation for Neural Network Model Compression. - Wesley Cooke; Zihao Mo; Weiming Xiang 001 (ICIT, 2023)

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (ICIT, 2023)

Computationally efficient neural hybrid automaton framework for learning complex dynamics. - Tao Wang 023; Yejiang Yang; Weiming Xiang 001 (Neurocomputing, 2023)

D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (ADHS, 2024)

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation. - Zihao Mo; Yejiang Yang; Shuaizheng Lu; Weiming Xiang 001 (ACC, 2024)

A Transition System Abstraction Framework for Neural Network Dynamical System Models. - Yejiang Yang; Zihao Mo; Hoang-Dung Tran; Weiming Xiang 001 (ACC, 2024)

Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation. - Hanwen Zhang; Haijian Sun; Tianyi He; Weiming Xiang 001; Rose Qingyang Hu (ICC Workshops, 2024)

Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation. - Jie Chen; Zihao Mo; Tao Wang 023; Weiming Xiang 001 (ICMLA, 2024)

Discrepancy-Based Knowledge Distillation for Image Classification Restoration. - Zihao Mo; Yejiang Yang; Weiming Xiang 001 (ICMLA, 2024)

A New Hybrid Automaton Framework with Partial Differential Equation Dynamics. - Tianshu Bao; Hengrong Du; Weiming Xiang 001; Taylor T. Johnson (CoRR, 2024)

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems. - Yejiang Yang; Zihao Mo; Weiming Xiang 001 (CoRR, 2024)

Data-Driven Decentralized Control Design for Discrete-Time Large-Scale Systems. - Jiaping Liao; Shuaizheng Lu; Tao Wang 023; Weiming Xiang 001 (CoRR, 2024)

Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach. - Tao Wang 023; Yapeng Li; Zihao Mo; Wesley Cooke; Weiming Xiang 001 (Int. J. Control, 2024)

Maximum output discrepancy computation for convolutional neural network compression. - Zihao Mo; Weiming Xiang 001 (Inf. Sci., 2024)

Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems. - Ryan Brown; Luan Viet Nguyen; Weiming Xiang 001; Marilyn Wolf; Hoang-Dung Tran (ICCPS, 2025)

Model-free stabilization for discrete-time large-scale systems with time-delays. - Shuaizheng Lu; Weiming Xiang 001 (Autom., 2025)

Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification. - Yejiang Yang; Tao Wang 023; Weiming Xiang 001 (Neural Networks, 2025)

A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems. - Yejiang Yang; Tao Wang 023; Weiming Xiang 001 (IEEE Trans. Neural Networks Learn. Syst., 2025)