MPC on manifolds with applications to the control of systems on matrix Lie groups

This paper presents a model predictive control scheme for systems with discrete-time dynamics evolving on configuration spaces that are smooth manifolds. The scheme exhibits similar properties to that of ordinary model predictive control applied to dynamics evolving on R^n. It also exhibits global asymptotic stability properties even in the case when there does not exist a globally stabilizing, continuous control law, implying that the model predictive control law is discontinuous. We also demonstrate that there do not exist globally stabilizing, continuous control laws for manifolds with Euler characteristic equal to 1. In particular, the case of matrix Lie groups is considered, which are manifolds whose Euler characteristic is equal to 0. An application to spacecraft attitude control is also considered in the paper, in which spacecraft attitude evolves on the matrix Lie group SO(3). Two simulation results are reported. The first demonstrates that the scheme is able to enforce constraints. The second simulation considers the unconstrained case in order to test properties relating to global stability and it is shown that the stabilizing model predictive control law is discontinuous.

[1]  N. McClamroch,et al.  A lie group variational integrator for the attitude dynamics of a rigid body with applications to the 3D pendulum , 2005, Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005..

[2]  M. A. Henson,et al.  Receding horizon control and discontinuous state feedback stabilization , 1995 .

[3]  Graham C. Goodwin,et al.  Constrained Control and Estimation: an Optimization Approach , 2004, IEEE Transactions on Automatic Control.

[4]  Keenan Crane,et al.  Lie group integrators for animation and control of vehicles , 2009, TOGS.

[5]  S. Bhat,et al.  A topological obstruction to continuous global stabilization of rotational motion and the unwinding phenomenon , 2000 .

[6]  G. Wanner,et al.  AN OVERVIEW OF LIE GROUP VARIATIONAL INTEGRATORS AND THEIR APPLICATIONS TO OPTIMAL CONTROL , 2007 .

[7]  A. Laub,et al.  Generalized eigenproblem algorithms and software for algebraic Riccati equations , 1984, Proceedings of the IEEE.

[8]  P. Olver Nonlinear Systems , 2013 .

[9]  Roger W. Brockett,et al.  The early days of geometric nonlinear control , 2014, Autom..

[10]  John Hauser,et al.  Optimal Control on Lie Groups: The Projection Operator Approach , 2013, IEEE Transactions on Automatic Control.

[11]  John M. Lee Introduction to Smooth Manifolds , 2002 .

[12]  R. Brockett System Theory on Group Manifolds and Coset Spaces , 1972 .

[13]  V. Jurdjevic Optimal control on Lie groups and integrable Hamiltonian systems , 2011 .

[14]  A. D. Lewis,et al.  Geometric Control of Mechanical Systems , 2004, IEEE Transactions on Automatic Control.

[15]  H. Sussmann,et al.  Control systems on Lie groups , 1972 .

[16]  Taeyoung Lee Computational geometric mechanics and control of rigid bodies , 2008 .

[17]  F. Leite,et al.  The Moser-Veselov equation , 2003 .

[18]  A. Granas,et al.  Fixed Point Theory , 2003 .

[19]  J. Marsden,et al.  Discrete mechanics and variational integrators , 2001, Acta Numerica.

[20]  B. Dundas,et al.  DIFFERENTIAL TOPOLOGY , 2002 .

[21]  V. Jurdjevic Geometric control theory , 1996 .

[22]  B. Hall Lie Groups, Lie Algebras, and Representations: An Elementary Introduction , 2004 .

[23]  F. Allgower,et al.  Real-time feasibility of nonlinear predictive control for large scale processes-a case study , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[24]  R. Brockett Lie Algebras and Lie Groups in Control Theory , 1973 .

[25]  R. Carter Lie Groups , 1970, Nature.

[26]  R. Brockett Lie Theory and Control Systems Defined on Spheres , 1973 .

[27]  N. McClamroch,et al.  Optimal Attitude Control of a Rigid Body Using Geometrically Exact Computations on SO(3) , 2006, math/0601424.

[28]  A. Bloch,et al.  Nonholonomic Mechanics and Control , 2004, IEEE Transactions on Automatic Control.

[29]  Mario Zanon,et al.  Nonlinear MPC and MHE for Mechanical Multi-Body Systems with Application to Fast Tethered Airplanes , 2012 .

[30]  Stefano Di Cairano,et al.  Constrained spacecraft attitude control on SO(3) using reference governors and nonlinear model predictive control , 2014, 2014 American Control Conference.

[31]  A. Agrachev,et al.  Control Theory from the Geometric Viewpoint , 2004 .