Sufficient Conditions for the Optimal Control of Nonlinear Systems | Synapse