Second order optimality conditions in the smooth case and applications in optimal control

Bernard Bonnard (1) , Jean-Baptiste Caillau (1) , Emmanuel Trélat (2)

1 IMB - Institut de Mathématiques de Bourgogne [Dijon]
2 MAPMO - Mathématiques - Analyse, Probabilités, Modélisation - Orléans

The aim of this article is to present algorithms to compute the first conjugate time along a smooth extremal curve, where the trajectory ceases to be optimal. It is based on recent theoretical developments of geometric optimal control, and the article contains a review of second order optimality conditions. The computations are related to a test of positivity of the intrinsic second order derivative or a test of singularity of the extremal flow. We derive an algorithm called COTCOT (Conditions of Order Two and COnjugate times), available on the web, and apply it to the minimal time problem of orbit transfer, and to the attitude control problem of a rigid spacecraft. This algorithm involves both normal and abnormal cases.

Mots clés: conjugate point; second-order intrinsic derivative; Lagrangian singularity; Jacobi field; orbit transfer; attitude control

Domaines: Optimisation et contrôle [math.OC]

Bernard Bonnard, Jean-Baptiste Caillau, Emmanuel Trélat. Second order optimality conditions in the smooth case and applications in optimal control. ESAIM: Control, Optimisation and Calculus of Variations, 2007, 13 (2), pp.207--236. ⟨hal-00086380⟩