Optimization methods for solving bang-bang control problems with state constraints and the verification of sufficient conditions | IEEE Conference Publication | IEEE Xplore