Synergistic Lyapunov functions and backstepping hybrid feedbacks

The notion of synergistic potential functions has been introduced recently in the literature and has been used as the basis for the design of hybrid feedback laws that achieve global asymptotic stabilization of a point on a compact manifold (without boundary) such as S1, S2, and SO(3). Here, synergistic potential functions are generalized-to synergistic Lyapunov functions-and are shown to be amenable to backstepping. In particular, if an afflne control system admits a (weak) synergistic Lyapunov function and feedback pair then the system with an integrator added at the input also admits a synergistic Lyapunov and feedback pair. This fact enables "smoothing" hybrid feedbacks, or implementing them through a chain of integrators. In this way, hybrid control designed at a kinematic level can be redesigned for control through forces, torques, or even the derivative of these quantities. We demonstrate the backstepping procedure for attitude stabilization of a rigid body using a quaternion parametrization.

[1]  Nael H. Ei-Farra,et al.  Output feedback control of switched nonlinear systems using multiple Lyapunov functions , 2001 .

[2]  Christopher G. Mayhew,et al.  Hybrid control of planar rotations , 2010, Proceedings of the 2010 American Control Conference.

[3]  Ricardo G. Sanfelice,et al.  Quaternion-Based Hybrid Control for Robust Global Attitude Tracking , 2011, IEEE Transactions on Automatic Control.

[4]  Andrew R. Teel,et al.  Global asymptotic stabilization of the inverted equilibrium manifold of the 3-D pendulum by hybrid feedback , 2010, 49th IEEE Conference on Decision and Control (CDC).

[5]  F. Wilson.  The structure of the level surfaces of a Lyapunov function , 1967 .

[6]  A. Morse,et al.  Applications of hysteresis switching in parameter adaptive control , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[7]  D. Mayne.  Nonlinear and Adaptive Control Design [Book Review] , 1996, IEEE Transactions on Automatic Control.

[8]  Alexander Leonessa,et al.  Nonlinear system stabilization via hierarchical switching control , 2001, IEEE Trans. Autom. Control..

[9]  Zhengrong Xiang,et al.  Design of controllers for a class of switched nonlinear systems based on backstepping method , 2008 .

[10]  Ricardo G. Sanfelice,et al.  Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability , 2007, IEEE Transactions on Automatic Control.

[11]  Andrew R. Teel,et al.  Hybrid control of rigid-body attitude with synergistic potential functions , 2011, Proceedings of the 2011 American Control Conference.

[12]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[13]  Andrew R. Teel,et al.  Hybrid control of spherical orientation , 2010, 49th IEEE Conference on Decision and Control (CDC).

[14]  Frank L. Lewis,et al.  Hybrid control for a class of underactuated mechanical systems , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[15]  M.J. Messina,et al.  Robust hybrid controllers for continuous-time systems with applications to obstacle avoidance and regulation to disconnected set of points , 2006, 2006 American Control Conference.

[16]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[17]  Ricardo G. Sanfelice,et al.  On quaternion-based attitude control and the unwinding phenomenon , 2011, Proceedings of the 2011 American Control Conference.

[18]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[19]  Johan Eker,et al.  Hybrid control of a double tank system , 1997, Proceedings of the 1997 IEEE International Conference on Control Applications.

[20]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[21]  Karl Johan Åström,et al.  A Stabilizing Switching Scheme for Multi Controller Systems , 1996 .

[22]  A. Isidori,et al.  Passivity, feedback equivalence, and the global stabilization of minimum phase nonlinear systems , 1991 .

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

[24]  G. P. Szegö,et al.  Stability theory of dynamical systems , 1970 .

[25]  João Pedro Hespanha,et al.  Scale-Independent Hysteresis Switching , 1999, HSCC.