Pontryagin's maximum principle