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

Cites Work

Design of interval observers for uncertain dynamical systems
Interval observers for continuous-time LPV systems with \(L_1/L_2\) performance
Design of interval observer for a class of uncertain unobservable nonlinear systems
Neural networks for control systems - a survey
Design of interval observer for continuous linear large-scale systems with disturbance attenuation
A New Approach to Design Interval Observers for Linear Systems
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers
Reachability analysis for neural feedback systems using regressive polynomial rule inference
Star-based reachability analysis of deep neural networks

This page was built for publication: Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach