Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach

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

(2022) Tao Wang et al.   JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS

Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers

(2021) He Yin et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems

(2021) Weiming Xiang   IEEE Transactions on Cybernetics

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

(2020) Weiming Xiang et al.   IEEE Transactions on Neural Networks and Learning Systems

Neural-Network Approximation-Based Adaptive Periodic Event-Triggered Output-Feedback Control of Switched Nonlinear Systems

(2020) Shi Li et al.   IEEE Transactions on Cybernetics

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

(2020) Mahyar Fazlyab et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

(2018) Weiming Xiang et al.   IEEE Transactions on Neural Networks and Learning Systems

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

(2017) Weiming Xiang et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

State Estimation of Discrete-Time Switched Neural Networks With Multiple Communication Channels

(2017) Lixian Zhang et al.   IEEE Transactions on Cybernetics

Design of interval observer for a class of uncertain unobservable nonlinear systems

(2016) Gang Zheng et al.   AUTOMATICA

Design of interval observers for uncertain dynamical systems

(2016) D. Efimov et al.   AUTOMATION AND REMOTE CONTROL

Interval observers for continuous-time LPV systems with L1/L2 performance

(2015) Stanislav Chebotarev et al.   AUTOMATICA

A New Approach to Design Interval Observers for Linear Systems

(2015) Filippo Cacace et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Exponential Stabilization for Sampled-Data Neural-Network-Based Control Systems

(2014) Zheng-Guang Wu et al.   IEEE Transactions on Neural Networks and Learning Systems