Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers

James Ferlez, Yasser Shoukry

In this paper, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) system controlled by a Rectified Linear Unit (ReLU) Two-Level…