a1 Univ. Dijon, IMB, Bât. Mirande, 9 avenue Alain Savary, 21078 Dijon Cedex, France; Bernard.Bonnard@u-bourgogne.fr
a2 ENSEEIHT-IRIT, UMR CNRS 5505, 2 rue Camichel, 31071 Toulouse, France; firstname.lastname@example.org
a3 Univ. Orléans, UFR Sciences Mathématiques, Labo. MAPMO, UMR 6628, Route de Chartres, BP 6759, 45067 Orléans Cedex 2, France; email@example.com
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.
(Received May 19 2005)
(Online publication May 12 2007)
Mathematics Subject Classification: