Weiming Xiang

105 papers B 1C 11Journal 76Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
EqBaB: Efficient equivalence verification for compressed DNNs with bound propagation.
Neurocomputing
Zihao Mo, Weiming Xiang
2025 J jnl
A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems.
IEEE Trans. Neural Networks Learn. Syst.
Yejiang Yang, Tao Wang, Weiming Xiang
2025 J jnl
Model-free stabilization for discrete-time large-scale systems with time-delays.
Autom.
Shuaizheng Lu, Weiming Xiang
2025 J jnl
Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification.
Neural Networks
Yejiang Yang, Tao Wang, Weiming Xiang
2025 — conf
Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems.
ICCPS
Ryan Brown, Luan Viet Nguyen, Weiming Xiang, Marilyn Wolf, Hoang-Dung Tran
2024 J jnl
A New Hybrid Automaton Framework with Partial Differential Equation Dynamics.
CoRR
Tianshu Bao, Hengrong Du, Weiming Xiang, Taylor T. Johnson
2024 C conf
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
ACC
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 J jnl
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
CoRR
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 C conf
Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation.
ICMLA
Jie Chen, Zihao Mo, Tao Wang, Weiming Xiang
2024 C conf
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
ACC
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 J jnl
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
CoRR
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 — conf
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction.
ADHS
Yejiang Yang, Zihao Mo, Weiming Xiang
2024 J jnl
Data-Driven Decentralized Control Design for Discrete-Time Large-Scale Systems.
CoRR
Jiaping Liao, Shuaizheng Lu, Tao Wang, Weiming Xiang
2024 C conf
Discrepancy-Based Knowledge Distillation for Image Classification Restoration.
ICMLA
Zihao Mo, Yejiang Yang, Weiming Xiang
2024 J jnl
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2024 — conf
Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation.
ICC Workshops
Hanwen Zhang, Haijian Sun, Tianyi He, Weiming Xiang, Rose Qingyang Hu
2024 J jnl
Maximum output discrepancy computation for convolutional neural network compression.
Inf. Sci.
Zihao Mo, Weiming Xiang
2024 J jnl
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach.
CoRR
Tao Wang, Yapeng Li, Zihao Mo, Wesley Cooke, Weiming Xiang
2024 J jnl
Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach.
Int. J. Control
Tao Wang, Yapeng Li, Zihao Mo, Wesley Cooke, Weiming Xiang
2023 — conf
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
ICIT
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 J jnl
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 J jnl
Computationally efficient neural hybrid automaton framework for learning complex dynamics.
Neurocomputing
Tao Wang, Yejiang Yang, Weiming Xiang
2023 J jnl
Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation.
CoRR
Hanwen Zhang, Haijian Sun, Tianyi He, Weiming Xiang, Rose Qingyang Hu
2023 — conf
Guaranteed Quantization Error Computation for Neural Network Model Compression.
ICIT
Wesley Cooke, Zihao Mo, Weiming Xiang
2023 J jnl
Guaranteed Quantization Error Computation for Neural Network Model Compression.
CoRR
Wesley Cooke, Zihao Mo, Weiming Xiang
2023 C conf
Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach.
ACC
Yejiang Yang, Weiming Xiang
2023 J jnl
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
CoRR
Weiming Xiang, Zhongzhu Shao
2022 C conf
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.
ACC
Weiming Xiang, Zhongzhu Shao
2022 J jnl
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.
CoRR
Weiming Xiang, Zhongzhu Shao
2022 J jnl
Design of interval observer for continuous linear large-scale systems with disturbance attenuation.
J. Frankl. Inst.
Tao Wang, Yapeng Li, Weiming Xiang
2022 J jnl
Guaranteed approximation error estimation of neural networks and model modification.
Neural Networks
Yejiang Yang, Tao Wang, Jefferson P. Woolard, Weiming Xiang
2022 J jnl
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.
IEEE Control. Syst. Lett.
Weiming Xiang
2022 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
Leibniz Trans. Embed. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2022 J jnl
Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems.
IEEE Trans. Cybern.
Weiming Xiang
2022 — conf
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
CDC
Weiming Xiang, Zhongzhu Shao
2022 J jnl
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.
IEEE Des. Test
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2021 J jnl
A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine.
CoRR
Weiming Xiang
2021 C conf
Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine.
ACC
Weiming Xiang
2021 — conf
Interval observer design of dynamical systems with neural networks.
HSCC
Weiming Xiang
2021 J jnl
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time.
CoRR
Weiming Xiang
2021 J jnl
New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach.
IEEE Trans. Syst. Man Cybern. Syst.
Yang Li, Weiming Xiang, Hongbin Zhang, Jianwei Xia, Qunxian Zheng
2021 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2021 — conf
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.
CDC
Yejiang Yang, Weiming Xiang
2021 J jnl
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.
CoRR
Yejiang Yang, Weiming Xiang
2021 J jnl
Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems.
CoRR
Weiming Xiang
2021 J jnl
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput.
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 — conf
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CAV (1)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
CoRR
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
CoRR
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2020 — conf
Verification of Deep Convolutional Neural Networks Using ImageStars.
CAV (1)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Verification of Deep Convolutional Neural Networks Using ImageStars.
CoRR
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2019 C conf
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
FORTE
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Necessary and sufficient conditions to stability of discrete-time delay systems.
J. Frankl. Inst.
Tao Wang, Weiming Xiang
2019 J jnl
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2019 — conf
Parallelizable reachability analysis algorithms for feed-forward neural networks.
FormaliSE@ICSE
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019 — conf
Reachability Analysis for High-Index Linear Differential Algebraic Equations.
FORMATS
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 B conf
Star-Based Reachability Analysis of Deep Neural Networks.
FM
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2018 J jnl
On stability and H∞ control of switched systems with random switching signals.
Autom.
Weiming Xiang, James Lam, Panshuo Li
2018 J jnl
Output Reachable Set Estimation and Verification for Multilayer Neural Networks.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties.
Autom.
Weiming Xiang
2018 J jnl
Reachability Analysis and Safety Verification for Neural Network Control Systems.
CoRR
Weiming Xiang, Taylor T. Johnson
2018 — conf
Reachability Analysis for One Dimensional Linear Parabolic Equations.
ADHS
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2018 C conf
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
ACC
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
CoRR
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.
CoRR
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
2018 J jnl
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.
CoRR
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
2018 J jnl
Specification-Guided Safety Verification for Feedforward Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Verification for Machine Learning, Autonomy, and Neural Networks Survey.
CoRR
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
2017 — conf
Distributed Autonomous Systems.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 C conf
On reachable set estimation for discrete-time switched linear systems under arbitrary switching.
ACC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Order-reduction abstractions for safety verification of high-dimensional linear systems.
Discret. Event Dyn. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Stability analysis and L
Autom.
Weiming Xiang, James Lam, Jun Shen
2016 J jnl
Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach.
Autom.
Lixian Zhang, Weiming Xiang
2016 J jnl
Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems Under Dwell-Time Constraint.
IEEE Trans. Autom. Control.
Weiming Xiang
2016 J jnl
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2016 — conf
Reachable set estimation and control for switched linear systems with dwell-time restriction.
CDC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2016 J jnl
Stability Analysis for LTI Control Systems With Controller Failures and Its Application in Failure Tolerant Control.
IEEE Trans. Autom. Control.
Weiming Xiang, Guisheng Zhai, Corentin Briat
2016 C conf
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
CCA
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
2015 J jnl
Dissipativity and dwell time specifications of switched discrete-time systems and its applications in
Inf. Sci.
Weiming Xiang, Jian Xiao, Guisheng Zhai
2015 J jnl
On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint.
Autom.
Weiming Xiang
2015 J jnl
Real-time signalization for an oversaturated intersection via static state feedback control: A switched system approach.
J. Frankl. Inst.
Weiming Xiang, Jian Xiao, Yangsheng Jiang
2015 J jnl
Stability analysis and failure tolerant control for discrete-time linear systems with controller failure.
Int. J. Control
Weiming Xiang, Guisheng Zhai, Jian Xiao
2014 J jnl
New results on asynchronous H
Appl. Math. Comput.
Jian Xiao, Weiming Xiang
2014 J jnl
Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems.
J. Frankl. Inst.
Muhammad Naveed Iqbal, Jian Xiao, Weiming Xiang
2014 — conf
Reliable tracking control for high speed train against actuator failures: A parallel control architecture.
ITSC
Weiming Xiang, Jian Xiao
2014 J jnl
Stabilization of switched continuous-time systems with all modes unstable via dwell time switching.
Autom.
Weiming Xiang, Jian Xiao
2014 J jnl
Switching PDC control for discrete-time T-S fuzzy system: A membership function ranking approach.
J. Frankl. Inst.
Weiming Xiang, Jian Xiao, Lu Han
2013 J jnl
Finite-time stability and stabilisation for switched linear systems.
Int. J. Syst. Sci.
Weiming Xiang, Jian Xiao
2013 J jnl
H∞ control for switched fuzzy systems via dynamic output feedback: Hybrid and switched approaches.
Commun. Nonlinear Sci. Numer. Simul.
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
2013 J jnl
ℋ
Circuits Syst. Signal Process.
Weiming Xiang, Jian Xiao, Lu Han
2012 J jnl
Discussion on "Stability, l
IEEE Trans. Autom. Control.
Weiming Xiang, Jian Xiao
2012 J jnl
H
J. Syst. Control. Eng.
Weiming Xiang, Jian Xiao
2012 J jnl
Robust finite-time bounded observer design for a class of uncertain non-linear Markovian jump systems.
IMA J. Math. Control. Inf.
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
2012 J jnl
ℋ
Circuits Syst. Signal Process.
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
2011 J jnl
Fault detection for switched nonlinear systems under asynchronous switching.
Int. J. Control
Weiming Xiang, Jian Xiao, Muhammad Naveed Iqbal
2011 J jnl
On Finite-Time Stability and Stabilization for Switched Discrete Linear Systems.
Control. Intell. Syst.
Weiming Xiang, Jian Xiao, Chengyong Xiao
2009 J jnl
Stability analysis of switched systems under dynamical dwell time control approach.
Int. J. Syst. Sci.
Zhengrong Xiang, Weiming Xiang
2008 J jnl
Observer Design for a Class of switched nonlinear Systems.
Control. Intell. Syst.
Zhengrong Xiang, Weiming Xiang
2008 — conf
Stability Analysis of Switched Nonlinear Systems Based on Dynamical Dwell Time Approach.
ICNSC
Zhengrong Xiang, Weiming Xiang