Akash Harapanahalli

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers

2023 · arXiv (Cornell University)

This paper proposes a computationally efficient framework, based on interval analysis, for rigorous verification of nonlinear continuous-time dynamical systems with neural network controllers. Given a neural network, we use an existing verification algorithm to construct …