Pontryagin minimum principle