# NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks

arXiv: https://arxiv.org/abs/2007.05685 · HTML: https://mlsanity.com/paper/2007.05685/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 11 Jul 2020.

## Built on by (most cited first, 2 of 2)

- [NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation](https://mlsanity.com/paper/2207.03884/) (2022)
- [Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems](https://mlsanity.com/paper/2312.10842/) (2023)

## Abstract (arXiv)

In this paper, we propose a framework for performing state space exploration of closed loop control systems. Our approach involves approximating sensitivity and a newly introduced notion of inverse sensitivity by a neural network. We show how the approximation of sensitivity and inverse sensitivity can be used for computing estimates of the reachable set. We then outline algorithms for performing state space exploration by generating trajectories that reach a neighborhood. We demonstrate the effectiveness of our approach by applying it not only to standard linear and nonlinear dynamical systems, but also to nonlinear hybrid systems and also neural network based feedback control systems.