research-article

Lyapunov Design for Event-Triggered Exponential Stabilization

Authors:

Anton V. Proskurnikov,

Manuel Mazo, Jr.Authors Info & Claims

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Pages 111 - 119

https://doi.org/10.1145/3178126.3178142

Published: 11 April 2018 Publication History

Abstract

Control Lyapunov Functions (CLF) method gives a constructive tool for stabilization of nonlinear systems. To find a CLF, many methods have been proposed in the literature, e.g. backstepping for cascaded systems and sum of squares (SOS) programming for polynomial systems. Dealing with continuous-time systems, the CLF-based controller is also continuous-time, whereas practical implementation on a digital platform requires sampled-time control. In this paper, we show that if the continuous-time controller provides exponential stabilization, then an exponentially stabilizing event-triggered control strategy exists with the convergence rate arbitrarily close to the rate of the continuous-time system.

References

[1]

L. Alvarez and R. Horowitz. 1999. Safe Platooning in Automated Highway Systems. Part II: Velocity Tracking Controller. Vehicle System Dynamics 32 (1999), 57--84.

[2]

A.D. Ames, K. Galloway, K. Sreenath, and J.W. Grizzle. 2014. Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics. IEEE Trans. Autom. Control 59, 4 (2014), 876--891.

[3]

A.D. Ames, X. Xu, J.W. Grizzle, and P. Tabuada. 2017. Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Trans. Autom. Control (2017). publ. online.

[4]

A. Anta and P. Tabuada. 2008. Self-triggered stabilization of homogeneous control systems. In Proc. American Control Conf. 4129--4134.

[5]

Adolfo Anta and Paulo Tabuada. 2010. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems. IEEE Trans. Autom. Control 55, 9 (2010), 2030--2042.

[6]

J. Araujo, M. Mazo, A. Anta, P. Tabuada, and K.H. Johansson. 2014. System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. IEEE Trans. Ind. Inform. 10, 1 (2014), 175--184.

[7]

M. Arcak and D. Nešić. 2004. A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation. Automatica 40, 11 (2004), 1931--1938.

Digital Library

[8]

Z. Artstein. 1983. Stabilization with relaxed control. Nonlinear Analysis. Theory, Methods & Applications 7, 11 (1983), 1163--1173.

[9]

K.J. Aström and B.M. Bernhardsson. 2002. Comparison of Riemann and Lebesgue Sampling for First Order Stochastic Systems. In Proc. of IEEE Conf. Decision and Control. Las Vegas, 2011--2016.

[10]

D.P. Borgers and W.P.M.H. Heemels. 2014. Event-Separation Properties of Event-Triggered Control Systems. IEEE Trans. Autom. Control 59, 10 (2014), 2644--2656.

[11]

F. Camilli, L. Grüne, and F. Wirth. 2008. Control Lyapunov functions and Zubov's method. SIAM J. Control Optim. 47, 1 (2008), 301--326.

Digital Library

[12]

C.-C. Chien, Y. Zhang, and M. Lai. 1995. Regulation Layer Controller Design for Automated Highway Systems. Math. Comput. Modeling 22, 4-7 (1995), 305--327.

Digital Library

[13]

V.S. Dolk, D.P. Borgers, and W.P.M.H. Heemels. 2017. Output-based and decentralized dynamic event-triggered control with guaranteed Lp-gain performance and Zeno-freeness. IEEE Trans. Autom. Control 62, 1 (2017), 34--39.

[14]

V.S. Dolk, J. Ploeg, and W.P.M.H. Heemels. 2017. Event-Triggered Control for String-Stable Vehicle Platooning. IEEE Trans. Intelligent Transportation Syst. 18, 12 (2017), 3486--3500.

Digital Library

[15]

L. Faubourg and J.-B. Pomet. 2000. Control Lyapunov functions for homogeneous Jurdjevic-Quinn systems. ESAIM: Control, Optim., Calculus Variations 5 (2000), 293--311.

[16]

R.A. Freeman and P.V. Kokotović. 1996. Inverse optimality in robust stabilization. SIAM J. Control Optim. 34 (1996), 1365--1391.

Digital Library

[17]

Radian Furqon, Ying-Jen Chen, Motoyasu Tanaka, Kazuo Tanaka, and Hua Wang. 2017. An SOS-based Control Lyapunov Function Design for Polynomial Fuzzy Control of Nonlinear Systems. IEEE Trans. Fuzzy Syst. (2017). publ. online.

[18]

C. Himmelberg. 1975. Measurable relations. Fundamenta Mathematicae 87, 1 (1975), 53--72.

[19]

M. Jancović. 2001. Control Lyapunov-Razumikhin Functions and Robust Stabilization of Time Delay Systems. IEEE Trans. Autom. Control 46, 7 (2001), 1048--1060.

[20]

R.E. Kalman and J.E. Bertram. 1960. Control System Analysis and Design Via the "Second Method" of Lyapunov. I. Continuous-Time Systems. Journal of Basic Engineering 32 (1960), 371--393.

[21]

C.M. Kellett and A.R. Teel. 2004. Discrete-time asymptotic controllability implies smooth control Lyapunov function. Syst. Control Lett. 52 (2004), 349--59.

[22]

H.M. Khalil. 1996. Nonlinear systems. Prentice-Hall, Englewood Cliffs, NJ.

[23]

P. V. Kokotović and M. Arcak. 2001. Constructive nonlinear control: A historical perspective. Automatica 37, 5 (2001), 637--662.

Digital Library

[24]

M. Krstić, I. Kanellakopoulos, and P.V. Kokotović. 1995. Nonlinear and adaptive control design. Wiley.

Digital Library

[25]

Y. Lin and E.D. Sontag. 1991. A universal formula for stabilization with bounded controls. Syst. Control Lett. 16 (1991), 393--397.

Digital Library

[26]

B. Liu, D.-N. Liu, and C.-X. Dou. 2014. Exponential stability via event-triggered impulsive control for continuous-time dynamical systems. In Proc. Chinese Control Conf. 4346--4350.

[27]

W. Luo, Y.-C. Chu, and K.-V. Ling. 2005. Inverse Optimal Adaptive Control for Attitude Tracking of Spacecraft. IEEE Trans. Autom. Control 50, 11 (2005), 1639--1654.

[28]

N. Marchand, S. Durand, and J.F.G. Castellanos. 2013. A General Formula for Event-Based Stabilization of Nonlinear Systems. IEEE Trans. Autom. Control 58, 5 (2013), 1332--1337.

[29]

N. Marchand, J.J. Martinez, S. Durand, and J.F. Guerrero-Castellanos. 2013. Lyapunov event-triggered control: a new event strategy based on the control. IFAC Proceed. Volum. 46, 23 (2013), 324--328.

[30]

D. Nesic and A.R. Teel. 2004. A Framework for Stabilization of Nonlinear Sampled-Data Systems Based on Their Approximate Discrete-Time Models. IEEE Trans. Autom. Control 49, 7 (2004), 1103--1122.

[31]

Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, A.D. Ames, J.W. Grizzle, N. Ozay, H. Peng, and P. Tabuada. 2016. Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control Syst. Tech. 24, 4 (2016), 1294--1307.

[32]

M.Z. Romdlony and B. Jayawardhana. 2016. Stabilization with guaranteed safety using Control Lyapunov-Barrier Function. Automatica 66 (2016), 39--47.

Digital Library

[33]

R. Sanfelice. 2013. On the Existence of Control Lyapunov Functions and State-Feedback Laws for Hybrid Systems. IEEE Trans. Autom. Control 58, 12 (2013), 3242--3248.

[34]

R. Sepulchre, M. Janković, and P.V. Kokotović. 1997. Robust Nonlinear Control Design. State-Space and Lyapunov Techniques. Springer London.

[35]

A. Seuret, C. Prieur, and N. Marchand. 2014. Stability of nonlinear systems by means of event-triggered sampling algorithms. IMA Journal of Mathematical Control and Information 31 (2014), 415--433.

[36]

E.D. Sontag. 1989. A "universal" construction of Artstein's Theorem on nonlinear stabilization. Syst. Control Lett. 13 (1989), 117--123.

Digital Library

[37]

E.D. Sontag and Y. Wang. 1995. On characterizations of the input-to-state stability property. Syst. Control Lett. 24, 5 (1995), 351--359.

Digital Library

[38]

A. Stotsky, C.-C. Chien, and P. Ioannou. 1995. Robust Platoon-Stable Controller Design for Autonomous Intelligent Vehicles. Math. Comput. Modeling 22, 4-7 (1995), 287--303.

Digital Library

[39]

P. Tabuada. 2007. Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks. IEEE Trans. Autom. Control 52, 9 (2007), 1680--1685.

Cited By

Kim SPark KLu C(2022)A Survey on Network Security for Cyber–Physical Systems: From Threats to Resilient DesignIEEE Communications Surveys & Tutorials10.1109/COMST.2022.318753124:3(1534-1573)Online publication date: Nov-2023
https://doi.org/10.1109/COMST.2022.3187531
Berneburg JNowzari C(2021)Robust Dynamic Event-Triggered Coordination With a Designable Minimum Interevent TimeIEEE Transactions on Automatic Control10.1109/TAC.2020.302080966:8(3417-3428)Online publication date: Aug-2021
https://doi.org/10.1109/TAC.2020.3020809
Proskurnikov AMazo M(2020)Lyapunov Event-Triggered Stabilization With a Known Convergence RateIEEE Transactions on Automatic Control10.1109/TAC.2019.290743565:2(507-521)Online publication date: Feb-2020
https://doi.org/10.1109/TAC.2019.2907435
Show More Cited By

Lyapunov Design for Event-Triggered Exponential Stabilization
1. Computing methodologies
  1. Artificial intelligence
    1. Control methods
2. Mathematics of computing
  1. Mathematical analysis

Recommendations

Exponential stabilisation for time-varying delay system with actuator faults: an average dwell time method

The issue of exponential stabilisation for a class of special time-varying delay switched systems resulting from actuator faults is considered in this article. The time-varying delay is assumed to belong to an interval and can be a slow or fast time-...
Finite-time stabilization of linear systems by bounded event-triggered and self-triggered control
Abstract
This paper is concerned with finite-time stabilization (FTS) of linear systems by bounded event-triggered control (ETC) and self-triggered control (STC). A bounded linear ETC is firstly designed, where the time-varying control gain is ...
Actuator saturation and anti-windup compensation in event-triggered control

Event-triggered control aims at reducing the communication load over the feedback link in networked control systems by sending information only if certain event conditions, which guarantee a desired control performance, are satisfied. This article ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

April 2018

296 pages

ISBN:9781450356428

DOI:10.1145/3178126

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 April 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

NWO Domain Applied and Engineering Sciences (TTW)

Conference

HSCC '18

Sponsor:

SIGBED

HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control

April 11 - 13, 2018

Porto, Portugal

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
170
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kim SPark KLu C(2022)A Survey on Network Security for Cyber–Physical Systems: From Threats to Resilient DesignIEEE Communications Surveys & Tutorials10.1109/COMST.2022.318753124:3(1534-1573)Online publication date: Nov-2023
https://doi.org/10.1109/COMST.2022.3187531
Berneburg JNowzari C(2021)Robust Dynamic Event-Triggered Coordination With a Designable Minimum Interevent TimeIEEE Transactions on Automatic Control10.1109/TAC.2020.302080966:8(3417-3428)Online publication date: Aug-2021
https://doi.org/10.1109/TAC.2020.3020809
Proskurnikov AMazo M(2020)Lyapunov Event-Triggered Stabilization With a Known Convergence RateIEEE Transactions on Automatic Control10.1109/TAC.2019.290743565:2(507-521)Online publication date: Feb-2020
https://doi.org/10.1109/TAC.2019.2907435
Berneburg JGarcia EGerlach ACasbeer DNowzari C(2020)Strongly Non-Zeno Event-Triggered Wireless Clock SynchronizationIFAC-PapersOnLine10.1016/j.ifacol.2020.12.92853:2(2745-2750)Online publication date: 2020
https://doi.org/10.1016/j.ifacol.2020.12.928
Berneburg JNowzari C(2019)Distributed Dynamic Event-Triggered Coordination with a Designable Minimum Inter-Event Time2019 American Control Conference (ACC)10.23919/ACC.2019.8815227(1424-1429)Online publication date: Jul-2019
https://doi.org/10.23919/ACC.2019.8815227
Berneburg JNowzari C(2019)Distributed Dynamic Event-Triggered Algorithms with Positive Minimum Inter-Event Times on Weight-Balanced Digraphs2019 IEEE 58th Conference on Decision and Control (CDC)10.1109/CDC40024.2019.9030089(2598-2603)Online publication date: Dec-2019
https://doi.org/10.1109/CDC40024.2019.9030089

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents