scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks

17 Sep 2007-IEEE Transactions on Automatic Control (IEEE)-Vol. 52, Iss: 9, pp 1680-1685
TL;DR: This note investigates a simple event-triggered scheduler based on the paradigm that a real-time scheduler could be regarded as a feedback controller that decides which task is executed at any given instant and shows how it leads to guaranteed performance thus relaxing the more traditional periodic execution requirements.
Abstract: In this note, we revisit the problem of scheduling stabilizing control tasks on embedded processors. We start from the paradigm that a real-time scheduler could be regarded as a feedback controller that decides which task is executed at any given instant. This controller has for objective guaranteeing that (control unrelated) software tasks meet their deadlines and that stabilizing control tasks asymptotically stabilize the plant. We investigate a simple event-triggered scheduler based on this feedback paradigm and show how it leads to guaranteed performance thus relaxing the more traditional periodic execution requirements.

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

Content maybe subject to copyright    Report

DRAFT
EVENT-TRIGGERED REAL-TIME SCHEDULING
OF STABILIZING CONTROL TASKS
PAULO TABUADA
Abstract. In this note we revisit the problem of scheduling stabilizing control tasks on embed ded processors.
We start from the paradigm that a real-time scheduler should be regarded as a feedback controller that decides
which task is executed at any given instant. This controller has for objective guaranteeing that software tasks
meet its deadlines and that stabilizing control tasks asymptotically stabilize the plant. According to this
feedback paradigm, the decision of executing control tasks should not be based on release times and deadlines
but rather on the state of the plant. We investigate the fea sibili ty of a simple event-triggered scheduler based
on the state norm and provide some schedulability results.
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. The embedded microprocessors
forming the computational core of these networks are required to execute a variety of tasks comprising the relay
of information packets in multi-hop communication schemes, monitoring physical quantities, and computation
of feedback control laws. Since we are dealing with resource limited microprocessors it becomes important
to asse ss to what extent we can increase the functionality of these embedded devices through novel real-time
scheduling algorithms based on event-triggered rather than time-triggered execution of control tasks.
We investigate in this note a very simple event-triggered scheduling algorithm that preempts running tasks to
execute the control task whenever a certain error becomes large when compared with the state norm. This
idea is an adaptation to the scheduling context of several techniques used to study problems of control under
communication constraints [NE00, BL00, EM01]. We take explicitly into account the execution time of the
control task and show that the proposed scheduling policy guarantees global asymptotical stability. We also
provide sufficient conditions for co-schedulability of the control task with other tasks competing for processor
time. The proposed approach is illustrated with simulation results.
Real-time scheduling of control tasks has received renewed interest from the academic community in the past
years [SLCB00, CE00, ACR
+
00, CEBA02, BA02, CLS03, LHLQ06]. Common to all these approaches is
the underlying principle that better control performance is achieved by providing more CPU time to control
tasks. This can be accomplished in two different ways: letting control tasks run for longer amounts of
time using anytime implementations or model predictive controllers; or by scheduling control tasks more
frequently. All these approaches assume the existence of a performance criterion for the control task such as
a cost function used to design an optimal linear quadratic regulator. Scheduling strategies are then obtained
through optimization algorithms seeking to determine schedules maximizing the performance criterion. The
work presented in this note does not resort to optimization and does not require a performance criterion.
Instead, the decision to execute the control task is determined by a feedback mechanism based on the state of
the plant.
Closer to the results presented in this note is the work described in [PPV
+
02, PPBSV05], where resource
allocation and feedback control are designed in an integrated fashion. Several concurrent controllers described
This research was partially supported by the National Science Foundation EHS award 0509313.
1

DRAFT
2 PAULO TABUADA
by scalar gains and activation rates of the corresponding processes are designed so as to ensure stability of the
controlled processes as well as real-time schedulability. 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]. All these approaches are concerned with the stabilization of continuous systems under
reduced communication and the employed techniques share with some of the techniques described in this note
a common ancestor: the perturbation approach to stability analysis of control systems, described for example
in [Kha96]. Similar techniques have also been used in [LNT02] to show how sample-and-hold implementations
of stabilizing controllers guarantee stability under sufficiently fast time-triggered executions. Finally, we would
like to refer the reader to [AB02] where some advantages of event-driven control over time-driven control are
presented in a stochastic setting. A preliminary version of the results presented in this note was reported
in [TW06].
2. Notation and problem statement
2.1. Notation. We shall use the notation |x| to denote the Euclidean norm of an element x R
n
. Given
matrices A and B, [A|B] denotes the matrix formed by the columns of matrix A followed by the columns of
matrix B. A function f : R
n
R
m
is said to be Lipschitz continuous on compacts if for every compact set
S R
n
there exists a constant L > 0 such that:
|f(x) f(y)| L|x y|
for every x, y S. A continuous function α : [0, a[ R
+
0
, a > 0, is said to be of class K if it is strictly
increasing and α(0) = 0. It is said to be of class K
if a = and α(r) as r .
2.2. Problem statement. We consider a control system:
(2.1) ˙x = f(x, u), x R
n
, u R
m
for which a feedback controller:
(2.2) u = k(x)
has been designed rendering the closed loop system:
(2.3) ˙x = f(x, k(x + e))
Input-to-State Stable (ISS) with respect to measurement errors e R
n
. We shall not need the definition
1
of
ISS in this note but rather the following characterization.
Definition 2.1. A smooth function V : R
n
R
+
0
is said to be an ISS Lyapunov function for the closed loop
system (2.3) if there exist class K functions α, α, α and γ satisfying:
α(|x|) V (x) α(|x|)(2.4)
V
x
f(x, k(x + e)) α(|x|) + γ(|e|)(2.5)
Closed loop system (2.3) is said to be ISS with respect to measurement errors e R
n
if there exists an ISS
Lyapunov function for (2.3).
The implementation of the feedback law (2.2) on an embedded processor is typically done by sampling the
state at time instants:
t
0
, t
1
, t
2
, t
3
, t
4
. . .
computing u(t
i
) = k(x(t
i
)) and updating the actuator values at time instants:
t
0
+ , t
1
+ , t
2
+ , t
3
+ , t
4
+ , . . .
1
See, for example, [Son04] for an introduction to ISS and related notions.

DRAFT
EVENT-TRIGGERED REAL-TIME SCHEDULING OF STA BILIZING CONTROL TASKS 3
where 0 represents the time required to read the state from the sensors, compute the control law and
update the actuators. This means that to a sequence of measurements:
x(t
0
), x(t
1
), x(t
2
), x(t
3
), x(t
4
), . . .
there corresponds a sequence of actuation updates:
u(t
0
+ ∆), u(t
1
+ ∆), u(t
2
+ ∆), u(t
3
+ ∆), u(t
4
+ ∆), . . .
Between actuator updates the input value u is held constant according to:
(2.6) t [t
i
+ , t
i+1
+ ∆[ = u(t) = u(t
i
+ ∆)
Furthermore, the sequence of times t
0
, t
1
, t
2
, t
3
, t
4
, . . . is typically periodic meaning that t
i+1
t
i
= T where
T > 0 is the period. We can thus regard the execution of the control task implementing the control law (2.2)
as being time-triggered. In this note we consider instead event-triggered executions where the sequence
t
0
, t
1
, t
2
, t
3
, t
4
. . . of execution times is no longer periodic neither specified in advance but rather implicitly
defined by an execution rule based on the state of the plant. To introduce this execution rule we define the
measurement error e to be:
(2.7) t [t
i
+ , t
i+1
+ ∆[ = e(t) = x(t
i
) x(t)
We can thus describe the evolution of (2.1) under the implementation (2.6) of control law (2.2) by:
˙x = f(x, k(x + e))
with e R
n
as defined in (2.7).
Let us first consider the hypothetical case = 0 with the single purpose of explaining the execution rule.
From (2.5) we see that if we restrict the error to satisfy:
(2.8) γ(|e|) σα(|x|), σ > 0
the dynamics of V is bounded by:
V
x
f(x, k(x + e)) (σ 1)α(|x|)
thus guaranteeing that V decreases provided that σ < 1. Inequality (2.8) can be enforced by executing the
control task when:
(2.9) γ(|e|) σα(|x|)
since = 0 implies that if the control task is executed at time t
i
we will have e(t
i
) = x(t
i
) x(t
i
) = 0 and
γ(|e(t
i
)|) = 0 thus enforcing (2.8). 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.
Although the simple execution rule (2.9) guarantees global asymptotical stability by construction, there are
three important questions that need to be answered in order to assess the feasibility of this scheduling policy:
(1) Since the execution times are only implicitly defined, can we guarantee that they will not become
arbitrarily close resulting in an accumulation
2
point?
(2) In the absence of accumulation points, can we compute an estimate of the time elapsed between
consecutive executions of the control task?
(3) How can we use the execution rule (2.9) when there are more tasks competing for processor time and
still guarantee that no deadlines are missed?
Answering the above questions is the objective of the following sections.
2
In the context of hybrid systems this corresponds to another example of the infamous Zeno behavior [ATS06 ].

DRAFT
4 PAULO TABUADA
3. Existence of a lower bound for inter-execution times
We start immediately with one of the main contributions of this note.
Theorem 3.1. Let ˙x = f(x, u) be a control system and let u = k(x) be a control law rendering the closed loop
system ISS with respect to measurement errors. If the following assumptions are satisfied:
(1) f : R
n
× R
m
R
n
is Lipschitz continuous on compacts;
(2) k : R
n
R
m
is Lipschitz continuous on compacts;
(3) There exists an ISS Lyapunov function V for the closed loop system satisfying (2.5) w ith α
1
and γ
Lipschitz continuous on compacts,
then, for any compact set S R
n
containing the origin, there exists an ε > 0 such that for all [0, ε] there
exists a time τ R
+
such that for any initial condition in S the inter-execution times {t
i+1
t
i
}
iN
implicitly
defined by the execution rule (2.9) are lower bounded by τ, that is, t
i+1
t
i
τ for any i N.
Proof. Let R be the compact se t defined by all the points x R
n
satisfying V (x) µ where µ > 0 is large
enough so that S R. Such µ always exists since by (2.4) V is proper or radially unbounded. Set R is forward
invariant for the closed loop system since the execution rule (2.9) guarantees
˙
V 0. We now define another
compact set E by all the points e R
n
satisfying |e| γ
1
(σα(|x|)) for all x R. Since α
1
and γ are
Lipschitz continuous on compacts, then so is α
1
(γ(|r|)). Let P be the Lipschitz constant for the compact
set E so that |α
1
(γ(|r|)) α
1
(γ(|s|))| P |r s|. If r = e and s = 0 we obtain α
1
(γ(|e|)) P |e|.
Note that by enforcing P |e| |x| we guarantee α
1
(γ(|e|)) |x| (which is (2.8)) so that if suffices to
show that the inter-execution times are bounded for the execution rule P |e| |x|. As a first step towards
showing boundedness we note that it follows from Lipschitz continuity on compacts of f(x, u) and k(x) that
f(x, k(x + e)) is also Lipschitz continuous on compacts, that is:
|f(r, k(r + s)) f(r
0
, k(r
0
+ s
0
))| L|(r, s) (r
0
, s
0
)|
by taking r = x, s = e and r
0
= 0 = e
0
we obtain:
(3.1) |f(x, k(x + e))| L|(x, e)| L|x| + L|e|
when (x, e) R × E. Note that R × E is forward invariant for the state as well as the error dynamics. We
can now bound the inter-event times by looking at the dynamics of |e|/|x|.
d
dt
|e|
|x|
=
d
dt
(e
T
e)
1/2
(x
T
x)
1/2
=
(e
T
e)
1/2
e
T
˙e(x
T
x)
1/2
(x
T
x)
1/2
x
T
˙x(e
T
e)
1/2
x
T
x
=
e
T
˙x
|e||x|
x
T
˙x
|x||x|
|e|
|x|
|e|| ˙x|
|e||x|
+
|x|| ˙x|
|x||x|
|e|
|x|
=
1 +
|e|
|x|
| ˙x|
|x|
1 +
|e|
|x|
L|x| + L|e|
|x|
by (3.1)
= L
1 +
|e|
|x|

1 +
|e|
|x|
(3.2)
If we denote |e|/|x| by y we have the estimate ˙y L(1 + y)
2
and we conclude that y(t) φ(t, φ
0
) where
φ(t, φ
0
) is the solution of
˙
φ = L(1 + φ)
2
satisfying φ(t, φ
0
) = φ
0
.

DRAFT
EVENT-TRIGGERED REAL-TIME SCHEDULING OF STA BILIZING CONTROL TASKS 5
Assume now that = 0. Then, the inter-execution times are bounded by the time it takes for φ to evolve
from 0 to 1/P , that is, the inter-execution times are bounded by the solution τ R
+
of φ(τ, 0) = 1/P . Since
φ(τ, 0) = τL/(τL 1) we obtain τ = 1/(L + LP ).
For > 0 we need a more detailed analysis. First, pick σ
0
satisfying σ < σ
0
< 1 (take for example σ
0
= σ+(1
σ)/2) and le t P
0
be the Lipschitz constant for α
1
(γ(|e|)
0
). Let now ε
1
R
+
satisfy φ(ε
1
, 1/P ) = 1/P
0
. Such
ε
1
always exists since φ is continuous,
˙
φ > 0 and 1/P < 1/P
0
. Then, by executing the control task at time t
i
,
defined by P |e| = |x|, we guarantee that for t [t
i
, t
i
+ε
1
[ we have |e| |x|/P
0
and thus also γ(|e|) σ
0
α(|x|).
Since σ
0
< 1 asymptotic stability is still guaranteed. The inter-execution times are now bounded by + τ
where τ is the time it takes for φ to evolve from |e(t
i
+ ∆)|/|x(t
i
+ ∆)| = |x(t
i
) x(t
i
+ ∆)|/|x(t
i
+ ∆)|
to 1/P . We thus need to pick small enough so that |e(t
i
+ ∆)|/|x(t
i
+ ∆)| < 1/P since
˙
φ > 0. It now
follows from continuity
3
of |x(t
i
) x(t
i
+ ∆)|/|x(t
i
+ ∆)| with respect to the existence of ε
2
> 0 such that
for any 0 ε
2
we have |x(t
i
) x(t
i
+ ∆)|/|x(t
i
+ ∆)| < 1/P . The proof is now finished by taking
ε = min{ε
1
, ε
2
}.
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.
However, for linear systems they provide reasonable estimates and we can even provide computable bounds
for as discussed in the next section.
4. The linear case
In this se ction we discuss the linear case in some detail since the arguments in the proof of Theorem can be
refined in order to provide a computational estimate for τ. We thus assume the control system to be of the
form:
˙x = Ax + Bu, x R
n
, u R
m
with A and B matrices of appropriate dimensions. We 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. We thus have a Lyapunov function V : R
n
R
+
0
satisfying:
a
|x|
2
V (x) a|x|
2
(4.1)
V
x
(Ax + BKx + BKe) a|x|
2
+ g|e||x|(4.2)
with a, a, a, g R
+
.
Corollary 4.1. Let ˙x = Ax + Bu be a linear control system, let u = Kx be a linear control law rendering the
closed loop system globally asymptotically stable and assume that = 0. For any initial condition in R
n
the
inter-event times {t
i+1
t
i
}
iN
implicitly defined by the execution rule:
|e| σ|x|
are lower bounded by the time τ satisfying:
(4.3) φ(τ, 0) = σ
where φ(t, φ
0
) is the solution of:
(4.4)
˙
φ = |A + BK| +
|A + BK| + |BK|
φ + |BK|φ
2
3
Note that x(t
i
+ ∆) is never zero since the closed loop system converges asymptot ically to zero and thus never reaches zero
in finite time.

Citations
More filters
Journal ArticleDOI
TL;DR: This paper investigates the problem of fault detection for nonlinear discrete-time networked systems under an event-triggered scheme using a polynomial fuzzy fault detection filter to generate a residual signal and detect faults in the system.
Abstract: This paper investigates the problem of fault detection for nonlinear discrete-time networked systems under an event-triggered scheme. A polynomial fuzzy fault detection filter is designed to generate a residual signal and detect faults in the system. A novel polynomial event-triggered scheme is proposed to determine the transmission of the signal. A fault detection filter is designed to guarantee that the residual system is asymptotically stable and satisfies the desired performance. Polynomial approximated membership functions obtained by Taylor series are employed for filtering analysis. Furthermore, sufficient conditions are represented in terms of sum of squares (SOSs) and can be solved by SOS tools in MATLAB environment. A numerical example is provided to demonstrate the effectiveness of the proposed results.

325 citations

Journal ArticleDOI
TL;DR: A discrete event-triggered communication scheme for a class of networked Takagi-Sugeno (T-S) fuzzy systems and a stability criterion and a stabilization criterion about the networked T-S fuzzy system are derived.
Abstract: This paper first proposes a discrete event-triggered communication scheme for a class of networked Takagi-Sugeno (T-S) fuzzy systems. This scheme has two main features: 1) Whether or not the sampled state should be transmitted is determined by the current-sampled state and the error between the current-sampled state and the latest transmitted state. Compared with those in a periodic time-triggered communication scheme, the communication bandwidth utilization is considerably reduced while preserving the desired control performance; and 2) it is a discrete event-triggered communication scheme due to the fact that the triggered conditions are only measured and checked at a constant sampling period. Compared with a continuous event-triggered communication scheme, the special hardware for continuous measurement and computation is no longer needed. Second, a networked T-S fuzzy model is delicately constructed, which not only considers nonuniform time scales in the networked T-S fuzzy model and the parallel distributed compensation fuzzy control rules but includes the aforementioned state error as well. Third, a stability criterion and a stabilization criterion about the networked T-S fuzzy system are derived, respectively. The stability criterion and stabilization criterion can provide a tradeoff to balance the required communication resource and the desired performance: Lowering the desired performance allows the network to allocate more limited bandwidth to other nodes in need. Finally, a numerical example is given to show the effectiveness of the proposed method.

323 citations


Cites background from "Event-Triggered Real-Time Schedulin..."

  • ...Compared with continuous event-triggered transmission scheme in [5] and [16], where the special hardware is necessary for successive measurement and computation, the proposed event-triggered scheme in this paper is a discrete event-triggered transmission scheme because it is only dependent on the latest transmitted state {tk h |tk ∈ N} and state error at the discrete sampling sets {jh |j ∈ N}....

    [...]

  • ...Compared with those continuous event-triggered schemes in [5] and [16], where the extra hardware is necessary to fulfill the continuous measurements and computation [4], [5], since we only measure the state and compute the error at a constant sampling period, the extra hardware for continuous measurement is not necessary....

    [...]

  • ...1) Compared with an open-loop time-triggered periodic communication scheme [2], [10] and a continuous event-triggered scheme [5], [16], the proposed scheme in this paper is a discrete closedloop event-triggered communication scheme; whether or not the measured state should be transmitted is determined by the desired performance, and the error between the state at the current sampling and the state at the latest transmitted sampling....

    [...]

Journal ArticleDOI
TL;DR: In this article, the authors describe two algorithms for state reconstruction from sensor measurements that are corrupted with sparse, but otherwise arbitrary, noise, motivated by the need to secure cyber-physical systems against a malicious adversary that can arbitrarily corrupt sensor measurements.
Abstract: This paper describes two algorithms for state reconstruction from sensor measurements that are corrupted with sparse, but otherwise arbitrary, “noise.” These results are motivated by the need to secure cyber-physical systems against a malicious adversary that can arbitrarily corrupt sensor measurements. The first algorithm reconstructs the state from a batch of sensor measurements while the second algorithm is able to incorporate new measurements as they become available, in the spirit of a Luenberger observer. A distinguishing point of these algorithms is the use of event-triggered techniques to improve the computational performance of the proposed algorithms.

320 citations

Journal ArticleDOI
TL;DR: A review on recent advances on the analysis and design of fuzzy-model-based nonlinear NCSs with various network-induced limitations such as packet dropouts, time delays, and signal quantization.
Abstract: In recent years, the analysis and synthesis of fuzzy-model-based nonlinear networked control systems (NCSs) have received increasing attention from both scientific and industrial communities, and a number of significant results have been proposed. This paper gives a review on recent advances on the analysis and design of fuzzy-model-based nonlinear NCSs with various network-induced limitations such as packet dropouts, time delays, and signal quantization. With these network-induced constraints, the developments on various control and filtering design issues are surveyed in details, and some essential technical difficulties are mentioned. Then, some latest results on event-triggered control and filtering design of fuzzy-model-based nonlinear NCSs are also summarized. Finally, some conclusions are drawn and several potential future research topics are highlighted.

319 citations


Additional excerpts

  • ...ing attention in recent years [121]–[123]....

    [...]

Journal ArticleDOI
01 May 2016
TL;DR: A series of recent advances in real-time WSANs for industrial control systems are reviewed, with a focus on cyber-physical codesign of wireless control systems that integrate wireless and control designs.
Abstract: With recent adoption of wireless sensor-actuator networks (WSANs) in industrial automation, industrial wireless control systems have emerged as a frontier of cyber-physical systems. Despite their success in industrial monitoring applications, existing WSAN technologies face significant challenges in supporting control systems due to their lack of real-time performance and dynamic wireless conditions in industrial plants. This article reviews a series of recent advances in real-time WSANs for industrial control systems: 1) real-time scheduling algorithms and analyses for WSANs; 2) implementation and experimentation of industrial WSAN protocols; 3) cyber-physical codesign of wireless control systems that integrate wireless and control designs; and 4) a wireless cyber-physical simulator for codesign and evaluation of wireless control systems. This article concludes by highlighting research directions in industrial cyber-physical systems.

317 citations

References
More filters
Journal ArticleDOI
TL;DR: By relaxing the definition of quadratic stability, it is shown how to construct logarithmic quantizers with only finite number of quantization levels and still achieve practical stability of the closed-loop system.
Abstract: We show that the coarsest, or least dense, quantizer that quadratically stabilizes a single input linear discrete time invariant system is logarithmic, and can be computed by solving a special linear quadratic regulator problem. We provide a closed form for the optimal logarithmic base exclusively in terms of the unstable eigenvalues of the system. We show how to design quantized state-feedback controllers, and quantized state estimators. This leads to the design of hybrid output feedback controllers. The theory is then extended to sampling and quantization of continuous time linear systems sampled at constant time intervals. We generalize the definition of density of quantization to the density of sampling and quantization in a natural way, and search for the coarsest sampling and quantization scheme that ensures stability. Finally, by relaxing the definition of quadratic stability, we show how to construct logarithmic quantizers with only finite number of quantization levels and still achieve practical stability of the closed-loop system.

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

    [...]

Journal ArticleDOI
TL;DR: A new control design methodology is proposed, which relies on the possibility of changing the sensitivity of the quantizer while the system evolves, which yields global asymptotic stability.
Abstract: This paper addresses feedback stabilization problems for linear time-invariant control systems with saturating quantized measurements. We propose a new control design methodology, which relies on the possibility of changing the sensitivity of the quantizer while the system evolves. The equation that describes the evolution of the sensitivity with time (discrete rather than continuous in most cases) is interconnected with the given system (either continuous or discrete), resulting in a hybrid system. When applied to systems that are stabilizable by linear time-invariant feedback, this approach yields global asymptotic stability.

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

    [...]

Book ChapterDOI
TL;DR: This expository presentation addresses the precise formulation of questions of robustness with respect to disturbances, formulated in the paradigm of input to state stability, with an intuitive and informal presentation of the main concepts.
Abstract: The analysis and design of nonlinear feedback systems has recently undergone an exceptionally rich period of progress and maturation, fueled, to a great extent, by (1) the discovery of certain basic conceptual notions, and (2) the identification of classes of systems for which systematic decomposition approaches can result in effective and easily computable control laws. These two aspects are complementary, since the latter approaches are, typically, based upon the inductive verification of the validity of the former system properties under compositions (in the terminology used in [62], the “activation” of theoretical concepts leads to “constructive” control). This expository presentation addresses the first of these aspects, and in particular the precise formulation of questions of robustness with respect to disturbances, formulated in the paradigm of input to state stability. We provide an intuitive and informal presentation of the main concepts. More precise statements, especially about older results, are given in the cited papers, as well as in several previous surveys such as [103] and [105] (of which the present paper represents an update), but we provide a little more detail about relatively recent work. Regarding applications and extensions of the basic framework, we give some pointers to the literature, but we do not focus on feedback design and specific engineering problems; for the latter we refer the reader to textbooks such as [43], [60], [58], [96], [66], [27], [44].

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....

    [...]

Proceedings ArticleDOI
10 Dec 2002
TL;DR: In this paper, it is shown that Lebesgue sampling gives better performance for some simple systems than traditional Riemann sampling, which is an analog of integration theory and is called event-based sampling.
Abstract: The normal approach to digital control is to sample periodically in time. Using an analog of integration theory we can call this Riemann sampling. Lebesgue sampling or event based sampling is an alternative to Riemann sampling. It means that signals are sampled only when measurements pass certain limits. In this paper it is shown that Lebesgue sampling gives better performance for some simple systems.

961 citations

Journal ArticleDOI
TL;DR: This paper is concerned with global asymptotic stabilization of continuous-time systems subject to quantization and involves merging tools from Lyapunov stability, hybrid systems, and input-to-state stability.

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

    [...]

Frequently Asked Questions (1)
Q1. What have the authors contributed in "Event-triggered real-time scheduling of stabilizing control tasks" ?

The authors investigate the feasibility of a simple event-triggered scheduler based on the state norm and provide some schedulability results.