Research Article Structural Controllability of Discrete ...structural controllability of the three...

10
Research Article Structural Controllability of Discrete-Time Linear Control Systems with Time-Delay: A Delay Node Inserting Approach Ailing Qi, 1 Xuewei Ju, 1 Qing Zhang, 1 and Zengqiang Chen 2 1 School of Science, Civil Aviation University of China, Tianjin 300300, China 2 Department of Automation, Nankai University, Tianjin 300071, China Correspondence should be addressed to Xuewei Ju; [email protected] Received 16 October 2015; Accepted 17 December 2015 Academic Editor: Ivanka Stamova Copyright ยฉ 2016 Ailing Qi et al. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. is paper is concerned with the structural controllability analysis for discrete-time linear control systems with time-delay. By adding virtual delay nodes, the linear systems with time-delay are transformed into corresponding linear systems without time-delay, and the structural controllability of them is equivalent. at is to say, the time-delay does not a๏ฌ€ect or change the controllability of the systems. Several examples are also presented to illustrate the theoretical results. 1. Introduction Controllability has been one of the fundamental concepts in modern control theory and has played an essential role in its development because of the broad applications. Controllabil- ity in the classical sense refers to the complete controllability which means that it is possible to steer control systems from an arbitrary initial state to an arbitrary ๏ฌnal state using the set of unconstrained admissible controls. In practice, admissible controls are always required to satisfy certain additional constraints. e controllability for linear dynamical systems with constrained controls has also been studied; see [1โ€“3]. e problem of controllability with unconstrained controls for both linear and nonlinear systems has been considered in various ways; see [4โ€“8] and the references therein. In this paper, we will consider the problem of structural controllability on unconstrained values of admissible con- trols. e concept of structural controllability was introduced by Lin in 1974 to study the controllability of linear systems, and it was extended to other systems, such as complex net- works and multiagent systems. Roughly speaking, structural controllability generally means that, by adjusting the free parameters of the structured matrix, the control system is completely controllable. Controllability is important in the solution of many control problems, yet the determination of controllability indices, for example, is a particularly ill- posed computational problem as is the problem of checking the controllability of an uncontrollable system. Structural controllability, on the other hand, is a property that is as useful as traditional controllability and can be determined precisely by a computer. e structural controllability is a generalization of traditional controllability concept for linear systems and is purely based on the graphic topologies among state and input vertices. It is now a fundamental tool to study the controllability and enables us to understand the control systems. e necessary and su๏ฌƒcient conditions of structural con- trollability were constructed by Lin in [9] from the graphical point of view. Since then, much work has been done on the structural controllability of linear systems. For example, Shields and Pearson extended Linโ€™s results on structural con- trollability of single-input linear systems to multi-input linear systems [10]. For linear time-varying systems, the structural properties were de๏ฌned as the strong structural controllabil- ity; for the related research, see [11, 12]. Recently, in view of switched linear systems, the structural controllability was investigated by Liu et al. [13]. It is well recognized that time-delay is o๏ฌ…en encountered in physical and biological systems. Time-delay phenomenon may occur naturally because of the physical characteristics of information transmitting and diversity of signals, as well as the bandwidth of communication channels. Systems with time-delay are more di๏ฌƒcult to handle in engineering since the controllability matrices are usually complex. Hindawi Publishing Corporation Mathematical Problems in Engineering Volume 2016, Article ID 1429164, 9 pages http://dx.doi.org/10.1155/2016/1429164

Transcript of Research Article Structural Controllability of Discrete ...structural controllability of the three...

Page 1: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Research ArticleStructural Controllability of Discrete-Time Linear ControlSystems with Time-Delay: A Delay Node Inserting Approach

Ailing Qi,1 Xuewei Ju,1 Qing Zhang,1 and Zengqiang Chen2

1School of Science, Civil Aviation University of China, Tianjin 300300, China2Department of Automation, Nankai University, Tianjin 300071, China

Correspondence should be addressed to Xuewei Ju; [email protected]

Received 16 October 2015; Accepted 17 December 2015

Academic Editor: Ivanka Stamova

Copyright ยฉ 2016 Ailing Qi et al.This is an open access article distributed under the Creative CommonsAttribution License, whichpermits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This paper is concerned with the structural controllability analysis for discrete-time linear control systems with time-delay.By adding virtual delay nodes, the linear systems with time-delay are transformed into corresponding linear systems withouttime-delay, and the structural controllability of them is equivalent. That is to say, the time-delay does not affect or change thecontrollability of the systems. Several examples are also presented to illustrate the theoretical results.

1. Introduction

Controllability has been one of the fundamental concepts inmodern control theory and has played an essential role in itsdevelopment because of the broad applications. Controllabil-ity in the classical sense refers to the complete controllabilitywhich means that it is possible to steer control systems froman arbitrary initial state to an arbitrary final state using the setof unconstrained admissible controls. In practice, admissiblecontrols are always required to satisfy certain additionalconstraints. The controllability for linear dynamical systemswith constrained controls has also been studied; see [1โ€“3].The problem of controllability with unconstrained controlsfor both linear and nonlinear systems has been considered invarious ways; see [4โ€“8] and the references therein.

In this paper, we will consider the problem of structuralcontrollability on unconstrained values of admissible con-trols.The concept of structural controllability was introducedby Lin in 1974 to study the controllability of linear systems,and it was extended to other systems, such as complex net-works and multiagent systems. Roughly speaking, structuralcontrollability generally means that, by adjusting the freeparameters of the structured matrix, the control system iscompletely controllable. Controllability is important in thesolution of many control problems, yet the determinationof controllability indices, for example, is a particularly ill-posed computational problem as is the problem of checking

the controllability of an uncontrollable system. Structuralcontrollability, on the other hand, is a property that is asuseful as traditional controllability and can be determinedprecisely by a computer. The structural controllability is ageneralization of traditional controllability concept for linearsystems and is purely based on the graphic topologies amongstate and input vertices. It is now a fundamental tool to studythe controllability and enables us to understand the controlsystems.

The necessary and sufficient conditions of structural con-trollability were constructed by Lin in [9] from the graphicalpoint of view. Since then, much work has been done onthe structural controllability of linear systems. For example,Shields and Pearson extended Linโ€™s results on structural con-trollability of single-input linear systems tomulti-input linearsystems [10]. For linear time-varying systems, the structuralproperties were defined as the strong structural controllabil-ity; for the related research, see [11, 12]. Recently, in view ofswitched linear systems, the structural controllability wasinvestigated by Liu et al. [13].

It is well recognized that time-delay is often encounteredin physical and biological systems. Time-delay phenomenonmay occur naturally because of the physical characteristicsof information transmitting and diversity of signals, as wellas the bandwidth of communication channels. Systems withtime-delay are more difficult to handle in engineering sincethe controllability matrices are usually complex.

Hindawi Publishing CorporationMathematical Problems in EngineeringVolume 2016, Article ID 1429164, 9 pageshttp://dx.doi.org/10.1155/2016/1429164

Page 2: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

2 Mathematical Problems in Engineering

Studying the linear delayed systems has become animportant topic in control theory and many researchers havedevoted themselves to the controllability analysis for thedelayed systems. For example, a data-basedmethod is used toanalyze the controllability of discrete-time linear delayed sys-tem by Liu et al. [14]. The controllability and observability oflinear time-delay differential equations have been studied in[15, 16]. Two sufficient conditions were recently reported in Jiet al. [17] with respect to the controllability of multiagent sys-temswith single time-delay.The results were then extended tomultiagent systems with time-delay in state and control [18]and switching topology [19].

In spite of this progress, there is less work concernedwith the structural controllability of linear systemswith time-delay. This paper is devoted to the structural controllabilityanalysis for discrete-time linear delayed systems. By addingvirtual delay nodes, the linear systems with time-delay aretransformed into corresponding linear systems without time-delay; the necessary and sufficient conditions with respect tothe structural controllability of linear delayed systems areobtained.

This paper is organized as follows. In Section 2, somebasic definitions and preliminary results are presented.We introduce the discrete-time linear delayed systems inSection 3 and, by adding delay nodes, the linear systemswith time-delay are transformed into corresponding linearsystems without time-delay and the main result of this paperis obtained. Several examples are also presented to illustratethe theoretical results in Section 4. The paper concludes inSection 5 with a summary and the possible future researchdirections.

2. Preliminaries

This section gives some basic definitions and preliminaryresults.

2.1.The Representation Graph of the Linear Systems. Considerthe following discrete-time linear control system:

๐‘ฅ (๐‘˜ + 1) = ๐ด๐‘ฅ (๐‘˜) + ๐ต๐‘ข (๐‘˜) , (1)

where state ๐‘ฅ and input ๐‘ข take their values in R๐‘› and R๐‘Ÿ,respectively. Matrixes ๐ด = (๐‘Ž

๐‘–๐‘—)๐‘›ร—๐‘›

and ๐ต = (๐‘๐‘–๐‘—)๐‘›ร—๐‘Ÿ

areassumed to be structured matrices, which means that theirelements are either fixed zeros or free parameters. For conve-nience in this paper, the structured system (1) is representedas matrix pair (๐ด, ๐ต).

The matrix pair (๐ด, ๐ต) has the same structure as the pair(๐ด, ๐ต) of the same dimensions if for every fixed (zero) entry ofmatrix (๐ด, ๐ต) the corresponding entry of matrix (๐ด, ๐ต) is alsofixed (zero) and for every fixed (zero) entry of matrix (๐ด, ๐ต)the corresponding entry of matrix (๐ด, ๐ต) is also fixed (zero).

The structured system (๐ด, ๐ต) can be described by adirected graph (Lin [9]).

The representation graph of structured system (1) is adirected graph G, with vertex set V = X โˆช U, whereX = {๐‘ฅ

1, ๐‘ฅ2, . . . , ๐‘ฅ

๐‘›} is called state vertex set and U =

{๐‘ข1, ๐‘ข2, . . . , ๐‘ข

๐‘Ÿ} is called input vertex set, and edge set I =

I๐‘ˆ๐‘‹โˆชI๐‘‹๐‘‹

, where

I๐‘ˆ๐‘‹= {(๐‘ข

๐‘–, ๐‘ฅ๐‘—) โ€– ๐‘๐‘—๐‘–= 0, 1 โ‰ค ๐‘– โ‰ค ๐‘Ÿ, 1 โ‰ค ๐‘— โ‰ค ๐‘›} (2)

is the oriented edges between inputs and states, and

I๐‘‹๐‘‹= {(๐‘ฅ

๐‘–, ๐‘ฅ๐‘—) โ€– ๐‘Ž๐‘—๐‘–= 0, 1 โ‰ค ๐‘– โ‰ค ๐‘›, 1 โ‰ค ๐‘— โ‰ค ๐‘›} (3)

is the oriented edges between states defined by the intercon-nectionmatrices๐ด and ๐ต above.This directed graphG is alsocalled the graph ofmatrix pair (๐ด, ๐ต) and denoted byG(๐ด, ๐ต).

Definition 1 ([9] (stem)). An alternating sequence of distinctvertices and oriented edges is called a directed path, in whichthe terminal node of any edge never coincides with its initialnode or the initial or the terminal nodes of the former edges.A stem is a directed path in the state vertex set X, whichbegins in the input vertex setU.

Definition 2 ([9] (accessibility)). A vertex (other than theinput vertices) is called nonaccessible if and only if there is nopossibility of reaching this vertex through any stem of graphG.

Definition 3 ([9] (dilation)). Consider one vertex set ๐‘† formedby the vertices from the state vertices set X and determineanother vertex set ๐‘‡(๐‘†), which contains all vertices V with theproperty that there exists an oriented edge from V to one ver-tex in ๐‘†.Then, graphG contains a โ€œdilationโ€ if and only if thereexist at least a set ๐‘† of ๐‘˜ vertices in the vertex set of the graphsuch that there are no more than ๐‘˜ โˆ’ 1 vertices in ๐‘‡(๐‘†).

2.2. Controllability and Structural Controllability. It is wellknown that for delayed control systems generally two typesof controllability are considered: absolute controllability andrelative controllability; see paper [3]. In this paper, we willconsider the relative controllability under general assumptionon unconstrained values of admissible controls. The defini-tions are as follows.

Definition 4 (see [5]). The linear control system (1) is said tobe (completely) controllable if for any initial state ๐‘ฅ(0) andany terminal state ๐‘ฅ

๐‘“there exist a positive integer ๐‘˜ and a

sequence of controls ๐‘ข(0), . . . , ๐‘ข(๐‘˜ โˆ’ 1) such that ๐‘ฅ(๐‘˜) = ๐‘ฅ๐‘“.

For the linear system (1), let ๐‘Š = [๐ต, ๐ด๐ต, . . . , ๐ด๐‘›โˆ’1๐ต],and we have the following complete controllability criterion(Kalman [6]).

Lemma 5. The linear control system (1) is controllable if andonly if rank [W] = n.

Definition 6 (see [9]). The linear control system (1) givenby its structured matrices (๐ด, ๐ต) is said to be structurallycontrollable if and only if there exists a matrix pair (๐ด, ๐ต)having the same structure as the pair (๐ด, ๐ต) such thatthe corresponding structured system (๐ด, ๐ต) is completelycontrollable.

Page 3: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Mathematical Problems in Engineering 3

The following lemma characterizes the structural control-lability for the linear structured system (1) (Liu et al. [13]).

Lemma 7. The linear structured system (๐ด, ๐ต) is structurallycontrollable if and only if its representation graph satisfies that

(i) there is no nonaccessible vertex inG(๐ด, ๐ต),(ii) there is no โ€œdilationโ€ inG(๐ด, ๐ต).

3. Main Results

3.1. Discrete-Time Linear Systems with Time-Delay. Considerthe following linear control systems with time-delay in state:

๐‘ฅ๐‘–(๐‘˜ + 1) =

๐‘›

โˆ‘

๐‘—=1

๐‘Ž๐‘–๐‘—๐‘ฅ๐‘—(๐‘˜ โˆ’ ๐œ

๐‘–๐‘—) +

๐‘Ÿ

โˆ‘

๐‘—=1

๐‘๐‘–๐‘—๐‘ข๐‘—(๐‘˜) ,

๐‘– = 1, 2, . . . , ๐‘›,

(4)

where ๐‘ฅ = [๐‘ฅ1, ๐‘ฅ2, . . . , ๐‘ฅ

๐‘›]๐‘‡

โˆˆ R๐‘› is the state vector and๐‘ข = [๐‘ข

1, ๐‘ข2, . . . , ๐‘ข

๐‘Ÿ]๐‘‡

โˆˆ R๐‘Ÿ is the control input vector.Matrices๐ด = (๐‘Ž

๐‘–๐‘—)๐‘›ร—๐‘›

and ๐ต = (๐‘๐‘–๐‘—)๐‘›ร—๐‘Ÿ

are assumed to be structuredmatrices. 0 โ‰ค ๐œ

๐‘–๐‘—โ‰ค ๐‘ with bounded maximum delay ๐‘ and

each directed edge (๐‘ฅ๐‘–, ๐‘ฅ๐‘—) experiences a fixed delay ๐œ

๐‘–๐‘—in the

sense that each message leaving state node ๐‘ฅ๐‘–takes ๐œ

๐‘–๐‘—

iterations to reach ๐‘ฅ๐‘—.

Definition 8. The linear delayed system (4) given by its struc-tured matrices (๐ด, ๐ต) is said to be structurally controllable ifand only if there exists amatrix pair (๐ด, ๐ต) has the same struc-ture as the pair (๐ด, ๐ต) such that the corresponding delayedsystem (4) given by its structured matrices (๐ด, ๐ต) is com-pletely controllable.

By inserting delays on edges, the linear delayed systemis transformed into a corresponding linear system withouttime-delay.

For every directed edge (๐‘ฅ๐‘–, ๐‘ฅ๐‘—) with time-delay ๐œ

๐‘–๐‘—, we

want to add ๐œ๐‘–๐‘—nodes ๐‘‘๐‘–๐‘—

1, ๐‘‘๐‘–๐‘—

2, . . . , ๐‘‘

๐‘–๐‘—

๐œ๐‘–๐‘—

on the edge, replace(๐‘ฅ๐‘–, ๐‘ฅ๐‘—) by a delay chain ๐‘‘๐‘–๐‘—

1, ๐‘‘๐‘–๐‘—

2, . . . , ๐‘‘

๐‘–๐‘—

๐œ๐‘–๐‘—

, and reroute allmessages from ๐‘ฅ

๐‘–to ๐‘ฅ๐‘—through that chain. Instead, ๐‘ฅ

๐‘–sends

its message to delay node ๐‘ฅ๐‘–๐‘—1with the weight of the message

being the same as the one that would be used to send a mes-sage from ๐‘ฅ

๐‘–to ๐‘ฅ๐‘—directly without delay; after that, all delay

nodes just forward information until the destination node ๐‘ฅ๐‘—

is reached (see Figure 1).Note ๐œ = ๐œ

11+ โ‹… โ‹… โ‹…+๐œ

1๐‘›+๐œ21+ โ‹… โ‹… โ‹…+๐œ

21+ โ‹… โ‹… โ‹…+๐œ

๐‘›1+ โ‹… โ‹… โ‹…+๐œ

๐‘›๐‘›,

all the numbers of time-delays. Let

๏ฟฝ๏ฟฝ = [๐‘ฅ1, . . . , ๐‘ฅ

๐‘›, ๐‘‘11

1, . . . , ๐‘‘

11

๐œ11

, . . . , ๐‘‘1๐‘›

1, . . . , ๐‘‘

1๐‘›

๐œ1๐‘›

, . . . , ๐‘‘๐‘›1

1, . . . ,

๐‘‘๐‘›1

๐œ๐‘›1

, . . . , ๐‘‘๐‘›๐‘›

1, . . . , ๐‘‘

๐‘›๐‘›

๐œ๐‘›๐‘›

]

๐‘‡

;

(5)

then, ๏ฟฝ๏ฟฝ โˆˆ R๐‘›+๐œ.Thus, the linear delayed system (4) is equivalent to the

following linear system without time-delay:

๏ฟฝ๏ฟฝ (๐‘˜ + 1) = A๏ฟฝ๏ฟฝ (๐‘˜) +B๐‘ข (๐‘˜) , (6)

where A โˆˆ R(๐‘›+๐œ)ร—(๐‘›+๐œ) and B โˆˆ R(๐‘›+๐œ)ร—๐‘Ÿ are correspondingto ๐ด and ๐ต, respectively.

Example 9. Consider a very simple example. Without delayswe define

๐ด =(

2

3

1

3

0

1

3

1

3

1

3

0

1

3

2

3

),

๐ต = (

1

0

0

) .

(7)

Assume that the directed edge (๐‘ฅ1, ๐‘ฅ2) experiences a fixed

delay 4 in the sense that the message leaving state node ๐‘ฅ1

takes 4 iterations to reach state node ๐‘ฅ2. Then, by inserting 4

delay nodes on the edge (๐‘ฅ1, ๐‘ฅ2), replace (๐‘ฅ

1, ๐‘ฅ2) by a delay

chain ๐‘‘1, ๐‘‘2, ๐‘‘3, ๐‘‘4and reroute all messages from ๐‘ฅ

1to ๐‘ฅ2

through that chain; that is, ๐‘ฅ1sends its message to delay node

๐‘‘1with the weight being 2/3, and then ๐‘‘

1sends itsmessage to

delay node ๐‘‘2, ๐‘‘2sends its message to delay node ๐‘‘

3, ๐‘‘3sends

its message to delay node ๐‘‘4, and ๐‘‘

4sends its message to state

node ๐‘ฅ2all with the weight being 1. Then, the linear control

systemwith delays is transformed into a linear systemwithouttime-delay with the corresponding structured matrices givenby

A =

(

(

(

(

(

(

(

(

(

(

2

3

1

3

0 0 0 0 0

0

1

3

1

3

0 0 0 1

0

1

3

2

3

0 0 0 0

1

3

0 0 0 0 0 0

0 0 0 1 0 0 0

0 0 0 0 1 0 0

0 0 0 0 0 1 0

)

)

)

)

)

)

)

)

)

)

,

B =

(

(

(

(

(

(

(

(

(

1

0

0

0

0

0

0

)

)

)

)

)

)

)

)

)

.

(8)

The directed graphs G(๐ด, ๐ต) and G(A,B) can be seen inFigure 1.

3.2. Structural Controllability Analysis. As mentioned above,the structural controllability of the linear delayed system (4)is in consensuswith that of the linear system (6)without time-delay. However, some parameters of the structured matrixAare not adjusted; the weight of the edge from one delay nodeto another node is fixed number 1 (see Figure 1). Therefore,it has failed to apply Lemma 7 to characterize the structural

Page 4: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

4 Mathematical Problems in Engineering

x1

x2

x3

u1

(a)

x1

x2

x3

d2

d3

d4

d1

u1

(b)

Figure 1: (a) A directed graph with 3 state nodes. (b) The directed graph when we add a delay of 4 on the edge (๐‘ฅ1, ๐‘ฅ2).

controllability of the linear system (6).Thus, we construct thefollowing linear structured system:

๏ฟฝ๏ฟฝ (๐‘˜ + 1) =A๏ฟฝ๏ฟฝ (๐‘˜) +B๐‘ข (๐‘˜) , (9)

where ๏ฟฝ๏ฟฝ = [๐‘ฅ1, . . . , ๐‘ฅ

๐‘›, ๐‘ฅ๐‘›+1, . . . , ๐‘ฅ

๐‘›+๐œ]๐‘‡

โˆˆ R๐‘›+๐œ and matricesA andB are structured matrices such that (A,B) have thesame structure as (A,B).

For example, we construct a linear structured systemcorresponding to the linear control system described by adirected graph in Figure 1 with the structuredmatricesA andB given by

A =

(

(

(

(

(

(

(

(

(

๐›ผ11๐›ผ120 0 0 0 0

0 ๐›ผ22๐›ผ230 0 0 ๐›ผ

27

0 ๐›ผ32๐›ผ330 0 0 0

๐›ผ410 0 0 0 0 0

0 0 0 ๐›ผ540 0 0

0 0 0 0 ๐›ผ650 0

0 0 0 0 0 ๐›ผ760

)

)

)

)

)

)

)

)

)

,

B =

(

(

(

(

(

(

(

(

(

๐›ฝ1

0

0

0

0

0

0

)

)

)

)

)

)

)

)

)

(10)

with ๐›ผ๐‘–๐‘—(1 โ‰ค ๐‘–, ๐‘— โ‰ค 7) and ๐›ฝ

1being nonzero free parameters.

In fact, the structure of the representation graphG(A,B)is the same as graphG(A,B), only denoting the delay nodesof G(A,B) as ordinary nodes is graph G(A,B). On theother hand, graphG(A,B) can also be seen as the expansionofG(๐ด, ๐ต).

The following theorems build the equivalence of thestructural controllability of the three systems: system (1),system (4), and system (9).

Theorem 10. The linear system (6) is structurally controllableif and only if the linear system (9) is structurally controllable.

Proof. Thenecessity is obvious; we then prove the sufficiency.Assume that the linear system (9) is structurally controllable;that is, there exists a matrix pair (A,B) having the samestructure as (A,B) and satisfying

rank [B,AB, . . . ,A๐‘›โˆ’1

B]๐‘‡

= ๐‘› + ๐œ. (11)

In the following, we will adjust some parameters of A,wihch is the corresponding parameters to fixed numbers 1 ofA.

Firstly, we analyze the characteristics of columns ofA. It iseasy to conclude from graphG(A,B) that the weight of edgefrom each delay node is number 1.Then, there is one element1 in every column from the ๐‘›+ 1 column to the ๐‘›+ ๐œ column,and there is only one non-zero parameter 1 in every columnfrom the ๐‘› + 1 column to the ๐‘› + ๐œ column since there is onlyone edge from each delay node. These elements 1 are eitherbelow the diagonal or above the diagonal. If they are belowthe diagonal, they will be in the form of inclined diagonal;else, if they are above the diagonal, they are in the first ๐‘› rows(see Figure 1).

Then, from the ๐‘› + ๐œ column (the last column), we carrythe elementary transformation on the matrixA. In the ๐‘› + ๐œcolumn of the matrixA, there is only one element that is notzero, and the nonzero element is fixednumber 1. SinceAhavethe same structure as A, the corresponding element in the๐‘› + ๐œ column ofA is also nonzero, assuming that he value ofthis element is ๐œŽ

๐‘›+๐œ. Our goal is to put this number ๐œŽ

๐‘›+๐œinto

number 1. We can do it as we just need to multiply the ๐‘› + ๐œcolumn of A by 1/๐œŽ

๐‘›+๐œ. For the sake of calculating the rank

of the controllability matrix, we then multiply the ๐‘› + ๐œ rowofA by ๐œŽ

๐‘›+๐œ.

Next, assume that the single nonzero element in the ๐‘› +๐œ โˆ’ 1 column of A is ๐œŽ

๐‘›+๐œโˆ’1. We then multiply the ๐‘› + ๐œ โˆ’ 1

Page 5: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Mathematical Problems in Engineering 5

column ofA by 1/๐œŽ๐‘›+๐œโˆ’1

and multiply the ๐‘›+๐œโˆ’1 row ofAby ๐œŽ๐‘›+๐œโˆ’1

.Continue to do elementary transformation according to

the rules, multiply the ๐‘› + ๐œ โˆ’ ๐‘— column by 1/๐œŽ๐‘›+๐œโˆ’๐‘—

, andmultiply the ๐‘› + ๐œ โˆ’ ๐‘— row by ๐œŽ

๐‘›+๐œโˆ’๐‘—, until the ๐‘› + 1 column of

A. Due to the features of matrix A, The column number ofthe nonzero element in the ๐‘› + ๐‘˜ (1 โ‰ค ๐‘˜ โ‰ค ๐œ) row ofA is lessthan ๐‘› + ๐‘˜, so multiply the ๐‘› + ๐‘˜ row by ๐œŽ

๐‘›+๐‘˜which changes

the elements in the first ๐‘› + ๐‘˜ columns; the elements after๐‘› + ๐‘˜ columns having been transferred to 1 are not subjectto change.

In this way, matrixA is transformed to a matrixA withthe invertible matrix ๐‘ƒ, the product of a series of elementarymatrix, such thatA = ๐‘ƒโˆ’1A๐‘ƒ.

Let B = ๐‘ƒโˆ’1B๐‘ƒ. Here the matrix B = (B, 0) โˆˆR(๐‘›+๐œ)ร—(๐‘›+๐œ) is constituted byB as sub-block matrix.Then Bcan be expressed in the form of a partitioned matrix, that isB = (B, 0) with the first ๐‘Ÿ columns denoted byB. We thusobtained a pair of matrix (A,B) having the same structureas the matrix pair (A,B), such that

rank [B,AB, . . . ,A๐‘›โˆ’1

B]๐‘‡

= rank [B,AB, . . . ,A๐‘›โˆ’1

B]๐‘‡

= rank [๐‘ƒโˆ’1B๐‘ƒ, ๐‘ƒโˆ’1AB๐‘ƒ, . . . , ๐‘ƒโˆ’1A๐‘›โˆ’1

B๐‘ƒ]๐‘‡

= rank [B,AB, . . . ,A๐‘›โˆ’1

B]๐‘‡

= rank [B,AB, . . . ,A๐‘›โˆ’1

B]๐‘‡

= ๐‘› + ๐œ,

(12)

which implies the structural controllability of system (6).Thiscompletes the proof.

The theorem above reveals that the structural control-lability of the time-delayed system (4) is consistent withthe expansion system (9) without time-delay. Next, we willshow the equivalence of the structural controllability betweensystem (1) and the expansion system (9).

Theorem 11. The linear system (1) is structurally controllable ifand only if the linear system (9) is structurally controllable.

Proof. The proof of the theorem mainly used the results ofLemma 7. Prove the necessity first. Suppose that the linearsystem (9) is not structurally controllable; it means that thereis nonaccessible vertex or there is โ€œdilationโ€ in G(A,B).Since there is no difference between graph G(A,B) andgraph G(A,B) from the view of graph theory, thereforethere is nonaccessible vertex or there is โ€œdilationโ€ inG(A,B).

In the first case, there is nonaccessible vertex inG(A,B).If the nonaccessible vertex is the adding delayed vertex ๐‘‘๐œ๐‘–๐‘—

๐‘˜,

the ๐‘˜ delayed vertex adding on the edge (๐‘ฅ๐‘–, ๐‘ฅ๐‘—), then the

state vertex ๐‘ฅ๐‘–is a nonaccessible vertex. If the nonaccessible

vertex is state vertex, then there exists the correspondingnonaccessible state vertex in G(๐ด, ๐ต). This is because if the

state vertex๐‘ฅ๐‘–and the state vertex๐‘ฅ

๐‘—experience a delay ๐œ

๐‘–๐‘—, we

add ๐œ๐‘–๐‘—delay vertex on the edge (๐‘ฅ

๐‘–, ๐‘ฅ๐‘—) in the graph G(๐ด, ๐ต)

and replace (๐‘ฅ๐‘–, ๐‘ฅ๐‘—) by a delay chain; the resulting graph is

G(A,B). The state vertex in G(A,B) is the correspondingstate vertex inG(๐ด, ๐ต).

In the second case, there is โ€œdilationโ€ inG(A,B).That is,there exist at least a set ๐‘† of ๐‘˜ vertices in the vertex set of graphG(A,B) such that there are no more than ๐‘˜ โˆ’ 1 vertices in๐‘‡(๐‘†). If there are ๐œŽ (0 โ‰ค ๐œŽ โ‰ค ๐‘˜) delayed vertices in set ๐‘†, thenthe ๐œŽ delayed vertices are in set ๐‘‡(๐‘†), and there are no morethan ๐‘˜ โˆ’ ๐œŽ โˆ’ 1 state vertices in ๐‘‡(๐‘†). This implies there exista corresponding set ๏ฟฝ๏ฟฝ of ๐‘˜ โˆ’ ๐œŽ vertices in the vertex set of thegraphG(๐ด, ๐ต) such that there are nomore than ๐‘˜โˆ’๐œŽโˆ’1 statevertices in ๐‘‡(๏ฟฝ๏ฟฝ). Therefore, there is โ€œdilationโ€ in G(๐ด, ๐ต). ByLemma 7, the linear system (1) is not structurally controllable.

It is easy to prove the sufficiency as in the discussionabove. Thus, the proof of the theorem is complete.

4. Some Examples

There are two examples being presented in this section toillustrate the theoretical results.

Example 1. Consider a linear control system without time-delays with the structured matrices given by

๐ด =(

1

3

1

3

0

2

3

1

3

2

3

0

1

3

1

3

),

๐ต = (

1

0

0

) .

(13)

We first consider the case that the message leaving statenode ๐‘ฅ

1takes 3 iterations to reach state node ๐‘ฅ

2and the

message leaving state node ๐‘ฅ3takes also 3 iterations to reach

state node ๐‘ฅ2. Then, the linear control system with delays by

inserting delay nodes is transformed into a correspondinglinear system without time-delay with the correspondingstructured matrices given by

A =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

3

1

3

0 0 0 0 0 0 0

0

1

3

0 0 0 1 0 0 1

0

1

3

1

3

0 0 0 0 0 0

2

3

0 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0

0 0 0 0 1 0 0 0 0

0 0

2

3

0 0 0 0 0 0

0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 1 0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

,

Page 6: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

6 Mathematical Problems in Engineering

B =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

0

0

0

0

0

0

0

0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

.

(14)

The directed graphs G(๐ด, ๐ต) and G(A,B) can be seen inFigure 2.

We then construct a linear structured system (A,B)with the same structure as (A,B); its controllable matricesare assumed to be (A,B) withA given by

A

=

(

(

(

(

(

(

(

(

(

(

(

(

(

(

๐›ผ11๐›ผ120 0 0 0 0 0 0

0 ๐›ผ220 0 0 ๐›ผ

260 0 ๐›ผ

29

0 ๐›ผ32๐›ผ330 0 0 0 0 0

๐›ผ410 0 0 0 0 0 0 0

0 0 0 ๐›ผ540 0 0 0 0

0 0 0 0 ๐›ผ650 0 0 0

0 0 ๐›ผ730 0 0 0 0 0

0 0 0 0 0 0 ๐›ผ870 0

0 0 0 0 0 0 0 ๐›ผ980

)

)

)

)

)

)

)

)

)

)

)

)

)

)

.

(15)

Selecting

๐‘ƒ =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

1

1

1

๐›ผ26๐›ผ65๐›ผ54

1

๐›ผ26๐›ผ65

1

๐›ผ26

1

๐›ผ29๐›ผ98๐›ผ87

1

๐›ผ29๐›ผ98

1

๐›ผ29

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

, (16)

by simple calculation we obtain

A = ๐‘ƒโˆ’1

A๐‘ƒ =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

โˆ— โˆ— 0 0 0 0 0 0 0

0 โˆ— 0 0 0 1 0 0 1

0 โˆ— โˆ— 0 0 0 0 0 0

โˆ— 0 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0

0 0 0 0 1 0 0 0 0

0 0 โˆ— 0 0 0 0 0 0

0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 1 0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

, (17)

where โˆ— are non-zero elements and A is the controllabilitymatrix ofA.

Example 2. Consider another linear control system withouttime-delay with the structured matrices given by

๐ด =(

1

3

2

3

0

1

3

1

3

1

3

0

2

3

1

3

),

๐ต = (

1

0

0

) .

(18)

Page 7: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Mathematical Problems in Engineering 7

x1

x2

x3

u1

(a)

x1

x2

x3d2 d3 d4

d5

d6

d1

u1

(b)

Figure 2: (a) A directed graph with 3 state nodes. (b) The directed graph when we add a delay of 3 on the edge (๐‘ฅ1, ๐‘ฅ2) and add a delay of 3

on the edge (๐‘ฅ3, ๐‘ฅ2).

x1

x2

x3

u1

(a)

x1

x2

x3

d2

d3

d4

d5

d6

d1

u1

(b)

Figure 3: (a) A directed graph with 3 state nodes. (b) The directed graph when we add a delay of 3 on the edge (๐‘ฅ2, ๐‘ฅ1) and add a delay of 3

on the edge (๐‘ฅ2, ๐‘ฅ3).

We then consider the case that the message leaving statenode ๐‘ฅ

2takes 3 iterations to reach state node ๐‘ฅ

1and the

message leaving state node ๐‘ฅ2also takes 3 iterations to reach

state node ๐‘ฅ3. Then, the linear control system with delays by

inserting delay nodes is transformed into a correspondinglinear system without time-delay with the correspondingstructured matrices given by

A =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

3

0 0 0 0 1 0 0 0

1

3

1

3

1

3

0 0 0 0 0 0

0 0

1

3

0 0 0 0 0 1

0

2

3

0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0

0 0 0 0 1 0 0 0 0

0

2

3

0 0 0 0 0 0 0

0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 1 0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

,

B =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

0

0

0

0

0

0

0

0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

.

(19)

The directed graphs G(๐ด, ๐ต) and G(A,B) can be seen inFigure 3.

We then construct a linear structured system (A,B)with the same structure as (A,B); its controllable matricesare assumed to be (A,B) withA given by

Page 8: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

8 Mathematical Problems in Engineering

A

=

(

(

(

(

(

(

(

(

(

(

(

(

(

(

๐›ผ110 0 0 0 ๐›ผ

160 0 0

๐›ผ21๐›ผ22๐›ผ230 0 0 0 0 0

0 0 ๐›ผ330 0 0 0 0 ๐›ผ

39

0 ๐›ผ420 0 0 0 0 0 0

0 0 0 ๐›ผ540 0 0 0 0

0 0 0 0 ๐›ผ650 0 0 0

0 ๐›ผ720 0 0 0 0 0 0

0 0 0 0 0 0 ๐›ผ870 0

0 0 0 0 0 0 0 ๐›ผ980

)

)

)

)

)

)

)

)

)

)

)

)

)

)

.

(20)

Selecting

๐‘ƒ =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

(

1

1

1

1

๐›ผ16๐›ผ65๐›ผ54

1

๐›ผ16๐›ผ65

1

๐›ผ16

1

๐›ผ39๐›ผ98๐›ผ87

1

๐›ผ39๐›ผ98

1

๐›ผ39

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

)

, (21)

by simple calculation we obtain

A = ๐‘ƒโˆ’1

A๐‘ƒ =

(

(

(

(

(

(

(

(

(

(

(

(

(

(

โˆ— 0 0 0 0 1 0 0 0

โˆ— โˆ— โˆ— 0 0 0 0 0 0

0 0 โˆ— 0 0 0 0 0 1

0 โˆ— 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0

0 0 0 0 1 0 0 0 0

0 โˆ— 0 0 0 0 0 0 0

0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 1 0

)

)

)

)

)

)

)

)

)

)

)

)

)

)

, (22)

where โˆ— are nonzero elements, which is the controllabilitymatrix ofA.

5. Summary and Future Work

The structural controllability analysis for discrete-time linearcontrol systems with time-delay is discussed in the paper.We derive necessary and sufficient conditions for the linear

delayed systems to be structurally controllable by transform-ing the delayed systems into a corresponding linear systemwithout time-delay. This method is suitable for the discrete-time linear delayed systems; the structural controllability forthe continuous-time linear delayed systems is also an issue weare concern with.We look forward tomaking some results oncontinuous-time systems.

Conflict of Interests

The authors declare that there is no conflict of interestsregarding the publication of this paper.

Acknowledgments

The authors gratefully acknowledge the support of the Foun-dation Research Funds for the Central Universities underGrant no. 3122014K008, the Natural Science Foundation ofChina under Grant no. 61174094, and the Tianjin NaturalScience Foundation under Grant no. 14JCYBJC18700.

Page 9: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Mathematical Problems in Engineering 9

References

[1] J. Klamka, โ€œConstrained controllability of semilinear systemswith delayed controls,โ€Bulletin of the PolishAcademy of Sciences:Technical Sciences, vol. 56, no. 4, pp. 333โ€“337, 2008.

[2] J. Klamka, โ€œConstrained controllability of semilinear systems,โ€Nonlinear Analysis: Theory, Methods & Applications, vol. 47, no.5, pp. 2939โ€“2949, 2001.

[3] J. Klamka, โ€œRelative and absolute controllability of discretesystems with delays in control,โ€ International Journal of Control,vol. 26, no. 1, pp. 65โ€“74, 1977.

[4] B. Jakubczyk and E. D. Sontag, โ€œControllability of nonlineardiscrete-time systems: a Lie algebraic approach,โ€ SIAM Journalon Control and Optimization, vol. 28, no. 1, pp. 1โ€“33, 1990.

[5] R. Kalman, โ€œControllability of linear dynamical systems,โ€ Con-tributions to Differential Equations, vol. 1, pp. 189โ€“213, 1962.

[6] R. E. Kalman, โ€œMathematical description of linear dynamicalsystems,โ€ Journal of the Society for Industrial & Applied Mathe-matics Series A: Control, vol. 1, no. 2, pp. 152โ€“192, 1963.

[7] Y. Liu and S. Zhao, โ€œControllability for a class of linear time-varying impulsive systems with time delay in control input,โ€IEEE Transactions on Automatic Control, vol. 56, no. 2, pp. 395โ€“399, 2011.

[8] S. Zhao and J. Sun, โ€œControllability and observability forimpulsive systems in complex fields,โ€ Nonlinear Analysis. RealWorld Applications, vol. 11, no. 3, pp. 1513โ€“1521, 2010.

[9] C. T. Lin, โ€œStructural controllability,โ€ IEEE Transactions onAutomatic Control, vol. 19, no. 3, pp. 201โ€“208, 1974.

[10] R. W. Shields and J. B. Pearson, โ€œStructural controllability ofmultiinput linear systems,โ€ IEEE Transactions on AutomaticControl, vol. 21, no. 2, pp. 203โ€“212, 1976.

[11] W. Gao, Y. Wang, and A. Homaifa, โ€œDiscrete-time variablestructure control systems,โ€ IEEE Transactions on IndustrialElectronics, vol. 42, no. 2, pp. 117โ€“122, 1995.

[12] G. Reissig, C. Hartung, and F. Svaricek, โ€œStrong structural con-trollability and observability of linear time-varying systems,โ€IEEE Transactions on Automatic Control, vol. 59, no. 11, pp.3087โ€“3092, 2014.

[13] X. Liu, H. Lin, and B. M. Chen, โ€œStructural controllability ofswitched linear systems,โ€ Automatica, vol. 49, no. 12, pp. 3531โ€“3537, 2013.

[14] Y. Liu, H.-W. Chen, and J.-Q. Lu, โ€œData-based controllabilityanalysis of discrete-time linear time-delay systems,โ€ Interna-tional Journal of Systems Science, vol. 45, no. 11, pp. 2411โ€“2417,2014.

[15] L. Weiss, โ€œOn the controllability of delay-differential systems,โ€SIAM Journal on Control and Optimization, vol. 5, no. 4, pp.575โ€“587, 1967.

[16] S. Yi, P. W. Nelson, and A. G. Ulsoy, โ€œControllability andobservability of systems of linear delay differential equationsvia the matrix Lambert W function,โ€ IEEE Transactions onAutomatic Control, vol. 53, no. 3, pp. 854โ€“860, 2008.

[17] Z. Ji, H. Lin, and T. H. Lee, โ€œControllability of multi-agentsystems with switching topology,โ€ in Proceedings of the IEEEInternational Conference on Robotics, Automation and Mecha-tronics (RAM โ€™08), pp. 421โ€“426, Chengdu, China, September2008.

[18] H. Shi, G. Xie, and W. Luo, โ€œControllability of linear discrete-time systems with both delayed states and delayed inputs,โ€Abstract and Applied Analysis, vol. 2013, Article ID 975461, 5pages, 2013.

[19] Z. Ji, Z. Wang, H. Lin, and Z. Wang, โ€œControllability of multi-agent systems with time-delay in state and switching topology,โ€International Journal of Control, vol. 83, no. 2, pp. 371โ€“386, 2010.

Page 10: Research Article Structural Controllability of Discrete ...structural controllability of the three systems: system (), system ( ), and system ( ). eorem . e linear system is structurally

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of