Contributions to the study of a class of optimal control problems on the orthogonal groups SO(3) and SO(4)

Abstract

In this thesis we investigate a class of invariant optimal control problems, and their associated quadratic Hamilton-Poisson systems, on the orthogonal groups SO(3) and SO(4). Specifically, we are concerned with the class of left-invariant control affine systems. We begin by classifying all cost-extended systems on SO(3) under cost equivalence. (Cost-extended systems are closely related to optimal control problems.) A classification of all quadratic Hamilton-Poisson systems on the (minus) Lie-Poisson space so(3)*, under affine equivalence, is also obtained. For the normal forms obtained in our classification (of Hamilton-Poisson systems) we investigate the (Lyapunov) stability nature of the equilibria using spectral and energy-Casimir methods. For a subclass of these systems, we obtain analytic expressions for the integral curves of the associated Hamiltonian vector fields in terms of (basic) Jacobi elliptic functions. The explicit relationship between the classification of cost-extended systems on SO(3) and the classification of quadratic Hamilton- Poisson systems on so(3)* is provided. On SO(4), a classification of all left-invariant control affine systems under L-equivalence is obtained. We then determine which of these representatives are controllable, thus obtaining a classification under detached feedback equivalence. We also obtain a partial classification of quadratic Hamilton-Poisson systems on the Lie-Poisson space so(4)*. An investigation of the stability nature of the equilibria for a subclass of these systems is also done. Several illustrative examples of optimal control problems on the orthogonal group SO(3) are provided. More specifically, we consider an optimal control problem corresponding to a representative of our classification (of cost-extended system) for each possible number of control inputs. For each of these problems, we obtain explicit expressions for the extremal trajectories on the homogeneous space S2 by projecting the extremal trajectories on the group SO(3). The examples provided show how our classifications of cost-extended systems and Hamilton-Poisson systems can be used to obtain the optimal controls and the extremal trajectories corresponding to a large class of optimal control problems on SO(3). An example of a four-input optimal control problem on SO(4) is also provided. This example is provided to show how the solutions of certain problems on SO(4) can be related to the solutions of certain optimal control problems on SO(3).