A Hamilton-Jacobi setup for constrained neural network control | Synapse