Hysteretic Control Lyapunov Functions with Application to Global Asymptotic Tracking for Underwater Vehicles

This paper introduces hysteretic control Lyapunov functions (HCLFs) for hybrid feedback control of a class of continuous-time systems. A family of HCLFs consists of local control Lyapunov functions defined on open domains, and include finite collections of open and closed sets that cover the state-space, implicitly defining a hysteresis-based switching mechanism. Given an HCLF family, we derive sufficient conditions for the existence of globally asymptotically stabilizing hybrid control laws. Moreover, we provide a constructive design procedure for synthesis of optimization-based feedback laws under mild conditions on the objective functions. We construct HCLFs for an underwater vehicle and demonstrate their applicability to hybrid control design for global asymptotic trajectory tracking for underwater vehicles.

[1]  Eduardo Sontag.  A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

[2]  J. Stuelpnagel.  On the Parametrization of the Three-Dimensional Rotation Group , 1964 .

[3]  Ricardo G. Sanfelice,et al.  On the Existence of Control Lyapunov Functions and State-Feedback Laws for Hybrid Systems , 2013, IEEE Transactions on Automatic Control.

[4]  Andrew R. Teel,et al.  Synergistic potential functions for hybrid control of rigid-body attitude , 2011, Proceedings of the 2011 American Control Conference.

[5]  E. Michael.  Continuous Selections. I , 1956 .

[6]  Eduardo Sontag.  A universal construction of Artstein's theorem on nonlinear stabilization , 1989 .

[7]  Ricardo G. Sanfelice.  Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions , 2016, HSCC.

[8]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[9]  Rafal Goebel,et al.  Smooth patchy control Lyapunov functions , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

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

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

[12]  Hisakazu Nakamura,et al.  Étale backstepping for control Lyapunov function design on manifold , 2017, Autom..

[13]  Hisakazu Nakamura,et al.  Étale Synergistic Hybrid Control Design for Asymptotic Stabilization on Manifold via Minimum Projection Method , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[14]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

[15]  Andrew R. Teel,et al.  On the topological structure of attraction basins for differential inclusions , 2011, Syst. Control. Lett..

[16]  Ricardo G. Sanfelice,et al.  Synergistic Lyapunov functions and backstepping hybrid feedbacks , 2011, Proceedings of the 2011 American Control Conference.

[17]  E. Feinberg,et al.  Bergeʼs maximum theorem for noncompact image sets , 2013, 1309.7708.

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

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

[20]  Ricardo G. Sanfelice,et al.  Robust global asymptotic stabilization of a 6-DOF rigid body by quaternion-based hybrid feedback , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  Leigh McCue,et al.  Handbook of Marine Craft Hydrodynamics and Motion Control [Bookshelf] , 2016, IEEE Control Systems.

[22]  Pedro Casau,et al.  Hybrid Control for Robust and Global Tracking on Smooth Manifolds , 2020, IEEE Transactions on Automatic Control.

[23]  Jean-Pierre Aubin,et al.  Mutational and Morphological Analysis: Tools for Shape Evolution and Morphogenesis , 1998 .

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