Describir: The mathematical theory of optimal control