Reachability analysis for neural feedback systems using regressive polynomial rule inference

DOI10.1145/3302504.3311807OpenAlexW2938701611MaRDI QIDQ5239232FDOQ5239232

Authors Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan

Publication date 22 October 2019

Published in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3302504.3311807

zbMATH Keywords

hybrid systemneural networkreachability analysispolynomial regressionflowpipe construction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Reachable set analysis for dynamic neural networks with polytopic uncertainties
• Reachability analysis of a general class of neural ordinary differential equations
• Reachability in Simple Neural Networks
• Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints
• RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
• Feedback linearization using neural networks
• Neural network repair with reachability analysis

Cited in

(21)

• RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
• Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
• Reluplex: a calculus for reasoning about deep neural networks
• Verifying the generalization of deep learning to out-of-distribution domains
• An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• T4V: exploring neural network architectures that improve the scalability of neural network verification
• BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
• Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach
• Generating probabilistic safety guarantees for neural network controllers
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
• Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
• Verifying generalization in deep learning
• Verification-guided programmatic controller synthesis
• Static analysis of ReLU neural networks with tropical polyhedra
• Reachability analysis of a general class of neural ordinary differential equations
• Learning safe neural network controllers with barrier certificates
• A few lessons learned in reinforcement learning for quadcopter attitude control
• Reachability analysis of deep ReLU neural networks using facet-vertex incidence
• Verification of machine learning based cyber-physical systems: a comparative study

This page was built for publication: Reachability analysis for neural feedback systems using regressive polynomial rule inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5239232)