RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
From MaRDI portal
Publication:6487328
DOI10.1007/978-3-031-13185-1_25zbMATH Open1518.93013MaRDI QIDQ6487328FDOQ6487328
Authors: Éric Goubault, Sylvie Putot 
Publication date: 7 December 2022
Recommendations
- Forward inner-approximated reachability of non-linear continuous systems
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Inner approximated reachability analysis
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- Learning safe neural network controllers with barrier certificates
Attainable sets, reachability (93B03) Networked control (93B70) Computational methods for problems pertaining to systems and control theory (93-08)
Cites Work
- Title not available (Why is that?)
- Stabilizing low complexity feedback control of constrained piecewise affine systems
- FILIB++, a fast interval library supporting containment computations
- Reachability analysis for neural feedback systems using regressive polynomial rule inference
- Verisig
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Inner and outer approximating flowpipes for delay differential equations
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Inner and outer reachability for the verification of control systems
Cited In (2)
This page was built for publication: RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487328)
