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.