RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems - Archive ouverte HAL
Article Dans Une Revue Lecture Notes in Computer Science Année : 2022

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems

Résumé

We present a unified approach, implemented in the RINO tool, for the computation of inner and outer-approximations of reachable sets of discrete-time and continuous-time dynamical systems, possibly controlled by neural networks with differentiable activation functions. RINO combines a zonotopic set representation with generalized mean-value AE extensions to compute under and over-approximations of the robust range of differentiable functions, and applies these techniques to the particular case of learning-enabled dynamical systems. The AE extensions require an efficient and accurate evaluation of the function and its Jacobian with respect to the inputs and initial conditions. For continuous-time systems, possibly controlled by neural networks, the function to evaluate is the solution of the dynamical system. It is over-approximated in RINO using Taylor methods in time coupled with a set-based evaluation with zonotopes. We demonstrate the good performances of RINO compared to state-of-the art tools Verisig 2.0 and ReachNN* on a set of classical benchmark examples of neural network controlled closed loop systems. For generally comparable precision to Verisig 2.0 and higher precision than ReachNN*, RINO is always at least one order of magnitude faster, while also computing the more involved inner-approximations that the other tools do not compute.
Fichier principal
Vignette du fichier
978-3-031-13185-1_25.pdf (649.65 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03805908 , version 1 (07-10-2022)

Identifiants

Citer

Eric Goubault, Sylvie Putot. RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. Lecture Notes in Computer Science, 2022, Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I, pp.511 - 523. ⟨10.1007/978-3-031-13185-1_25⟩. ⟨hal-03805908⟩
36 Consultations
22 Téléchargements

Altmetric

Partager

More