Hamilton-Jacobi-Isaacs formulation for constrained input nonlinear systems | IEEE Conference Publication | IEEE Xplore