Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neural network is considered to consist of Rectified Linear Unit (ReLU) activation functions. A layer-by-layer approach is developed for the output reachable set computation …