On Lyapunov sampling for event-driven controllers

This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour curves that form closed regions around the equilibrium point, in this paper we present a sampling mechanism that enforces job executions (sampling, control algorithm computation and actuation) each time the system trajectory reaches a given contour curve. By construction, the sequence of generated samples is stable in the discrete Lyapunov sense. However, in order to ensure that the system trajectory will tend to zero as time tends to infinity, it must be ensured that the sequence of samples is infinite. We provide conditions to ensure this property. The approach is illustrated by simulated examples.

[1]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[2]  Karl-Erik Årzén,et al.  A simple event-based PID controller , 1999 .

[3]  Insup Lee,et al.  Opportunities and Obligations for Physical Computing Systems , 2005, Computer.

[4]  Thomas A. Brubaker,et al.  Implementation of digital controllers , 1973 .

[5]  H. Hanselmann,et al.  Implementation of digital controllers - A survey , 1987, Autom..

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

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

[8]  Mohamed El Mongi Ben Gaid,et al.  Optimal Real-Time Scheduling of Control Tasks With State Feedback Resource Allocation , 2009, IEEE Transactions on Control Systems Technology.

[9]  W. P. M. H. Heemels,et al.  Analysis of event-driven controllers for linear systems , 2008, Int. J. Control.

[10]  Michael D. Lemmon,et al.  On Self-triggered Full-Information H-Infinity Controllers , 2007, HSCC.

[11]  Christos G. Cassandras,et al.  Optimal Control of Discrete Event Systems with Weakly Hard Real-Time Constraints , 2007, 2007 European Control Conference (ECC).

[12]  Scott A. Brandt,et al.  Draco: Efficient Resource Management for Resource-Constrained Control Tasks , 2009, IEEE Transactions on Computers.

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

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

[15]  M. Velasco,et al.  The Self Triggered Task Model for Real-Time Control Systems , 2003 .

[16]  Vincenzo Liberatore,et al.  Multi-Disciplinary Challenges and Directions in Networked Cyber-Physical Systems ∗ , 2006 .

[17]  Karl Henrik Johansson,et al.  Optimal stopping for event-triggered sensing and actuation , 2008, 2008 47th IEEE Conference on Decision and Control.

[18]  Young Soo Suh,et al.  Networked Estimation with an Area-Triggered Transmission Method , 2008, Sensors.

[19]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[20]  Paulo Tabuada,et al.  Space-time scaling laws for self-triggered control , 2008, 2008 47th IEEE Conference on Decision and Control.

[21]  Anton Cervin,et al.  Sporadic event-based control of first-order linear stochastic systems , 2008, Autom..

[22]  Enrico Bini,et al.  Control-Driven Tasks: Modeling and Analysis , 2008, 2008 Real-Time Systems Symposium.

[23]  Xiaofeng Wang,et al.  Event design in event-triggered feedback control systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[24]  Xiaofeng Wang,et al.  Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.

[25]  M. R. Vonder,et al.  Asynchronous measurement and control: a case study on motor synchronization , 1999 .

[26]  Albert Hinrichs,et al.  On the Implementation of Digital Controllers , 1983, 1983 American Control Conference.