Professional Documents
Culture Documents
net/publication/332264629
CITATIONS READS
3 134
3 authors:
Atallah BENALIA
Université Amar Telidji Laghouat
71 PUBLICATIONS 326 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
Study the integration of a decentralized production of photovoltaic energy into an electricity network. View project
Speed sensorless direct torque control of a PMSM drive based type-2 fuzzy logic stator resistance estimator and luenberger observer View project
All content following this page was uploaded by Noureddine Gazzam on 15 April 2019.
Abstract
This paper addresses the algebraic observer design method for the estimation of the continuous state of switched
linear systems while the existence of unobservable modes. This strategy is based on the recent robust
differentiation technique. Taking into account the hybrid observability of the continuous state, the algebraic
observer can reconstruct the states using the output measurement and their robust derivatives estimation. The
proposed state observer provides better and fast estimation. To validate the design scheme, we apply the
theoretical to estimate the floating voltages capacitors of the multicellular converters using only the load current
measurement and the knowledge of the discrete sequence modes. Simulation results and comparisons with super
twisting observer demonstrate the robustness and the effectiveness of the suggested state observer with and
without converter’s parametric variations and output measurement noise.
Keywords: Switched linear systems, Observability analysis, Algebraic observer, Multicellular converter
matrices Ak R nn , Bk R nm , Ck R pn for signal that generates the switching sequence SS , and
denotes the state-transition matrix defined as:
k Q are respectively the state, input and output
A ( ti j +1 −ti j )
(t + )
A ( ti ) ( t −ti k )
matrices. Over a given time interval t 0 t f , the (t , t 0 , (t )) = e k −1 ij
k
j =0 e
(t ) : t0 , t f → Q
switching signal is defined by,
t t ik −1 , t ik k 1...,l
σ(t) = qik , tk −1 t tk , qik Q, k = 1, , l (2) The corresponding output trajectory is therefore given
by
Thus, the subsystem (also called mode)
(A qik , Bqi , Cqi
k k
) is active at the switching times For preciseness, the observability considered in this
paper has the following formal definitions.
tk k =0,,l −1 . Definition 1
(t ) : t 0 , t f → Q
The system (3) is said to be conditionally observable for
For brevity, the switching signal is
a given switching sequence SS over t 0 , t f , if and only if
noted by ( ) t . Note that, the switching signals
0 ,t f
for any initial condition x0 , the following hold
( ) [t ,t
0 f ] is completely characterized by:
y(t , t 0 , x0 , (t )) 0 t t 0 , t f implies that
- The Sequence of switching time:
t0 , t1 , t 2 ,...., tl −1. x0 = 0 .
Using the geometrical idea developed in [14], the
- The Sequence of Switching Modes: qi qi qi
1 2 l analysis of the observability of (3) for the switching
l is the length of the sequence. We can regroup these
two sequences as follows:
sequence SS over t 0 , t f has the purpose of computing
- The Switching Sequence ( SS ): the unobservable subspace along the sequence SS.
SS = (t0 , qi )(t1, qi ) (tl −1, qi ) .
1 2 l
Definition 2
Through this paper, it is assumed that: A state x 0 is unobservable for a given sequence SS ,
.
A1. System (1) satisfies the minimal dwell time
tk +1 − tk T , where T 0 .
over t 0 , t f , if y(t , t0 , x0 , (t )) 0 t t0 , t f
30 ELECTROTEHNICĂ, ELECTRONICĂ, AUTOMATICĂ (EEA), 67 (2019), nr. 1
k k
kl gets smaller and smaller when the l − k gets larger. 2. Rank T
qi qTi k = n, k 1,, l ; with qik is
1
where:
ELECTROTEHNICĂ, ELECTRONICĂ, AUTOMATICĂ (EEA), 67 (2019), nr. 1 31
x
ˆq Yˆq Uˆ N
y (i ) (0)
x
i1
ˆ (t ) =
ˆ
; Y (t ) =
i1
ˆ
; U (t ) =
qi 1
; y N ( s) =
x
ˆ Yˆ Uˆ i =0 s i +1
qil qi l q il
Multiply both sides of this expression s N +1 and the
M = M qi 1
M qi ; = qi
l 1
qi
l
algebraic derivative
respectively, one obtains:
d k / ds k , k = 1,, N − 1
The following algorithm describes the proposed dk
algebraic state observer scheme:
k +1
s N +1 y N ( s) =,0 k N − 1 (10)
ds
From the triangular system of equations (10), we can
d k y(0)
conclude that the derivatives , k = 1,, N − 1 are
ds k
~ ~
linearly identifiable. Multiplying (9) by s−N , N N,
allows to get rid of time derivatives and to get a simple
system of linear equations for the computation the
derivatives of y (t ) . The following theorem gives a
complete characterization of this estimation.
Theorem 3
For all t T , the j order time-derivative estimate
yˆ (t ) of the polynomial
( j)
y (t ) as defined in (6) satisfies
the convolution:
T
yˆ ( j ) (t ) = H j (T , ) y (t − )d , j = 0,..., N (11)
0
Figure 1. Algebraic observer algorithm
where
To execute the above scheme, we need an efficient and
fast method for getting the needed derivatives of the ( N + j + 1)!( N + 1)! N − j j
output and the input. H j (T , ) =
T N + j +1
(k1 , k 2 , j )
k1 = 0 k 2 = 0
In what follows, we recall the algebraic method initially
developed in [23] that give a no-asymptotic and robust
estimation of the derivatives. 1 /( k1!k 2 !(k1 + k 2 )!)(T − ) k1 + k2 (− ) N −k1 −k2
=
4.1. Recall on Numerical Differentiation ( N − j − k1 )!( j − k 2 )!( N − k1 − k 2 )!( N − k1 + 1)
In [24] and [25], Fliess and coworkers introduced a new
way to get the derivatives up to a desire order of a given Depends on the order j of derivative to be estimated,
signal y (t ) . This method is based on the algebraic and on an arbitrary constant time window length T 0.
The proof of the last theorem is given in [26].
combinations of time –integrations of y (t ) to compute its
derivatives. 5. Application to multicellular converter
Consider a real-valued function y (t ) that has the The multicellular converters, which are multilevel
following convergent Taylor series: converter, based on the serial association of elementary
cells. Figure 2 depicts the topology of the serial
y ( i ) (0) i multicellular converter with n independent cells, each
y (t ) = t ,t 0 elementary cell composed by pairs of complementary
i =0 i!
switches. The dynamics of the converter, with a load
around t = 0 . The approximation of y (t ) around 0 by the consisting in an inductance L and a resistance R, is given
by:
truncated Taylor series of order N is given by
x (t ) = A(u (t )) x(t ) + B(u (t ))
(12)
y (i ) N (0) i
N
y N (t ) = t (9) y (t ) = Cx(t )
i =0 i! where
The goal is to get the estimation of the derivatives of
y (t ) up to order N . The operational calculus yields for
the expression (9) is
32 ELECTROTEHNICĂ, ELECTRONICĂ, AUTOMATICĂ (EEA), 67 (2019), nr. 1
0 0
u2 − u1 ( )
ker qi = 0, i = 1,, M .
c1 0
Proposition 2
A(u ) = un − un −1 , B(u ) =
0
0 0
cn −1 E The observability matrix qi is reduced as:
u − u u −u R un
L
1 2
L
n −1 n
L
−
L
'qi = CqTi AqTi CqTi T
(16)
C = 0 0 1
Yields, the needed derivative also reduced:
The continuous state vector
x = vc1 vcn −1 iL T
R n correspond to n-1 Y (t ) = y y (17)
floating capacitor voltages and the last component is the
load current, E is the voltage source and cj are the Proof
u 0,1 From the fact that rank ( q ) 2 , which means that
n
capacitors. is the inputs. The switch
uk 0,1 determines the state of its cell
i
(kth). The value at most two states of the continuous vector state are
uk = 1 ( u k = 0 ) indicates the upper switch is closed instantaneously observable, the observability matrix qi is
(open) while the lower switch is in opposite state i.e. open reduced as (16).
(closed). Moreover, using (16) and (17), the observability matrix
for the multicellular converter for the sequence SS over
t 0 , t can be simplified as,
T
'SS = 'q1
T
'q2
T
'q3
T T
(18)
R-L load
5.2 Simulation result
From (12), we observe that there are both continuous To demonstrate the improvement of the proposed
variables (load current and capacitors voltages) and algebraic estimation strategy, the simulation results are
discrete variables (Boolean input). Thus, the converter has compared with a super-twisting observer given in [28]. The
a natural behaviour and therefore we can derive a hybrid structure of the super-twisting algorithm is:
model for it. Thus, one can put (12) in the switched affine
model (13): u 2 − u1
xˆ1 = x3 − (u 2 − u1 ) sgin( x3 − xˆ 3 )
c1
x (t ) = A ( t ) x(t ) + B ( t )
(13) xˆ = u 3 − u 2 x − (u − u ) sgin( x − xˆ ) (19)
y (t ) = C ( t ) x(t )
2
c2
3 3 2 3 3
u − u1 u − u2
( ) define
R
where M = 2 n and the matrices Aq , Bq , Cq xˆ 3 = − 2 x1 − 3 x 2 − x3 +
i i i L L L
subsystem and they are given in (12). x − xˆ u − u sign( x − xˆ )
Despite the individual subsystems (A qi , Bqi , Cqi ) of
3 3 3 2 3 3
(a)
(b)
Figure 4. Estimate of capacitor voltages and its errors
algebraic hybrid observer (4(a), 4(c))
Automatic Control, 56 (03): 681–686 (2011). China, pp: 1740 – 1745 (2009).
[10] Fliess M., Join C., Perruquetti W., Real-time estimation for [27] Gazzam N., Benmiloud M., Benalia A., Observability
switched linear systems, 47th IEEE Conference on Decision analysis of multicellular converters: Hybrid approach, 3rd
and Control, Cancun, Mexico, pp. 941–946 (2008). International Conference on Control, Engineering &
[11] Z heng G., Yu L., Boutat D., Barbot J-P. , Algebraic observer Information Technology (CEIT), Tlemcen, Algeria, pp.01 –05
for a class of switched systems with Zeno phenomenon, (2015).
48th IEEE Conference on Decision and Control CDC, [28] Gazzam N, , Benalia A, “Observability Analysis and Observer
Shanghai, pp. 3876 – 3881, (2009). Design of Multicellular Converters”, 8th International
[12] Fliess M., Join C., Perruquetti W., Real-time estimation of Conference on Modelling, Identification and Control (ICMIC-
the switching signal for perturbed switched linear systems, 2016), November 15-17, 2016; Algiers, Algeria.
47th IEEE Conference on Decision and Control, Cancun, pp. [29] Gazzam Noureddine, Benalia Atallah, “Voltage Estimation
941–946(2008). of DC/DC Converters”, in Electrotehnica, Electronica,
[13] Tanwani A., Trenn S., On observability of switched Automatica (EEA), 2018, vol. 66, no. 1, pp. 73-79, ISSN
differential algebraic equations, 49th IEEE Conference on 1582-5175.
Decision and Control, Atlanta, pp. 5656–5661(2010).
[14] Tanwani A., Shim H., Liberzon D., Observability implies Acknowledgment
observer design for switched linear systems, 14th
international Conference on Hybrid Systems Computation This work was financially supported by the LACoSERE
and Control, Chicago, pp. 3–12 (2011). Laboratery. University Amar Telidji of Laghouat, Algeria.
[15] Shim H., Tanwani A., On a Sufficient Condition for
Observability of Nonlinear Switched Systems and Observer Biography
Design Strategy, American Control Conference ACC, San
Francisco, USA, pp. 1206 – 1211, (2011). Kaouthar Haddadi was born on 14 Juin 1989 in
[16] Van Gorp J., Defoort M., Veluvolu K. C., Djemai M., Hybrid Laghouat/Algeria.
sliding mode observer for switched linear systems with She earned his License degree in Electro-
unknown inputs, Journal of the Franklin Institute, 351, technology (2009) and his Master degree in
pp:3987– 4008,(2014). Automatic (2011) from the Amar Telidji
[17] Gutiérrez D. G., Čelikovský S., Treviñoc A. R., Toledo B. C., university, Laghouat.
On the observer design problem for continuous-time She is currently a PhD Student in the Electrical
switched linear systems with unknown switching, Journal of Engineering Department.
the Franklin Institute, 352 : 1595–1612 (2015). Her general research interests are in the areas of Automatic
[18] Meynard T., Foch H., Multi-Level Conversion: High Voltage control, observability and observer design of switched linear
Choppers and Voltage-Source Inverters, 23rd Annual Power systems.
Electronics Specialists Conference IEEE, 1: 397– 403(1992). e-mail: kaoutharhadadi@gmail.com
[19] Bejarano F., Ghanes M. , Barbot J. P., Observability and
Observer Design for Hybrid Multicell Choppers, Noureddine Gazzam was born on 09 April 1989
International Journal of Control, 83:617– 632 (2010). in Laghouat/Algeria.
[20] Defoort M., Djemaı M., Floquet T., Perruquetti W., Robust He earned his License degree in Electro-
Finite Time Observer Design for Multicellular Converters, technology (2010) and his Master degree in
International Journal of Systems Science, 42: 1859–1868 Automatic (2012) from the Amar Telidji
(2011). university, Laghouat.
[21] Van Gorp J., Defoort M., Djemai M., Manamanni N., Hybrid He is currently a PhD Student in the Electrical Engineering
Observer for the Multicellular Converter, 4th IFAC Department. His general research interests are in the areas of
Conference on Analysis and Design of Hybrid Systems, Automatic control systems and his current research focuses on
Eindhoven, Netherlands, pp.259–264 (2012). the control and observation of hybrid dynamical systems.
[22] Ames A., Zheng H., Gregg R., Sastry S., If There life after e-mail: n.gazzam@lagh-univ.dz
Zeno? Taking Executions past the breaking (zeno) point, in
proceeding. American Control Conference, Mineapolis, Atallah Benalia was born on 1972 in Algiers/
pp.2652–2657 (2006). Algeria. He received the diploma of state
[23] Fliess M., Generalized controller canonical form for linear engineer from Ecole Polytechnique of Algiers in
and nonlinear dynamics, IEEE Transactions on Automatic 1996, and the DEA and PhD degrees in Automatic
Control, 35: 994 – 1001 (1990). control from the University of Paris-Sud (France),
[24] Fliess M., Sira-Ramirez H., An algebraic framework for in 1998 and 2004, respectively.
linear identification, ESAIM Control, Optimisation and He joined the faculty of the Technology at the University of Amar
Calculus of Variations, 9: 151-168 (2003). Telidji, Laghouat (Algeria), in 2008 where he is currently a
[25] Fliess M., Sira Ramirez H., Control via state estimations of professor. His research interests deal mainly with analysis and
some nonlinear systems, NOLCOS on Nonlinear Control control of nonlinear systems.
Systems, Stuttgart, (2004). e-mail: a.benalia@lagh-univ.dz
[26] Zehetner J., Reger J., Horn M., On algebraic time-
derivative estimation and deadbeat state reconstruction,
48th IEEE Conference on Decision and Control, Shanghai,