Lyapunov Event-Triggered Stabilization With a Known Convergence Rate

A constructive tool of nonlinear control system design, the method of control Lyapunov functions (CLFs), has found numerous applications in stabilization problems for continuous-time, discrete-time, and hybrid systems. In this paper, we address the fundamental question: Given a CLF, corresponding to a continuous-time controller with some predefined (e.g., exponential) convergence rate, can the same convergence rate be provided by an event-triggered controller? Under certain assumptions, we give an affirmative answer to this question and show that the corresponding event-based controllers provide positive dwell times between consecutive events. Furthermore, we prove the existence of self-triggered and periodic event-triggered controllers, providing stabilization with a known convergence rate.

[1]  Fabian R. Wirth,et al.  Control Lyapunov Functions and Zubov's Method , 2008, SIAM J. Control. Optim..

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

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

[4]  E. Feron,et al.  A control Lyapunov function approach to robust stabilization of nonlinear systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[5]  Bayu Jayawardhana,et al.  Stabilization with guaranteed safety using Control Lyapunov-Barrier Function , 2016, Autom..

[6]  P. Kokotovic,et al.  Sufficient conditions for stabilization of sampled-data nonlinear systems via discrete-time approximations , 1999 .

[7]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[8]  Koushil Sreenath,et al.  Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics , 2014, IEEE Transactions on Automatic Control.

[9]  Dennis S. Bernstein,et al.  Finite-Time Stability of Continuous Autonomous Systems , 2000, SIAM J. Control. Optim..

[10]  HRISTOPHE,et al.  Stability of nonlinear systems by means of event-triggered sampling algorithms , 2018 .

[11]  E. Moulay,et al.  Finite time stability and stabilization of a class of continuous systems , 2006 .

[12]  R. Happee,et al.  Delay-compensating strategy to enhance string stability of adaptive cruise controlled vehicles , 2018 .

[13]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

[14]  Paulo Tabuada,et al.  To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.

[15]  C. J. Himmelberg,et al.  On measurable relations , 1982 .

[16]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[17]  Shankar Sastry,et al.  The effect of discretized feedback in a closed loop system , 1987, 26th IEEE Conference on Decision and Control.

[18]  W. P. M. H. Heemels,et al.  Model-based periodic event-triggered control for linear systems , 2013, Autom..

[19]  Huanqing Wang,et al.  Backstepping-Based Lyapunov Function Construction Using Approximate Dynamic Programming and Sum of Square Techniques , 2017, IEEE Transactions on Cybernetics.

[20]  Keck Voon Ling,et al.  Inverse optimal adaptive control for attitude tracking of spacecraft , 2005, IEEE Trans. Autom. Control..

[21]  Manuel Mazo,et al.  Formal Controller Synthesis via Genetic Programming , 2017 .

[22]  Emilia Fridman,et al.  Recent developments on the stability of systems with aperiodic sampling: An overview , 2017, Autom..

[23]  Andrew R. Teel,et al.  Discrete-time asymptotic controllability implies smooth control-Lyapunov function , 2004, Syst. Control. Lett..

[24]  W. P. M. H. Heemels,et al.  Event-Separation Properties of Event-Triggered Control Systems , 2014, IEEE Transactions on Automatic Control.

[25]  Miroslav Krstic,et al.  Nonlinear and adaptive control de-sign , 1995 .

[26]  Mrdjan Jankovic,et al.  Control Lyapunov-Razumikhin functions and robust stabilization of time delay systems , 2001, IEEE Trans. Autom. Control..

[27]  Meng Wang,et al.  Design and analysis of Full Range Adaptive Cruise Control with integrated collision a voidance strategy , 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC).

[28]  Manuel Mazo,et al.  System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems , 2014, IEEE Transactions on Industrial Informatics.

[29]  J. Martínez,et al.  Lyapunov event-triggered control: a new event strategy based on the control , 2013 .

[30]  Bin Liu,et al.  Exponential stability via event-triggered impulsive control for continuous-time dynamical systems , 2014, Proceedings of the 33rd Chinese Control Conference.

[31]  Jean-Baptiste Pomet,et al.  Esaim: Control, Optimisation and Calculus of Variations Control Lyapunov Functions for Homogeneous " Jurdjevic-quinn " Systems , 2022 .

[32]  David H. Owens,et al.  Fast Sampling and Stability of Nonlinear Sampled-Data Systems: Part 1. Existence Theorems , 1990 .

[33]  P. Kokotovic,et al.  Inverse Optimality in Robust Stabilization , 1996 .

[34]  W. P. M. H. Heemels,et al.  Periodic Event-Triggered Control for Linear Systems , 2013, IEEE Trans. Autom. Control..

[35]  Dong Yue,et al.  A Delay System Method for Designing Event-Triggered Controllers of Networked Control Systems , 2013, IEEE Transactions on Automatic Control.

[36]  Manuel Mazo,et al.  An ISS self-triggered implementation of linear controllers , 2009, Autom..

[37]  Paulo Tabuada,et al.  Periodic event-triggered control for nonlinear systems , 2013, 52nd IEEE Conference on Decision and Control.

[38]  Emilia Fridman,et al.  Event-Triggered $H_{\infty}$ Control: A Switching Approach , 2015, IEEE Transactions on Automatic Control.

[39]  C. C. Chien,et al.  Regulation layer controller design for automated highway systems , 1995 .

[40]  Dragan Nesic,et al.  A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation , 2004, Autom..

[41]  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.

[42]  Dragan Nesic,et al.  A framework for stabilization of nonlinear sampled-data systems based on their approximate discrete-time models , 2004, IEEE Transactions on Automatic Control.

[43]  Ming Cao,et al.  Synchronization of Pulse-Coupled Oscillators and Clocks Under Minimal Connectivity Assumptions , 2017, IEEE Transactions on Automatic Control.

[44]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[45]  W. P. M. H. Heemels,et al.  Output-Based and Decentralized Dynamic Event-Triggered Control With Guaranteed $\mathcal{L}_{p}$- Gain Performance and Zeno-Freeness , 2017, IEEE Transactions on Automatic Control.

[46]  A. Rantzer.  A dual to Lyapunov's stability theorem , 2001 .

[47]  Yuandan Lin,et al.  A universal formula for stabilization with bounded controls , 1991 .

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

[49]  Randy A. Freeman,et al.  Robust Nonlinear Control Design , 1996 .

[50]  Nicolas Marchand,et al.  A General Formula for Event-Based Stabilization of Nonlinear Systems , 2013, IEEE Transactions on Automatic Control.

[51]  R. E. Kalman,et al.  Control System Analysis and Design Via the “Second Method” of Lyapunov: I—Continuous-Time Systems , 1960 .

[52]  Françoise Lamnabhi-Lagarrigue,et al.  On the stability of a class of nonlinear hybrid systems , 2006 .

[53]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

[54]  Paulo Tabuada,et al.  Correct-by-Construction Adaptive Cruise Control: Two Approaches , 2016, IEEE Transactions on Control Systems Technology.

[55]  J. Coron,et al.  Lyapunov design of stabilizing controllers for cascaded systems , 1991 .

[56]  Nicolas Marchand,et al.  Stability of non-linear systems by means of event-triggered sampling algorithms , 2014, IMA J. Math. Control. Inf..

[57]  Paulo Tabuada,et al.  A Framework for the Event-Triggered Stabilization of Nonlinear Systems , 2015, IEEE Transactions on Automatic Control.

[58]  Emilia Fridman,et al.  Distributed event-triggered control of diffusion semilinear PDEs , 2016, Autom..

[59]  A. Anta,et al.  Self-triggered stabilization of homogeneous control systems , 2008, 2008 American Control Conference.

[60]  S. Sastry,et al.  Is there life after Zeno? Taking executions past the breaking (Zeno) point , 2006, 2006 American Control Conference.

[61]  Manuel Mazo,et al.  Lyapunov Design for Event-Triggered Exponential Stabilization , 2018, HSCC.