Weiming Xiang

Neurocomputing, December, 2023

Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation.

[BibT_eX]

[DOI]

CoRR, 2023

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.

[BibT_eX]

[DOI]

Zihao Mo

Proceedings of the IEEE International Conference on Industrial Technology, 2023

Guaranteed Quantization Error Computation for Neural Network Model Compression.

[BibT_eX]

[DOI]

Wesley Cooke

Zihao Mo

Proceedings of the IEEE International Conference on Industrial Technology, 2023

Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2022

Guaranteed approximation error estimation of neural networks and model modification.

[BibT_eX]

[DOI]

Neural Networks, 2022

Real-Time Verification for Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2022

Design of interval observer for continuous linear large-scale systems with disturbance attenuation.

[BibT_eX]

[DOI]

Tao Wang

Yapeng Li

J. Frankl. Inst., 2022

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Des. Test, 2022

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.

[BibT_eX]

[DOI]

Zhongzhu Shao

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.

[BibT_eX]

[DOI]

Zhongzhu Shao

Proceedings of the American Control Conference, 2022

2021

New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2021

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine.

[BibT_eX]

[DOI]

CoRR, 2021

Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Interval observer design of dynamical systems with neural networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.

[BibT_eX]

[DOI]

CoRR, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Necessary and sufficient conditions to stability of discrete-time delay systems.

[BibT_eX]

[DOI]

Tao Wang

J. Frankl. Inst., 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Output Reachable Set Estimation and Verification for Multilayer Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2018

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Specification-Guided Safety Verification for Feedforward Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

[BibT_eX]

[DOI]

CoRR, 2018

Reachability Analysis and Safety Verification for Neural Network Control Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

CoRR, 2018

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.

[BibT_eX]

[DOI]

CoRR, 2018

On stability and H∞ control of switched systems with random switching signals.

[BibT_eX]

[DOI]

James Lam

Panshuo Li

Autom., 2018

Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties.

[BibT_eX]

[DOI]

Autom., 2018

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.

[BibT_eX]

[DOI]

CoRR, 2017

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Stability analysis and L1-gain characterization for switched positive systems under dwell-time constraint.

[BibT_eX]

[DOI]

James Lam

Jun Shen

Autom., 2017

Distributed Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

On reachable set estimation for discrete-time switched linear systems under arbitrary switching.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Stability Analysis for LTI Control Systems With Controller Failures and Its Application in Failure Tolerant Control.

[BibT_eX]

[DOI]

Guisheng Zhai

Corentin Briat

IEEE Trans. Autom. Control., 2016

Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems Under Dwell-Time Constraint.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach.

[BibT_eX]

[DOI]

Lixian Zhang

Autom., 2016

Reachable set estimation and control for switched linear systems with dwell-time restriction.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Real-time signalization for an oversaturated intersection via static state feedback control: A switched system approach.

[BibT_eX]

[DOI]

Yangsheng Jiang

J. Frankl. Inst., 2015

Dissipativity and dwell time specifications of switched discrete-time systems and its applications in H∞ and robust passive control.

[BibT_eX]

[DOI]

Guisheng Zhai

Inf. Sci., 2015

Stability analysis and failure tolerant control for discrete-time linear systems with controller failure.

[BibT_eX]

[DOI]

Guisheng Zhai

Int. J. Control, 2015

On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint.

[BibT_eX]

[DOI]

Autom., 2015

2014

Switching PDC control for discrete-time T-S fuzzy system: A membership function ranking approach.

[BibT_eX]

[DOI]

Lu Han

J. Frankl. Inst., 2014

Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2014

Stabilization of switched continuous-time systems with all modes unstable via dwell time switching.

[BibT_eX]

[DOI]

Autom., 2014

New results on asynchronous H∞ control for switched discrete-time linear systems under dwell time constraint.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2014

Reliable tracking control for high speed train against actuator failures: A parallel control architecture.

[BibT_eX]

[DOI]

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013

Finite-time stability and stabilisation for switched linear systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2013

ℋ∞ Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems.

[BibT_eX]

[DOI]

Lu Han

Circuits Syst. Signal Process., 2013

H∞ control for switched fuzzy systems via dynamic output feedback: Hybrid and switched approaches.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2013

2012

Discussion on "Stability, l2-Gain and Asynchronous H∞ Control of Discrete-Time Switched Systems With Average Dwell Time".

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

H∞ controller design for a class of switched linear discrete-time system with polytopic uncertainties.

[BibT_eX]

[DOI]

J. Syst. Control. Eng., 2012

Robust finite-time bounded observer design for a class of uncertain non-linear Markovian jump systems.

[BibT_eX]

[DOI]

IMA J. Math. Control. Inf., 2012

ℋ∞ Filtering for Short-Time Switched Discrete-Time Linear Systems.

[BibT_eX]

[DOI]

Circuits Syst. Signal Process., 2012

2011

H∞ finite-time control for switched nonlinear discrete-time systems with norm-bounded disturbance.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2011

H∞ filtering for switched nonlinear systems under asynchronous switching.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2011

Fault detection for switched nonlinear systems under asynchronous switching.

[BibT_eX]

[DOI]

Int. J. Control, 2011

On Finite-Time Stability and Stabilization for Switched Discrete Linear Systems.

[BibT_eX]

[DOI]

Chengyong Xiao

Control. Intell. Syst., 2011

H∞ Filtering for Uncertain Switched Nonlinear Systems via Filter State impulsive Jump Approach.

[BibT_eX]

[DOI]

Control. Intell. Syst., 2011

2009

Stability analysis of switched systems under dynamical dwell time control approach.

[BibT_eX]

[DOI]

Zhengrong Xiang

Int. J. Syst. Sci., 2009

2008

Observer Design for a Class of switched nonlinear Systems.

[BibT_eX]

[DOI]

Zhengrong Xiang

Control. Intell. Syst., 2008

Stability Analysis of Switched Nonlinear Systems Based on Dynamical Dwell Time Approach.

[BibT_eX]

[DOI]

Zhengrong Xiang