+ All Categories
Home > Documents > An Observer-Based Scheme for Decentralized Stabilization of Large-Scale Systems With Application to...

An Observer-Based Scheme for Decentralized Stabilization of Large-Scale Systems With Application to...

Date post: 23-Dec-2016
Category:
Upload: romeo
View: 212 times
Download: 0 times
Share this document with a friend
9
AN OBSERVER–BASED SCHEME FOR DECENTRALIZED STABILIZATION OF LARGE-SCALE SYSTEMS WITH APPLICATION TO POWER SYSTEMS Diego Langarica Córdoba and Romeo Ortega ABSTRACT An observer-based methodology for decentralized stabilization of large-scale linear time-invariant systems is presented. Each local controller is provided with available local measurements, it implements a deterministic observer to reconstruct the state of the other subsystems and uses—in a certainty-equivalent way—these estimates in the control law.The observers are designed following the principles of immersion and invariance. The class of systems to which the design is applicable is identified via a linear matrix inequality, from which the observer gains are obtained. It is shown that the use of immersion and invariance observers, instead of standard Luenberger’s observers, enlarges the class of stabilizable systems. The applicability of the proposed method is illustrated with a transient stabilization controller for a two-machine power system. Key Words: Decentralized control, observers, linear matrix inequality, power systems. I. INTRODUCTION Large-scale interconnected dynamical systems have been studied for many years and continue to be a field with strong practical significance. The increasing use of systems such as multi-agents in robotics [1–3], unmanned aerial and autonomous underwater vehicles [4,5] and widely geographi- cally distributed power systems [6], raises the question in how to coordinate their operation under constrained structural characteristics, including non-classical information availabil- ity, large dimensionality and uncertainty. In the early 70s, Wang and Davison [7] started formal research on decentralized control. They proved that a system can be stabilized with a decentralized controller (static or dynamic) if and only if it does not have unstable decentralized fixed modes, see also [8]. The typical scenario of decentral- ized stabilization of linear time–invariant (LTI) systems assumes that the input matrix is full and aims at finding local output feedbacks such the closed-loop is stable. Surveys and more recent developments on this problem may be found in [9–15]. Motivated by some current applications, in particular the transient stabilization problem of multimachine power systems [16,17], we consider a different scenario. Namely, that the input matrix is block diagonal, the local states are measurable and we dispose of a full-state feedback controller that stabilizes the system. The approach adopted in the paper to solve this decentralized stabilization problem is to imple- ment local deterministic observers to reconstruct the state of the other subsystems and use—in a certainty-equivalent way—these estimates in the control law. The observers are designed using the immersion and invariance technique (I&I) proposed in [18]. As is well- known, the structure of I&I estimators differs considerably from the structure of the classical Luenberger’s observer [20]. The current decentralized scenario yields some decen- tralized controller designs that—to the best of our knowl- edge—have not been reported in the literature. Moreover, the class of systems to which the design is applicable strictly contains the class that uses standard (reduced or full order) Luenberger’s observers. The class is identified via a linear matrix inequality (LMI) that, if feasible, yields the observer gains. The remainder of this work is organized as follows. In Section II the decentralized stabilization problem is for- mulated and the main result is given. For ease of presenta- tion, the proof of the main result is given first for a system composed of two subsystems in Section III. Its generaliza- tion to N > 2 subsystems is discussed later. The proposed method is applied to design a transient stabilization control- ler for a two-machine power system in Section IV, where some simulation results are also given. Finally, Section V provides some final conclusions and directions for future work. Manuscript received May 24, 2013; revised November 4, 2013; accepted January 19, 2014. The authors are with the Laboratoire des Signaux et Systémes, Supelec, Plateau du Moulon, 91192 Gif-sur-Yvette, France. Diego Langarica Córdoba is the corresponding author (e-mail: diego.langarica(ortega)@lss.supelec.fr) This work was financially supported by CONACYT (México). Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015 Published online in Wiley Online Library (wileyonlinelibrary.com) DOI: 10.1002/asjc.872 © 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd
Transcript

AN OBSERVER–BASED SCHEME FOR DECENTRALIZEDSTABILIZATION OF LARGE-SCALE SYSTEMS WITH APPLICATION TO

POWER SYSTEMS

Diego Langarica Córdoba and Romeo Ortega

ABSTRACT

An observer-based methodology for decentralized stabilization of large-scale linear time-invariant systems is presented.Each local controller is provided with available local measurements, it implements a deterministic observer to reconstruct the stateof the other subsystems and uses—in a certainty-equivalent way—these estimates in the control law. The observers are designedfollowing the principles of immersion and invariance. The class of systems to which the design is applicable is identified via alinear matrix inequality, from which the observer gains are obtained. It is shown that the use of immersion and invarianceobservers, instead of standard Luenberger’s observers, enlarges the class of stabilizable systems. The applicability of the proposedmethod is illustrated with a transient stabilization controller for a two-machine power system.

Key Words: Decentralized control, observers, linear matrix inequality, power systems.

I. INTRODUCTION

Large-scale interconnected dynamical systems havebeen studied for many years and continue to be a field withstrong practical significance. The increasing use of systemssuch as multi-agents in robotics [1–3], unmanned aerial andautonomous underwater vehicles [4,5] and widely geographi-cally distributed power systems [6], raises the question in howto coordinate their operation under constrained structuralcharacteristics, including non-classical information availabil-ity, large dimensionality and uncertainty.

In the early 70s, Wang and Davison [7] started formalresearch on decentralized control. They proved that a systemcan be stabilized with a decentralized controller (static ordynamic) if and only if it does not have unstable decentralizedfixed modes, see also [8]. The typical scenario of decentral-ized stabilization of linear time–invariant (LTI) systemsassumes that the input matrix is full and aims at finding localoutput feedbacks such the closed-loop is stable. Surveys andmore recent developments on this problem may be found in[9–15].

Motivated by some current applications, in particularthe transient stabilization problem of multimachine power

systems [16,17], we consider a different scenario. Namely,that the input matrix is block diagonal, the local states aremeasurable and we dispose of a full-state feedback controllerthat stabilizes the system. The approach adopted in the paperto solve this decentralized stabilization problem is to imple-ment local deterministic observers to reconstruct the state ofthe other subsystems and use—in a certainty-equivalentway—these estimates in the control law.

The observers are designed using the immersion andinvariance technique (I&I) proposed in [18]. As is well-known, the structure of I&I estimators differs considerablyfrom the structure of the classical Luenberger’s observer[20]. The current decentralized scenario yields some decen-tralized controller designs that—to the best of our knowl-edge—have not been reported in the literature. Moreover,the class of systems to which the design is applicablestrictly contains the class that uses standard (reduced or fullorder) Luenberger’s observers. The class is identified via alinear matrix inequality (LMI) that, if feasible, yields theobserver gains.

The remainder of this work is organized as follows.In Section II the decentralized stabilization problem is for-mulated and the main result is given. For ease of presenta-tion, the proof of the main result is given first for a systemcomposed of two subsystems in Section III. Its generaliza-tion to N > 2 subsystems is discussed later. The proposedmethod is applied to design a transient stabilization control-ler for a two-machine power system in Section IV, wheresome simulation results are also given. Finally, Section Vprovides some final conclusions and directions for futurework.

Manuscript received May 24, 2013; revised November 4, 2013; accepted January19, 2014.

The authors are with the Laboratoire des Signaux et Systémes, Supelec, Plateau duMoulon, 91192 Gif-sur-Yvette, France.

Diego Langarica Córdoba is the corresponding author (e-mail:diego.langarica(ortega)@lss.supelec.fr)

This work was financially supported by CONACYT (México).

Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015Published online in Wiley Online Library (wileyonlinelibrary.com) DOI: 10.1002/asjc.872

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

II. PROBLEM FORMULATION ANDMAIN RESULT

Consider the LTI large-scale system

Σ : ,�x x u= +A B (1)

where x = …[ ] ∈x x xNnN

1 2Τ Τ Τ Τ, , , R , is the state vector, where

xi ∈ Rn, u = …[ ] ∈u u uNmN

1 2Τ Τ Τ Τ, , , R is the input vector, where

ui ∈ Rm, with

A

A A A

A A A

A A A

N

N

N N NN

nN nN=

……

⎢⎢⎢⎢

⎥⎥⎥⎥

∈ ×

11 12 1

21 22 2

1 2

� � � �R

with Aij ∈ Rn×n and

B

B

B

BN

nN mN=

……

⎢⎢⎢⎢

⎥⎥⎥⎥

∈ ×

1

2

0 0

0 0

0 0

� � � �R ,

with Bi ∈ Rn×m. To simplify the notation, and without loss ofgenerality, we have assumed that the dimensions of all thesubsystems states and inputs are the same.

For future reference we partition the system (1) into Ninterconnected subsystems

Σ i i ii i i i ij j

j j i

N

x A x B u A x: ,,

� = + += ≠∑1

(2)

with i N N∈ = …: { , , , }1 2 . We assume that each subsystem Σi

has available for measurement the corresponding state xi. (*)

Assumption II.1. The pair (A, B) is controllable and weknow a matrix F ∈ RmN×nN such that A + BF is a Hurwitzmatrix.

Problem Formulation. Consider the system (2) satisfyingAssumption II.1. Design, if possible, an observer-baseddecentralized certainty-equivalent controller of the form

�ξ ξ ξξ

j ij i j N i

j ij i j i

i ii i

i i i

i i

W x u

x R x u

u F x

Σ Σ Σ

Σ Σ

= …=

= +

( , , , , )

( , , )ˆ

FF x i j N j iij j

j j i

N

,

Σ= ≠∑ ∈ ≠1

, , , ,

(3)

where Wij: Rn × Rn × . . . × Rn × Rm → Rn and Rij:Rn × Rn × Rm → Rn such that all trajectories are bounded and

tt

→∞=lim ( ) ,x 0

for all initial conditions ( ( ), ( ))xi jn n

i0 0ξ Σ ∈ ×R R . (†)

Remark. The proposed scheme is decentralized in the sensethat there is no (online) information exchange between sub-systems. Notice, however, that the matrix F is assumed to beknown and is designed from knowledge of the matrices Aand B.

The proposition below contains the main result of thepaper. Namely, the characterization—via an LMI—of a classof systems for which the aforementioned problem has a solu-tion.

Proposition II.1. Define the matrices

ΛΩ∈∈

− × −

− × −

RR

nN N nN N

nN N nN N

( ) ( )

( ) ( )

1 1

1 1(4)

which are determined by elements of A, B and F. For instance,in the case of two interconnected subsystems (N = 2), they aredefined as

Λ

Ω

=−

−⎡⎣⎢

⎤⎦⎥

= ⎡⎣⎢

⎤⎦⎥

A B F

B F A

A

A

22 2 21

1 12 11

12

21

0

0

(5)

where A A B Fii ii i ii:= + .The decentralized stabilization problem stated above

has a solution if there exists block diagonal matricesP ∈ RnN(N−1)×nN(N−1), U ∈ RnN(N−1)×nN(N−1) solutions of the LMI

P

P P U U

>+ − − <

0

0Λ Λ Ω ΩΤ Τ Τ .(6)

Furthermore, the mappings Wij, Rij are linear, that is theobserver takes the form

�ξ ξξj ijx

i jk k

k k i

N

iju

ii iT x T T uΣ Σ= + += ≠∑1,

ˆ , , , ,x H x H H u i j N j ij ijx

i ij j iju

ii iΣ Σ= + + ∈ ≠ξξ

* Unless indicated otherwise the subindex (·)i ranges in the set N . When clearfrom the context, this clarification is omitted.

† The signal x j iΣ is the estimate of the state xj generated with measurementsof the subsystem Σi, whose state is the (N − 1)n-dimensional vector

( , , )ξ ξ1ΣΤ

ΣΤ Τ

i iN… excluding ξi iΣΤ .

2 Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

where Tijx, Tjk

n nξ ∈ ×R , Tiju n m∈ ×R , Hij

x , Hijn nξ ∈ ×R and

Hiju n m∈ ×R .

III. PROOF OF MAIN RESULT

For simplicity, we present first the proof for the case oftwo subsystems. The proof for the general case is given inSubsection 3.2.

3.1 Two-subsystem case

The two-interconnected subsystems take the form

ΣΣ

1 1 11 1 1 1 12 2

2 2 22 2 2 2 21 1

:

: .

��x A x B u A x

x A x B u A x

= + += + +

(7)

The certainty–equivalent decentralized control law is

u F x F x

u F x F x1 11 1 12 2

2 21 1 22 2

1

2

= += +

ˆ ,

ˆ ,Σ

Σ(8)

where the state feedback gain matrix of Assumption II.1 ispartitioned as

FF F

F F= ⎡⎣⎢

⎤⎦⎥

11 12

21 22

,

x2 1Σ and x1 2Σ represent the estimation of x2 generated by Σ1

and the estimation of x1 generated by Σ2, respectively. Theclosed-loop system (7)–(8) takes the form

��x A x A x B F x

x A x A x B F x1 11 1 12 2 1 12 2

2 22 2 21 1 2 21 1

1

2

= + += + +

ˆ

ˆ ,Σ

Σ

(9)

where we have defined A A B Fii ii i ii:= + .The main thrust of the proof is the construction of a

decentralized I&I observer for each subsystem Σi—that, werecall, disposes of its corresponding state xi. To this end, wefollow the methodology of the I&I technique in [18] anddefine the observed states as the sum of an integral and aproportional term. In this way, the estimate of x2 generated bysubsystem Σ1 is defined as

ˆ ,x K x2 2 2 11 1 1Σ Σ Σ= +ξ

where ξ2 1Σ is the integral part and K n n2 1Σ ∈

×R is a matrix tobe defined. Define the first estimation error as

�x x x2 2 2: .1= −ˆ Σ

Taking its time derivative yields

�� �x K A x B u A x

A x A x B F x2 2 2 11 1 1 1 12 2

22 2 21 1 2 21 1

1 1

2

( )

( )

= + + +− + +ξ Σ Σ

Σˆ ..

Replacing the unmeasurable signal x2 above by

x K x x2 2 2 1 21 1= + −ξ Σ Σ � ,

and splitting into measurable and unmeasurable signalssuggests the selection

�ξ ξ2 2 12 22 2 2 1

2 21 2 11 21 1 2

1 1 1 1

1

Σ Σ Σ Σ

Σ

= − − ++ − + −

( )( )

( )

K A A K x

B F K A A x K ΣΣ1 1 1B u .(10)

This yields the first observer error equation dynamics

�� � �x A K A x B F x2 22 2 12 2 2 21 11= −( ) −Σ ,

where we defined the observation error of the secondsubsystem as

�x x x1 1 1: .2= −ˆ Σ

Proceeding analogously with the derivative of �x1 anddefining

�ξ ξ1 1 21 11 1 1 2

1 12 1 22 12 2 1

2 2 2 2

2

Σ Σ Σ Σ

Σ

= − − ++ − + −

( )( )

( )

K A A K x

B F K A A x K ΣΣ2 2 2B u ,(11)

we obtain the second observer error equation dynamics

�� � �x A K A x B F x1 11 1 21 1 1 12 22= −( ) −Σ .

The two error equations can be compactly written as

����

xx

x= ⎡

⎣⎢⎤⎦⎥

A 2

1

(12)

where

A : .=− −− −

⎡⎣⎢

⎤⎦⎥

A K A B F

B F A K A22 2 12 2 21

1 12 11 1 21

1

2

Σ

Σ

Now, the closed–loop system (9) can be expressed interms of the observation errors as

� �x x x= + + ⎡⎣⎢

⎤⎦⎥

( ) .A BFB F

B F1 12

2 21

0

0(13)

Given Assumption II.1 and the cascaded structure of(12) and (13) it is clear that the control objective is attained ifthe matrices K2 1Σ , K1 2Σ are selected such that the matrix Ais Hurwitz.

The matrix A can be written as

A = −Λ ΩK , (14)

where the matrices

3D. Langarica Córdoba and R. Ortega: Observer–Based Scheme for Decentralized Stabilization

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

Λ

Ω

=−

−⎡⎣⎢

⎤⎦⎥

= ⎡⎣⎢

⎤⎦⎥

A B F

B F A

A

A

22 2 21

1 12 11

12

21

0

0

(15)

are given, and the unknown gain matrix is

KK

K= ⎡⎣⎢

⎤⎦⎥

2

1

1

2

0

Σ.

To establish the proof we invoke a standard LMI argu-ment given in [19] that is detailed here for the sake of com-pleteness.

The matrix A is Hurwitz if and only if there exists ablock diagonal symmetric matrix P such that

P

P K K P

>− + − <

0

0( ) ( ) .Λ Ω Λ Ω Τ (16)

Defining the block diagonal matrix U := PK theinequalities (16) become the LMI

P

P P U U

>+ − − <

0

0Λ Λ Ω ΩΤ Τ Τ .(17)

that should be solved for P and U. The gain matrix K can berecovered using K = P−1U.

The proof is completed identifying from the observerequations above the matrices of the proposition as

T B F K A A K A K A Kx12 2 21 2 11 21 2 12 2 22 21 1 1 1= − + − +Σ Σ Σ Σ

T K A A12 2 12 221

ξ = − −( )Σ

T K Bu12 2 11= − Σ

H Kx12 2 1= Σ

H In n12ξ = ×

H un n12 0= ×

and

T B F K A A K A K A Kx21 1 12 1 22 12 1 21 1 11 12 2 2 2= − + − +Σ Σ Σ Σ

T K A A21 1 21 112

ξ = − −( )Σ

T K Bu21 1 22= − Σ

H Kx21 1 2= Σ

H In n21ξ = ×

H un n21 0= × .

In order to illustrate the ideas given by the proposedmethod above, the decentralized scheme diagram for twointerconnected subsystems is presented in Fig. 1.

Remark. Some simple calculations show that the standardreduced order Luenberger’s observer in [20]

ˆ ˆ�x A x A x B F x2 21 1 22 2 2 21 11 1Σ Σ= + +

ˆ ˆ ,�x A x A x B F x1 12 2 11 1 1 12 22 2Σ Σ= + +

yields the error dynamics

�� �x x=−

−⎡⎣⎢

⎤⎦⎥

A B F

B F A22 2 21

1 12 11

,

that coincides with (12) when K K2 11 2 0Σ Σ= = . Hence, the setof stabilizable systems using this observer is strictly smallerthan the one corresponding to the I&I observer. Similarderivations in [20–22] have been made to overcome the lackof the correction term in the Luenberger’s reduced orderobserver above. In addition, it can be shown that the errordynamics of a full order Luenberger’s observer is of the form

�� �χ χ=−

⎢⎢⎢⎢

⎥⎥⎥⎥

L A

A B F

B F A

A L

1 12

22 2 21

1 12 11

21 2

0 0

0 0

0 0

0 0

,

where �χ∈R4n is the observation error and Li ∈ Rn×n are freematrices. From the structure of the matrix above it can be seenthat a necessary condition for stability is that the matrix of thereduced order observer is Hurwitz. Hence, the use of a fullorder observer does not enlarge the class of stabilizablesystems.

Remark. In the derivations above, the full-state feedbackstabilizing matrix F was supposed fixed to obtain an LMI inthe observer gains K j iΣ . Posing the problem of findingboth F and K j iΣ , for the given data A and B, results in a

Fig. 1. Decentralized stabilization scheme.

4 Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

nonlinear matrix inequality. Indeed, using the standardreparametrization of the Lyapunov equation

Q Q A BF A BF Q> + + + <0 0, ( ) ( )Τ

given in [19]

S Q T FQ: , : ,= =− −1 1

shows that stability of A + BF is equivalent to solvability ofthe LMI

S > 0

AS BT SA T B+ + + <Τ Τ Τ 0.

On the other hand, the LMI (17) takes the form

P

P TS TS P U U

>+ + + − − <

0

00 1 0 1( ) ( ) ,Λ Λ Λ Λ Ω ΩΤ Τ Τ

where

Λ Λ Λ= +0 1TS,

with Λ and Ω given in (15). Taking together‡ the two sets ofinequalities yields a nonlinear equation in the unknowns S, T,P, U. Although numerical techniques are available to solvenonlinear matrix inequalities, for ease of presentation, wehave preferred to avoid this complexity.

3.2 N-subsystem case

We now present the proof for the case of N subsystems.Consider (2) connected in closed-loop with ui given in (3).The overall state feedback gain matrix is assembled as

F

F F F

F F F

F F F

N

N

N N NN

=

……

⎢⎢⎢⎢

⎥⎥⎥⎥

11 12 1

21 22 2

1 2

� � � �,

consequently, the closed-loop system takes the form

Σ Σi i ii i ij j i ij j

j j i

N

x A x A x B F x i: ( ).� = + += ≠∑ ˆ

,1

The state estimation of the jth subsystem provided tothe ith subsystem controller is

ˆ , , , ,x K x i j N j ij j j ii i iΣ Σ Σ= + ∈ ≠ξ (18)

where ξ j iΣ is the integral part and K xj iiΣ is the proportionalpart, K j

n niΣ ∈

×R . We define the estimation error with thegeneral form

�x x xj j ji iΣ Σ= −ˆ . (19)

Its time derivative results in

�� �x K A x B u A x

A x A

j j j ii i i i ik k

k k i

N

jj j jk

i i iΣ Σ Σ= + + +⎛⎝⎜

⎞⎠⎟

− +

= ≠∑ξ1,

xx B F xk j jk k

k k j

N

j+( )⎛⎝⎜

⎞⎠⎟= ≠

∑ ˆ ,,

Σ1

and the unmeasurable signal xj above is replaced by

x K x xj j j i ji i i= + −ξ Σ Σ Σ� .

Separating into measurable and unmeasurable signalssuggests the selection

�ξ j i j ii ji j ji i

j ik jk j jk k

k k

K A A B F x

K A A B F x

i

i i

Σ Σ

Σ Σ

= − − −

− − −=

( )

( )1

ˆ, ≠≠∑

− ∈ ≠i

N

j i iK B u i j k N j iiΣ , , , , ,

(20)

which renders the corresponding observer error dynamics

�� �

x K A A B F x

B F x

j j ik jk j jk k

k k i

N

j jk k

k k

i i i

j

Σ Σ Σ

Σ

= − − −

= ≠

= ≠

∑ ( ),

,

1

1 jj

N

i j k N j i∑ ∈ ≠, , , , .

(21)

Notice the auxiliary subscript k follows k ≠ i and k ≠ j inthe first and the second sum of (21), respectively. From theclosed-loop system (2)–(3) and the estimation errors (19), weobtain

� �x x x= + +( ) ,A BF I

where � � � �x x x x= …[ ] ∈ −ΣΤ

ΣΤ

ΣΤ Τ

1 21, , , ( )

nnN NR , is the overall

observation error vector formed by

���

���

x xΣ

Σ

Σ

Σ

Σ

Σ

Σ

Σ

1

2

3

1

3

1

1

1

2

2

2

2

=

⎢⎢⎢⎢

⎥⎥⎥⎥

=

⎢x

x

x

x

x

xN N

, ⎢⎢⎢⎢

⎥⎥⎥⎥

,

���

Σ

Σ

Σ

n

N

N

N

x

x

xN

n N=

⎢⎢⎢⎢

⎥⎥⎥⎥

1

2

1

1R ( ).

‡ We have split Λ into two to underscore that, since it depends linearly on theunknown F, it depends on TS. Notice that Λ0 and Λ1 depend only on A and B.

5D. Langarica Córdoba and R. Ortega: Observer–Based Scheme for Decentralized Stabilization

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

The interconnection matrix between the closed-loopsystem and the observer error dynamics is defined as

I

I

I

I

=

……

⎢⎢⎢⎢

⎥⎥⎥⎥

∈ × −

11

22 1

0 0

0 0

0 0

� � � �

NN

nN nN NR ( ),

formed by submatrices

I11 1 12 1 13 1 1= …[ , , , ]B F B F B F N

I22 2 21 2 23 2 2= …[ , , , ]B F B F B F N

INN N N N N N N NB F B F B F= … −[ , , , ].( )1 2 1

The resulting observer error dynamics in (21) can beunited as

�� �x x=A ,

where

A

A A AA A A

A A A

=

……

⎢⎢⎢⎢

⎥⎥⎥⎥

∈ − ×

11 12 1

21 22 2

1 2

1

N

N

N N NN

nN N

� � � �R ( ) nnN N( ),−1

with sub-matrices Aii defined by the first sum in (21) and theoff-diagonal sub-matrices Aij defined by the second sum. Forconvenience, the matrix A can be reformulated similar to(14). To this end, the resulting matrices K j iΣ are placed in adiagonal formation leading to the overall observation gainmatrix

K K K K K K K K

K KN N

N

N

N

= … …… −

diag{ , , , , , , , , ,

, ,2 3 1 3 1

2 1

1 1 1 2 2 2Σ Σ Σ Σ Σ Σ Σ

Σ ΣNNnN N nN N} .( ) ( )∈ − × −R 1 1

According to Proposition II.1, it is possible to find afeasible matrix K by solving the LMI in (17). Moreover, theproof is completed identifying from the observer equationsabove the matrices of the proposition as

T K A A B F T Kijx

j ii ji j ji jk k

k k i

N

i i= − − − += ≠∑( )

,

Σ Σξ

1

T K A A B Fjk j ik jk j jki

ξ = − − −( )Σ

T K Biju

j ii= − Σ

H Kijx

j i= Σ

H Iij n nξ = ×

Hiju

n n= ×0 .

Finally, in the above description, each subsystem con-troller ui is provided with (N − 1) local estimations and thetotal number of subsystem observers used by the wholescheme is (N − 1)N.

IV. SIMULATION RESULTS

The theory presented in this work is verified throughnumerical simulation results. These results are obtained viaMatlab as well as Yalmip-SeDuMi package [25] to computethe corresponding LMI’s. Moreover, the controller robustnessis tested introducing white noise in sensors.

The control law (8) is used to stabilize a nonlinearpower system represented by two machines interconnectedvia a lossy transmission line as depicted in Figure (5). Thedynamics of this system are [16,17,23]:

δ ωω ω δ δ α

1 1

1 1 1 1 1 12

1 2 12 1 2 12

1 1 1 1

== − + − − − +

= − +

D P G E E E Y

E a E b

sin( )

EE E

D P G E E E

F2 1 2 121

1 1

2 2

2 2 2 2 2 22

2

1cos( ) ( )δ δ α

τν

δ ωω ω

− + + ∗ +

== − + − −

� 11 21 2 1 21

2 2 2 2 1 2 1 212

2

1

Y

E a E b E EF

sin( )

cos( ) (

δ δ α

δ δ ατ

ν

− +

= − + − + + ∗ +�22),

(22)

where δ π πi ∈ = −S : ( , )2 2 , ωi ∈ R and Ei ∈ R+ are thestates, νi ∈ R are the control inputs, Di, Pi, Gi, ai, bi, τi and EFi

∗are positive constants depending on the physical parametersof the i-th machine, and Yij and αij, with i, j N∈ and j ≠ i, areconstants depending on the topology, the physical propertiesof the network and the loads (admittance matrix). Moreover,we assume all parameters are known exactly. The equilibriumto be stabilized is

ε : , , ,= ( )∈ × × +d 0 E S n n nR R (23)

with d := ( )col δ iand E := ( )col Ei . d is such that (22), with

ωi = 0 and δ δi i= , has a unique solution in E = col(Ei), withEi > 0 for all i.

The system parameters are grouped in Table I. Theinitial conditions for the nonlinear model in (22) are gatheredin Table II. They have been selected to be around ±20% of theequilibrium points. The initial condition for the state of theobservers (10) and (11) are settled to zero.

The matrices A and B resulting from the linearization of(22) and the controller gain matrices F11, F12, F21, F22 aregiven below. The spectrum of the closed-loop systems isλ(A + BF) = {−0.31 ± 12.76i, −0.66 ± 1.45i, −0.83, −0.71}.The LMI (17) is feasible and the resulting matrix K places all

6 Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

eigenvalues of A at the left hand side of the complex plane.However, it is needed to assign the spectrum of A at the lefthand side of the spectrum of A + BF to provide the observerwith a faster dynamics than the closed-loop dynamics. Thespectrum of A can be placed in a desired disk region in thecomplex plane if the LMI [24]

P P

L P M P U M P U

= >⊗ + ⊗ −( ) + ⊗ − <

Τ

Τ Τ Τ ΤΛ Ω Λ Ω0

0( )(24)

holds, where ⊗ defines de Kronecker product and

Lr q

q rM=

−−

⎡⎣⎢

⎤⎦⎥

= ⎡⎣⎢

⎤⎦⎥

, ,0 1

0 0

characterize a disk region D with center −q and radius r in thecomplex plane. Under this consideration, the observer gainmatrices K2 1Σ and K1 2Σ given below, are obtained from thesolution of (24) where all the eigenvalues of A lie within thedisc D(−15, 5).

In Figs 2 to 4, the evolution of the state variablesof machines 1 and 2 are depicted together with thecorresponding estimations, the latter are expressed in the

machine coordinates ˆ , ˆ , ˆ ˆ , ,δ ω δ1 1 1 1 1 12 2 2 2 0Σ Σ Σ ΣE x E⎡⎣ ⎤⎦ = + ⎡⎣ ⎤⎦� �

and ˆ , ˆ , ˆ ˆ , ,δ ω δ2 2 2 2 2 21 1 1 1 0Σ Σ Σ ΣE x E⎡⎣ ⎤⎦ = + ⎡⎣ ⎤⎦� �

, respectively. A

good performance is observed in both objectives: stabiliza-tion and estimation of the unknown states trajectories.

A11

0 1 0

52 5474 0 0781 20 8423

0 0058 0 0 3854

= − − −− −

⎢⎢⎢

⎥⎥⎥

. . .

. .

A12

0 0 0

52 5474 0 1 3277

0 0058 0 0 2168

= −⎡

⎢⎢⎢

⎥⎥⎥

. .

. .

A21

0 0 0

110 6683 0 15 1441

0 0465 0 0 3188

= −⎡

⎢⎢⎢

⎥⎥⎥

. .

. .

Table I. System parameters.

Parameter Machine 1 Machine 2

D 0.0781 0.1661P 11.4412 29.4031G 9.4542 12.9505a 0.3854 0.4906b 0.2168 0.3220τ 6 5.89

EF* 1.0456 1.0421δ 0.0460 0.1031E 1.0321 1.0314Y12 49.3799Y21 104.9939α12 0.0832α21 0.0832

Table II. Initial conditions.

State Value

δ1(0) 0 80 1. δδ2(0) 1 20 2. δω1(0) 0.10ω2(0) 0.10E1(0) 1 20 1. EE2(0) 0 80 2. E

Fig. 2. Time histories of δ1, δ2 and their estimations δ1 2Σ andδ2 1Σ .

Fig. 3. Time histories of ω1, ω2 and their estimations ω1 2Σ andω2 1Σ .

7D. Langarica Córdoba and R. Ortega: Observer–Based Scheme for Decentralized Stabilization

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

A22

0 1 0

110 6683 0 1661 41 8686

0 0465 0 0 4906

= − − −− −

⎢⎢⎢

⎥⎥⎥

. . .

. .

B1 0 0 0 1667= [ . ]Τ

B2 0 0 0 1698= [ . ]Τ

F11 1 4777 0 54763 9 7568= − −[ ]. . .

F12 2 0369 0 35803 6 7931= −[ ]. . .

F21 11 236 0 13086 1 8999= −[ ]. . .

F22 11 081 0 10006 4 4729= − −[ ]. . .

K2 1

0 0 4100 3 3388

0 0 0922 183 5872

0 0 0382 44 7519Σ = −

⎢⎢⎢

⎥⎥

. .

. .

. . ⎥⎥

K1 2

0 0 1721 10 9143

0 0 3902 19 6936

0 0 0049 25 0726Σ = −

⎢⎢⎢

⎥⎥

. .

. .

. . ⎥⎥

V. CONCLUSIONS AND FUTURE WORK

A methodology to stabilize large-scale interconnectedLTI systems via decentralized observer-based control hasbeen presented. The restriction of limited exchange ofinformation between subsystem has been overcome usingI&I observers that, as is well-known [18], have a novelstructure consisting of an integral part and a proportionalpart. A similar construction has been proposed in [21]and [22] to include a correction term in standardLuenberger’s reduced order observer. The proposed proce-dure, however, seems more involved and less systematicthan the I&I observer given here. Finally, the proof of exist-ence of the observer gains that stabilize the system reducesto a simple LMI test. Current research is underway toextend the result by developing a nonlinear observer insteadof a linear one.

REFERENCES

1. Moreno-Valenzuela, J. and V. Santibañez, “Robust satu-rated PI joint velocity control for robot manipulators,”Asian J. Control, Vol. 15, pp. 64–79 (2013).

2. Du, H., S. Li, and S. Ding, “Bounded consensus algo-rithms for multi-agent systems in directed networks,”Asian J. Control, Vol. 15, No. 1, pp. 282–291 (2013).

3. Zhao, Y., G. Wen, Z. Duan, X. Xu, and G. Chen, “A newobserver-type consensus protocol for linear multi-agentdynamical systems,” Asian J. Control, Vol. 15, No. 2, pp.571–582 (2013).

4. Cai, G., B. Wang, B. M. Chen, and T. H. Lee, “Designand implementation of a light control system for anunmanned rotorcraft using RPT control approach,” AsianJ. Control, Vol. 15, No. 1, pp. 95–119 (2013).

5. Lee, T., M. Leok, and N. H. McClamroch, “Nonlinearrobust tracking control of a quadrotor UAV on SE(3),”Asian J. Control, Vol. 15, No. 2, pp. 391–408 (2013).

6. Rigatos, G., P. Siano, N. Zervos, “A distributed stateestimation approach to condition monitoring of nonlinearelectric power systems,” Asian J. Control, Vol. 15, No. 3,pp. 849–860 (2013).

7. Wang, S. and E. Davison, “On the stabilization of decen-tralized control systems,” IEEE Trans. Autom. Control,Vol. AC-30, No. 1, pp. 473–478 (1973).

8. Lunze, J., Feedback Control of Large-Scale Systems,Prentice-Hall, Dresden, Germany (1992).

9. Šiljak, D., Decentralized Control of Complex Systems,Academic Press, San Diego, CA (1991).

Fig. 4. Time histories of E1, E2 and their estimations E1 2Σ andE2 1Σ .

Fig. 5. Two generator system with PLi and QLi the active andreactive power of the loads.

8 Asian Journal of Control, Vol. 17, No. 1, pp. 1–9, January 2015

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd

10. Šiljak, D. and A. Zecevic, “Control of large-scalesystems: beyond decentralized feedback,” Annu. Rev.Control, Vol. 29, pp. 169–179 (2005).

11. Lavaei, J. and A. Aghdam, “Control of continuous-timeLTI systems by means of structurally constrained con-trollers,” Automatica, Vol. 44, pp. 141–148 (2008).

12. Zecevic, A. and D. Šiljak, Control of Complex Systems:Structural Constraints and Uncertainty, Springer, NewYork (2010).

13. Lam, S. and E. Davison, “The real decentralized fixedmode radius of LTI systems,” In Proc. of the 50th IEEEConference on Decision and Control, New Orleans, LA,USA, pp. 3036–3041 (2010).

14. Miller, D. and E. Davison, “An algebraic characterizationof quotient decentralized fixed modes,” Automatica, Vol.48, pp. 1639–1644 (2012).

15. Song, C., G. Feng, and Y. Wang, “Decentralized dynamiccoverage control for mobile sensor networks in a non-convex environment,” Asian J. Control, Vol. 15, No. 2,pp. 512–520 (2013).

16. Ortega, R., M. Galaz, A. Astolfi, Y. Sun, and T. Shen,“Transient stabilization of multimachine power systemswith nontrivial transfer conductances,” IEEE Trans.Autom. Control, Vol. 50, pp. 60–75 (2005).

17. Casagrande, D., A. Astolfi, and R. Ortega, “Global sta-bilization of non–globally linearizable triangularsystems: application to transient stability of powersystems,” In Proceedings of the 50th IEEE Conferenceon Decision and Control and European Control Confer-ence, Orlando, FL, USA, pp. 331–336 (2011).

18. Astolfi, A., D. Karagiannis, and R. Ortega, Nonlinearand adaptive control with applications, Springer-Verlag,London (2008).

19. Boyd, S., L. El Ghaoui, E. Feron, and V. Balakrishnan,Linear matrix inequalities in system and control theory,SIAM, Philadelphia (1994).

20. Kailath, T., Linear Systems, Prentice-Hall, Upper SaddleRiver, NJ (1980).

21. Cumming, D. G., “Design of observers of reduced dynam-ics,” Electron. Lett., Vol. 5, No. 10, pp. 213–214 (1969).

22. Gopinath, B., “On the control of linear multiple input-output system,” Bell Syst. Tech. J., Vol. 50, pp. 1063–1081 (1971).

23. Casagrande, D., A. Astolfi, R. Ortega, and D. Langarica,“A solution to the problem of transient stability ofmultimachine power systems,” In Proceedings of the51th IEEE Conference on Decision and Control, Maui,HI, USA, pp. 1703–1708 (2012).

24. Ostertag, E., Mono- and Multivariable Control and Esti-mation: Linear, Quadratic and LMI Methods, Springer,Berlin, Germany (2011).

25. Lofberg, J., “YALMIP: a toolbox for modeling and opti-mization in MATLAB,” IEEE International Symposiumon Computer Aided Control Systems Design, Taipei, pp.284–289 (2004).

Diego Langarica Córdoba was born inVeracruz, Mexico. He received the B.Eng.degree in Electronic Engineering fromthe Technological Institute of Veracruz,Mexico in 2008, the M.Sc. degree fromCENIDET, Morelos, Mexico in 2010. Now,

he is pursuing the Ph.D. degree in Engineering at theLaboratoire des Signaux et Systemes of the Universite deParis Sud XI-Supelec, France.

Romeo Ortega was born in Mexico. Heobtained his B.Sc. in Electrical andMechanical Engineering from the NationalUniversity of Mexico, Master of Engineer-ing from Polytechnical Institute of Lenin-grad, USSR, and the Docteur D’Etat fromthe Politechnical Institute of Grenoble,France in 1974, 1978 and 1984, respec-

tively. He then joined the National University of Mexico,where he worked until 1989. He was Visiting Professor at theUniversity of Illinois in 1987–88 and at the McGill Universityin 1991–1992, and Fellow of the Japan Society for Promotionof Science in 1990–1991. He has been a member of theFrench National Researcher Council (CNRS) since June1992. Currently he is in the Laboratoire de Signaux etSystemes (SUPELEC) in Paris. His research interests are inthe fields of nonlinear and adaptive control, with specialemphasis on applications.

9D. Langarica Córdoba and R. Ortega: Observer–Based Scheme for Decentralized Stabilization

© 2014 Chinese Automatic Control Society and Wiley Publishing Asia Pty Ltd


Recommended