Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
Summary (2 min read)
1. Introduction
- Small embedded microprocessors are quickly becoming an essential part of the most diverse applications.
- A particularly interesting example are physically distributed sensor/actuator networks responsible for collecting and processing information, and to react to this information through actuation.
- Common to all these approaches is the underlying principle that better control performance is achieved by providing more CPU time to control tasks.
- Close at the technical level, although addressing very different problems, is the recent work on stabilization under communication constraints [NE00, BL00, EM01, BPZ02, Lib03, NT04].
2. Notation and problem statement
- The authors shall not need the definition1 of ISS in this note but rather the following characterization.
- Definition 2.1. 1See, for example, [Son04] for an introduction to ISS and related notions.
- When ∆ > 0, the control task needs to be executed before the inequality γ(|e|) ≥ σα(|x|) is satisfied in order to account for the delay ∆ between measuring the state and updating the actuators.
- Answering the above questions is the objective of the following sections.
3. Existence of a lower bound for inter-execution times
- The authors start immediately with one of the main contributions of this note.
- Set R is forward invariant for the closed loop system since the execution rule (2.9) guarantees V̇ ≤ 0.
- Theorem 3.1 shows that the simple execution rule (2.9) results in a sequence of inter-execution times for the control task that is guaranteed to be lower bounded provided that ∆ is sufficiently small.
- The techniques used in the proof rely of Lipschitz continuity and are necessarily conservative for general nonlinear systems.
- For linear systems they provide reasonable estimates and one can even provide computable bounds for ∆ as discussed in the next section.the authors.
4. The linear case
- The authors also assume the existence of a linear feedback: u = Kx rendering the closed loop system globally asymptotically stable and where K is a matrix of appropriate dimensions.
- Note that in the linear case any such K renders the closed loop system ISS with respect to measurement errors.
- They are sufficiently accurate to be useful in practical situations as described in the next section.
5. An academic example
- In Figure 1 the authors can see how the error norm never reaches σ|x| even though it goes beyond σ′|x| which is used as execution rule.
- This gap decreases as the state approaches the origin.
- The authors can see that the estimated values, although conservative, do not overestimate the values obtained through simulation by more than a factor of 3.
6. Co-schedulability of stabilizing control tasks
- The authors shall assume a preemptive scheduler in which the control task has the highest priority and thus cannot be preempted by any other task and is executed without delays when γ(|e|) ≥ σα(|x|).
- Note that timing overheads associated with context switching can be captured in the proposed framework by suitably enlarging ∆.
- When a set of control tasks T can be scheduled despite the overhead associated with the control DR task the authors say that T is co-schedulable with the control task.
- Co-schedulability is now ensured by the following sufficient condition where dre denotes the smallest integer greater than r ∈ R. Theorem 6.1.
- Other possibilities are discussed in the next section.
7. Discussion
- 1. Real-time scheduling policies for non-preemptible tasks.
- The simple preemptive scheduling strategy presented in Section 6 relied on the possibility to preempt all but the control task.
- The results presented in this note are also relevant in this more general context since the lower bound on the inter-execution times can be used to construct a timed-automaton model for the control task.
- 2. ISS with respect to actuation errors and networked control systems.
- Similar ideas have been more or less explicitly explored in [YTS02, MA04, NT04].
Did you find this useful? Give us your feedback
Citations
159 citations
159 citations
Cites background from "Event-Triggered Real-Time Schedulin..."
...Under event-triggering the system states are sampled when some error signal exceeds a given threshold [8]–[12]....
[...]
159 citations
Cites background from "Event-Triggered Real-Time Schedulin..."
...…(2012), Heemels, Sandee, and van den Bosch (2008), Heemels et al. (1999), Henningsson, Johannesson, and Cervin (2008), Lunze and Lehmann (2010), Tabuada (2007) and Wang and Lemmon (2009), and self-triggered control (STC), see, e.g., Almeida, Silvestre, and Pascoal (2010, 2011), Anta and…...
[...]
158 citations
Cites background or methods from "Event-Triggered Real-Time Schedulin..."
...Most of the existing results have been based on the PL approach, see, e.g. Tabuada (2007), Meng and Chen (2012), Garcia and Antsaklis (2013) and so on....
[...]
...These works (Meng & Chen, 2012; Tabuada, 2007) have considered the time delays between the measuring and updating process in embedded microprocessors....
[...]
...Unlike the aforementioned works (Garcia & Antsaklis, 2013; Meng & Chen, 2012; Molin & Hirche, 2013; Tabuada, 2007), the event generator monitors the triggering condition in a discrete-time manner instead of a continuous one....
[...]
156 citations
References
1,703 citations
"Event-Triggered Real-Time Schedulin..." refers background or methods in this paper
...This idea is an adaptation to the scheduling context of several techniques used to study problems of control under communication constraints [6], [11], [18]....
[...]
...Close at the technical level, although addressing very different problems, is the recent work on stabilization under communication constraints [6], [7], [11], [15], [18], [19]....
[...]
1,533 citations
"Event-Triggered Real-Time Schedulin..." refers background or methods in this paper
...This idea is an adaptation to the scheduling context of several techniques used to study problems of control under communication constraints [6], [11], [18]....
[...]
...Close at the technical level, although addressing very different problems, is the recent work on stabilization under communication constraints [6], [7], [11], [15], [18], [19]....
[...]
1,142 citations
"Event-Triggered Real-Time Schedulin..." refers background in this paper
...1See, for example, [24] for an introduction to ISS and related notions....
[...]
961 citations
799 citations
"Event-Triggered Real-Time Schedulin..." refers background in this paper
...Close at the technical level, although addressing very different problems, is the recent work on stabilization under communication constraints [6], [7], [11], [15], [18], [19]....
[...]