Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Abstract A Reset observer (ReO) is a novel sort of observer the reset condition holds. This reset element is commonly
consisting of an integrator, and a reset law that resets the output referred to as the Clegg integrator after the work of Clegg
of the integrator depending on a predefined condition over its in 1958 [8], who proposed an integrator which was reset to
input and/or output. The introduction of the reset element in the
adaptive laws can decrease the overshooting and settling time zero when its input is zero (zero crossing reset law). In 1974,
of the estimation process without sacrificing the rising time. Horowitz generalized that initial work substituting the Clegg
Motivated by the interest in the design of state observers for integrator by a more general structure called the first order
systems with time-delay, which is an issue that often appears in reset element (FORE) [9]. During the last years, the research
process control, this paper contributes with the extension of the on the stability analysis and stabilization for reset systems is
ReO to the time-delay system framework. The time-independent
stability analysis of our proposal is addressed by means of attracting the attention of many academics and engineers. A
linear matrix inequalities (LMIs). Simulation results show the main difference between the state-of-art reset control works
potential benefit of the proposed reset observer compared with is the definition of the reset law: in [10] reset instants are
traditional linear observers. fixed and thus the stability analysis is much simpler; the
I. I NTRODUCTION work [11] develops stability conditions for the zero crossing
reset law; in [12] stability conditions are obtained when the
State observers are recursive algorithms that play a key reset is performed at those instants in which the input and
role in many applications such as failure detection and re- output of the reset element have different signs (sector reset
covery, monitoring and maintenance, or fault tolerant control. condition); finally in [13] a dwell-time stability condition
Initially, the research on state observers was focused on linear over reset instants is given that is applicable to any reset
time invariant (LTI) systems [1], and afterwards on nonlinear law. It is important to note that all these definitions of
systems [2], and on time-delay systems as well [3]. All reset laws results in different reset systems dynamics, and
those works are characterized by having only a proportional all of them have advantages and disadvantages in relation
feedback term of the output observation error, and are known to obtain stability and performance specifications in control
as proportional observers (POs). This proportional approach practice. It should be noted that although there are a relevant
ensures a bounded estimation of the state and the unknown number of stability results for the different types of reset law,
parameter, assuming a persistent excitation condition as well synthesising reset elements for optimal performance is still
as the lack of disturbances. The performance of proportional an open issue.
observers can be improved by adding an integral term to Recently, stability analysis of reset control systems has
the adaptive laws, and the resultant observers are known as been also extended to time-delay systems for the case of
proportional integral observers (PIOs) [4]. This additional zero crossing reset law. There are two main approaches to
integral term can increase the steady state accuracy and study the stability of time-delay systems, which depend on
improve the robustness against modeling errors and dis- whether the time-delay is included in the stability analysis or
turbances [5]. Although PIOs were initially introduced in not [14]. Regarding the stability of reset control systems, the
LTI systems for robustness improvement and loop transfer delay-dependent approach was addressed in [15], whereas
recovery, their effectiveness have been also checked with the delay-independent stability analysis was given in [16].
nonlinear system [6] and time-delay systems [7]. In both cases, stability conditions were given using a set of
However, since the adaptive laws are still linear, they have LMI.
the inherent limitations of linear feedback control. Namely, Although the research on reset elements is still an open
they cannot decrease the settling time and the overshoot of and challenging topic, this research has been mainly focused
the estimation process simultaneously. Therefore, a trade- on control issues. The first application of the reset elements
off between both requirements is needed. Nevertheless, this to the state observer framework is [17]. There, the authors
fundamental limitation can be overcome by adding a reset proposed a new sort of observer called reset observer (ReO).
element. A simple reset element consists of an integrator and A ReO is an state observer whose integral term has been
a reset law that resets the output of the integrator as long as substituted for a reset element. The introduction of the reset
This work was supported in part by DGA project PI065/09 and BSH element in the adaptive laws can improve the performance
Home Appliances Group. of the observer, as it is possible to decrease the overshoot
D. Paesa, and C. Sagues are with DIIS, University of Zaragoza, Spain. and settling time of the estimation process simultaneously.
e-mail: dpaesa@unizar.es, csagues@unizar.es
A. Banos, is with Department of Informatica y Sistemas, University of This paper extends our previous work about ReO [17],
Murcia, Spain. e-mail: abanos@um.es [18] to the time-delay system framework, using the ideas
4153
B. ReO Based on Sector Reset Condition III. S TABILITY AND C ONVERGENCE A NALYSIS
In this case, ReO dynamics are described as follows: In this section we state computable sufficient conditions
for quadratic stability of both ReOs presented in the previous
(t) = A
x (t h)
x(t) + Ad x section applied to time-delay systems described by (1).
+ Bu(t) + KP y(t) + KI (t)
To this end, let us begin analyzing the corresponding
(t) = A (t) + B y(t) error system dynamics of both observers. Defining the state
y(t) = C x (t)
estimation error as x(t) = x(t) x(t), and by using the pre-
T
(t) = 1
viously defined augmented state error (t) = [ x(t) (t)] ,
T
if (t) F , (4) (t h) = [x(t h) (t h)] , the error dynamics of the
ReO based on the reset condition are given by
(t)
= A (t) + Ad (t h) + B w(t)
(t+ )
x = x(t) y(t) = C (t)
+)
(t = Ar (t)
if (t) J , (5) if (t)
/ M , (9)
y(t+ ) = y(t)
(t+ ) = 0
(t+ ) = AR (t)
if (t) M , (10)
As it was shown in [17], as long as the sector condition y(t+ ) = y(t)
is preferred the ReO can be regarded as a hybrid system and the error dynamics of the ReO based on the sector
with a flow set F and a jump or reset set J . On one hand, condition are as follows
when (t) F, that is, if y(t) and (t) have the same
(t)
= A (t) + Ad (t h) + B w(t)
sign, the ReO behaves as a proportional integral observer.
y(t) = C (t)
On the other hand, if (t) J , that is, if y(t) and (t)
have different sign, the integral term is reset according to if (t) F , (11)
the reset map Ar . According to these statements and since
y(t) = C x
(t), the definition of both sets can be formalized (t+ ) = AR (t)
if (t) J , (12)
by using the following augmented representation: y(t+ ) = y(t)
where in both cases
F := (t) : T (t)M (t) 0 ,
(6)
A KP C KI
A = , (13)
B C A
J := (t) : T (t)M (t) 0 ,
(7)
Ad 0
Ad = , (14)
where M = M T is defined as 0 0
0 CT
M= .
(8) Bw
C 0 B = , (15)
0
Since the ReO flows not only when T (t)M (t) 0
but also when , the flow set F becomes slightly C = C 0 . (16)
inflated. formally defined as F :=
That inflated flow set is
A. Asymptotic stability of ReOs Based on Zero Crossing
(t) : T (t)M (t) + T (t)(t) where () 0 repre-
Reset Condition
sents how the set is inflated [12]. Since 0 as 0,
an arbitrarily small can be chosen so that the effect of In this case the stability analysis follows directly from
is small enough to be neglected [21]. Given that F slightly Propositions 1-2 in [16] where quadratic stability of time-
overflows into the jump set J , the following assumption is delay reset systems subject to the zero crossing reset con-
needed to guarantee that the solution will be mapped to the dition is addressed. As long as the same reset condition is
flow set F after each reset and, consequently, there are no used, those results can be particularized for the stability of
trajectories that keep flowing and jumping within J . ReOs as follows.
Assumption 1. The reset observer described by (4)-(5) is Proposition 1. For given A , Ad , B and AR the aug-
such that (t) J AR (t) F, where AR = mented error dynamics shown in (9)-(10) with Bw = 0 is
quadratically stable, if for any matrix with Im = Ker C
I 0
is the reset map. there exist some matrix P = P T > 0, Q = QT > 0 subject
0 Ar
to
It is important to note that this assumption is commonly T
used in many of the reset system formulations based on the A P + P A + Q P Ad
< 0,
sector reset condition, that are available in literature [12], ATd P Q
[21]. T (ATR P AR P ) 0, (17)
4154
which is a linear matrix inequality problem in the variables quadratically stable, if there exist some matrix P = P T > 0,
P , Q. Q = QT > 0 and scalars F 0 and J 0 subject to
T
Proof. It is quite similar to the proof shown in Proposition A P + P A + Q + F (M + I) P Ad
< 0,
3 in [16]. Firstly, let us introduce the Lyapunov-Krasovskii ATd P Q
functional [14], that is defined as: ATR P AR P J M 0, (23)
Z 0
T
V (t ) = (t)P (t) + T (t + )Q(t + )d, (18) which is a linear matrix inequality problem in the variables
h P , Q, F and J .
for some symmetric and positive definite matrices P , Q with Proof. In this case, to prove the quadratic stability of the
size n n. Notice that V (t ) 0, and that V (t ) = 0 only ReO based on the sector reset condition, we have to check
if t () = 0 Rn , for each [h, 0]. that:
Then, to prove the quadratic stability of our proposed d
ReOs based on the zero crossing reset condition, we have dt V(t ) < 0 (t) F
(24)
to check that: V (t+ ) V (t ) 0 (t) J
d
(t)
/M where V is the Lyapunov-Krasovskii functional (18) and
dt V(t ) < 0
(19) d
V (t+ ) V (t ) 0 (t) M dt V (t ) is as it is defined in (20).
Since F := (t) : T (t) M (t) + T (t)(t) 0 and
Note that these inequalities are the standard stability employing the S-procedure [22], the first term of (24) is
requirements for reset systems, and they guarantee that there equivalent to the existence of F 0 such that
exists a common Lyapunov function that decreases when the
d
reset system is flowing, and does not grow when the reset V (t ) < F T (t)(M + I)(t) (25)
system is within the reset region. dt
Then, let us take derivative of (18) to obtain Rearranging terms of equations (25) and (20), the first
term of (24) holds if the following inequality is satisfied
d
V (t ) = T P (t) + (t)T P (t)
(t)
(t)T AT P + P A + Q + (M + I) (t)
dt
+ (t)T Q(t) (t h)T Q(t h) + (t h)T ATd P (t) + (t)T P Ad (t h)
(t)T AT + (t h)T ATd P (t)
= (t h)T Q(t h) < 0, (26)
T
+ (t) P (A (t) + Ad (t h))
which can be rearranged as an equivalent LMI problem in
+ (t)T Q(t) (t h)T Q(t h), (20) the variables P, Q > 0 and F 0
and using the first term of (19), (20) can be rearranged as
T
A P + P A + Q + (M + I) P Ad
an equivalent LMI problem in the variables P, Q > 0 < 0,(27)
ATd P Q
T
A P + P A + Q P Ad which is the first inequality of (23) and consequently, proves
< 0, (21)
ATd P Q the first equation of (24).
which is the first inequality of (17). Similarly, employing again the S-procedure, the second
It remains to prove the second term of (19). Since the term of (24) holds if there exists J 0 such that
reset action is only active when (t) M, and thus does V (t+ ) V (t ) T (t)J M (t), (28)
not affect the delay buffer (t + ) for any [h, 0) then
the integral part of the Lyapunov functional (20) does not which is equivalent to
contribute to the jump, thus the reset jump in second term (t)T ATR P AR (t) T (t)P (t) (t)T J M (t) 0. (29)
of (19) results in that
Rearranging terms, (29) can be also rewritten as an equiv-
V (t+ ) V (t ) = T (ATR P AR P ) 0 (22) alent LMI problem in the variables P > 0 and J 0 as
for every (t) M = Ker C, which is the second inequality follows
of (17) and completes the proof. ATR P AR P J M 0, (30)
B. Asymptotic stability of ReOs Based on Sector Reset which is analogous to the second inequality of (23) and
Condition proves the second equation of (24) and, as a consequence,
In this case the quadratic stability is addressed in similar completes the proof of the proposition.
way than [17], although in this time the standard quadratic
Remark 1. For stability purposes, we have to prove that
Lyapunov function candidate must be substituted for the d
previously presented Lyapunov-Krasovskii functional. dt V (t ) is negative in any region wherein the state (t) can
flow, and that V (t ) 0 for any region wherein the state
d
Proposition 2. For given A , Ad , B and AR the aug- (t) is reset. In particular, since F F , dt V (t ) must be
d
mented error dynamics shown in (11)-(12) with Bw = 0 is proven for all (t) F . If we only check dt V (t ) when
4155
(t) F, we cannot guarantee that the Lyapunov function A = 0.5, B = 1, KP = [0.05, 1]T , KI = [16, 20]T ,
is decreasing when the state (t) overflows into the adjacent Ar = 0, = 0. Notice that the KP and KI gains of the
reset region because of the temporal regularization. For this ReOs are equal to the gains of the oscillating PIO. Finally,
d
reason, we have to check dt V (t ) for all (t) F , and it is worth mentioning that the stability of both ReOs can be
V (t ) 0 for all (t) J . easily checked with the propositions given in Section III.
To analyze the effect of the disturbance w(t) on the
IV. S IMULATION R ESULTS performance of our proposal, let us consider that the system
In this section, an example is presented in order to show (31) is noise-free, and thus, w(t) = 0. In this case, the state
the effectiveness of our proposed ReOs. To this end, we estimation error x (t) = [ 2 (t)]T of all the observers
x1 (t), x
compare the simulation results obtained by a ReO based is shown in Fig. 1. It is evident that our proposed ReOs have
on the zero crossing reset condition, and a ReO based on a better performance compared with traditional PIOs, since
the sector reset condition with a PO and with a PIO. On the it has a response as quick as the oscillating PIO but without
one hand, the PO will be tuned to minimize the overshooting overshooting. Notice that if we decrease the integral gain KI
and, as a consequence, it provides a smooth response. On the of the oscillating PIO to avoid overshooting it will behave as
other hand, the PIO will be designed to minimize the rising the conservative PIO and, thus, its rising time will be higher
time, and hence, it gives an oscillating and faster response. than the obtained by ReOs. On the other hand, if we increase
The next simulation example will show that our proposed the integral gain KI of the conservative PIO to reduce its
ReOs can achieve both requirements (i.e. a smooth and quick rising time, it will behave as the oscillating PIO and, as a
response) simultaneously. These simulation results have been consequence, its response will be oscillating.
obtained by using Simulink with the ode3 solver.
0.5
Let us consider the following time-delay system:
x 1 (t) 2 0.1 x1 (t)
1
State estimation error x
=
x 2 (t) 0.1 0.9 x2 (t) 0
0.75 0 x1 (t h)
+
0.75 0.75 x2 (t h)
0.5
PO
0.5 0.5 PIO
+ u(t) + w(t)
2.5 0.5 ReO
zerocrossing
ReOsector
x1 (t) 1
0 1 2 3 4 5
y(t) = 1 0 (31) Time [sec]
x2 (t) 1
PO
PIO
with x(t = 0) = x(t = h) = [1, 1]T , u(t) = sin(5t), and 0.8
ReOzerocrossing
h = 0.2 sec. The aim is to develop an state observer for
2
0.6 ReO
State estimation error x
sector
the system described by (31) which satisfies that the state 0.4
observer (i.e. PO, PIO, ReO). Notice that when it is possible, 0.2
the tuning parameters are equal for each observer in order to 0.4
make the results more comparable. Since the tuning process 0.6
0 1 2 3 4 5
of each observer involves several parameters, let us outline Time [sec]
4156
future research to answer this challenging question. V. C ONCLUSION
This paper has extended our previously developed ReO
0.4 [17] to the time-delay system framework. The two most
0.2
popular reset conditions have been considered. Stability
analysis independent of the time delay has been given for
1
State estimation error x
0
both cases.
0.2 Reset elements can decrease the overshoot and settling
0.4 time of the estimation process without sacrificing the rising
0.6
time for some kind of systems. Simulation results have been
ReOzerocrossing
given to underline their potential benefits. Independently of
0.8
ReOsector the reset condition chosen, the proposed ReOs introduce
1
0 1 2 3 4 5 improvements even in the presence of disturbances.
Time [sec]
1
ReOzerocrossing R EFERENCES
ReOsector
[1] G. Luders and K. S. Narendra. A new canonical form for an adaptive
2
0.5
observer. IEEE Trans. on Automatic Control, 19(2):117119, 1974.
State estimation error x
0.2 [10] Y. Guo, Y. Wang, L. Xie, and J. Zheng. Stability analysis and design of
reset systems: Theory and an application. Automatica, 45(2):492497,
0.4
2009.
0.6 [11] O. Beker, C. Hollot, Y. Chait, and H. Han. Fundamental properties of
reset control systems. Automatica, 40(6):905915, 2004.
0.8 [12] D. Nesic, L. Zaccarian, and A. R. Teel. Stability properties of reset
ReO
systems. Automatica, 44(8):20192026, 2008.
1 zerocrossing
ReOsector [13] A. Banos, J. Carrasco, and A. Barreiro. Reset times dependent stability
1.2 of reset systems. IEEE Trans. on Automatic Control, 56(1):217223,
0 1 2 3 4 5
Time [sec] 2011.
1.2 [14] K. Gu, V. L. Kharitonov, and J. Chen. Stability of Time-Delay Systems.
ReOzerocrossing
Birkhauser, 2003.
1 ReO
sector [15] A. Barreiro and A. Banos. Delay-dependent stability of reset systems.
2
0.8
[16] A. Banos and A. Barreiro. Delay-independent stability of reset
0.6 systems. IEEE Trans. on Automatic Control, 52(2):341346, 2009.
[17] D. Paesa, C. Franco, S. Llorente, G. Lopez-Nicolas, and C. Sagues.
0.4
Reset adaptive observers and stability properties. In Proc. of the 18th
0.2 IEEE Mediterranean Control Conference, pages 14351440, 2010.
[18] D. Paesa, A. Banos, and C. Sagues. Optimal reset adaptive observer
0 design. Systems and Control Letters, 60(10):877883, 2011.
[19] A. Vidal and A. Banos. Reset compensation for temperature control:
0.2
0 1 2 3 4 5 Experimental application on heat exchangers. Chemical Engineering
Time [sec]
Journal, 159:170181, 2010.
[20] T. Loquen, S. Tarbouriech, and C. Prieur. Stability analysis for reset
Fig. 3. State estimation error x (t) obtained for each observer when the systems with input saturation. In Proc. of the IEEE Conference on
system is noise-corrupted. Thin solid lines have been obtained by using the Decision and Control, pages 32723277, 2007.
ReO based on the zero crossing reset condition. Thick solid lines have been [21] S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix
obtained by using the ReO based on the sector reset condition. Note that Inequalities in System and Control Theory. SIAM - Society for
(t = 0) = (t = h) = 0.15. Industrial Applied Mathematics, 1994.
4157