Upload
polsl
View
0
Download
0
Embed Size (px)
Citation preview
Metadata of the chapter that will be visualized inSpringerLink
Book Title Intelligent Information and Database SystemsSeries Title
Chapter Title Controllability of Discrete-Time Linear Switched Systems with Constrains on Switching Signal
Copyright Year 2015
Copyright HolderName Springer International Publishing Switzerland
Author Family Name BabiarzParticle
Given Name ArturPrefix
Suffix
Division Faculty of Automatic Control, Electronics and Computer Science, Instituteof Automatic Control
Organization Silesian University of Technology
Address Akademicka 16 Street, 44-101, Gliwice, Poland
Email [email protected]
Author Family Name CzornikParticle
Given Name AdamPrefix
Suffix
Division Faculty of Automatic Control, Electronics and Computer Science, Instituteof Automatic Control
Organization Silesian University of Technology
Address Akademicka 16 Street, 44-101, Gliwice, Poland
Email [email protected]
Author Family Name KlamkaParticle
Given Name JerzyPrefix
Suffix
Division Faculty of Automatic Control, Electronics and Computer Science, Instituteof Automatic Control
Organization Silesian University of Technology
Address Akademicka 16 Street, 44-101, Gliwice, Poland
Email [email protected]
Corresponding Author Family Name NiezabitowskiParticle
Given Name MichałPrefix
Suffix
Division Faculty of Automatic Control, Electronics and Computer Science, Instituteof Automatic Control
Organization Silesian University of Technology
Address Akademicka 16 Street, 44-101, Gliwice, Poland
Email [email protected]
Abstract In this paper we consider the controllability problem for discrete-time linear switched systems. Theproblem consists of finding a control signal that steers any initial condition to a given final state regardlessof the switching signal. In the paper a necessary and sufficient conditions for this type of controllability arepresented. Moreover, we consider problems of controllability from zero initial condition and to zero finalstate.
Keywords (separated by '-') Controllability - Switched systems - Discrete-time - Hybrid systems
Controllability of Discrete-Time Linear SwitchedSystems with Constrains on Switching Signal
Artur Babiarz, Adam Czornik,Jerzy Klamka, and Micha�l Niezabitowski(B)
Faculty of Automatic Control, Electronics and Computer Science,Institute of Automatic Control, Silesian University of Technology,
Akademicka 16 Street, 44-101 Gliwice, Poland{artur.babiarz,adam.czornik,jerzy.klamka,michal.niezabitowski}@polsl.pl
http://www.polsl.pl
Abstract. In this paper we consider the controllability problem fordiscrete-time linear switched systems. The problem consists of findinga control signal that steers any initial condition to a given final stateregardless of the switching signal. In the paper a necessary and sufficientconditions for this type of controllability are presented. Moreover, weconsider problems of controllability from zero initial condition and tozero final state.
Keywords: Controllability · Switched systems · Discrete-time · Hybridsystems
1 Introduction
Since the early work on state-space approaches to control systems analysis, it wasrecognized that certain nondegeneracy assumptions were useful, in particular inthe context of optimal control. However, it was until Kalman’s work [1] thatthe property of controllability was isolated as of interest in and of itself, asit characterizes the degrees of freedom available when attempting to control asystem.
The study of controllability for linear systems has spanned a great number ofresearch directions, and topics such as testing degrees of controllability, and theirnumerical analysis aspects, are still a subject of intensive research. This paperis devoted to controllability of discrete-time linear switched systems (see [2] fordefinition and motivation). Such a system can be seen as a collection of discretestationary linear systems between which is followed by the switching signal. The
The research presented here were done by the authors as parts of the projectsfunded by the National Science Centre granted according to decisions DEC-2014/13/B/ST7/00755, DEC-2012/05/B/ST7/00065, DEC-2012/07/B/ST7/01404and DEC-2012/07/N/ST7/03236, respectively. The calculations were performedwith the use of IT infrastructure of GeCONiI Upper Silesian Centre for Compu-tational Science and Engineering (NCBiR grant no POIG.02.03.01-24-099/13).
c© Springer International Publishing Switzerland 2015N.T. Nguyen et al. (Eds.): ACIIDS 2015, Part I, LNAI 9011, pp. 304–312, 2015.DOI: 10.1007/978-3-319-15702-3 30
Au
tho
r P
roo
f
Controllability of Discrete-Time Linear Switched Systems 305
switching signal may model the phenomenon over which we have control (changeof regulator parameters, gear ratio) or uncontrolled events (failures, changing ofthe operating point). Most of the works (see [3] - [19] and the references therein)on the controllability of hybrid systems is related to the first case and then,the controllability problem is formulated as a problem of finding control andswitching signal which steers an initial condition to a given final state. In thiscase the switching signal plays a role of additional control. The work is connectedto the second case and then, we are looking for a control, that regardless of theswitching signal, steers an initial condition to a given final state. This situationis similar to a problem of controllability of jump linear systems ([20], [21]) butin our framework we do not have a probabilistic model of the switching signal.In addition, a new contribution of the paper is that we take into account thesituation in which certain switching sequences are not possible. This situationoften occurs in engineering practice.
2 Notation and Definitions
We consider a class of switched systems given by
x (k + 1) = A (r(k))x (k) + B (r(k))u (k) , k ≥ 0 (1)
where x(k) ∈ Rn denotes the state vector, r(k) ∈ {1, ..., N} =: S is the switch-
ing signal, u(k) ∈ Rm is the control input, k = 0, 1, ... . Furthermore, for
r(k) = i, Ai := A(i) and Bi := B(i) are constant matrices of appropriatesizes. Denote by x (k, x0, i0, u) the solution of (1) under the control u withinitial condition x0 at time k = 0 and switching signal satisfying r(0) = i0.The control u = (u(0), u(1), ...) is assumed to be such that u(k) is of the formfk (r (0) , r (1) , ..., r (k)) . Each control of this form we will call as an admissiblecontrol. Let us introduce the following notation:
F (k, k) = In×n
F (k, l, ik−1, ..., il) = A (ik−1)A (ik−2) ...A (il) , k > l ≥ 0, ik−1, ..., il ∈ S
Fr(k, l) = A (r (k − 1))A (r (k − 2)) ...A (r (l)) , k > l ≥ 0,
Using this notation we can write the solution of (1) in the following form
x (k, x0, i0, u) = Fr(k, 0)x0 +k−1∑
t=0
Fr (k, t + 1)B (r (t))u (t) , k ≥ 1 (2)
orx (k, x0, i0, u) = F (k, 0, r(k − 1), ..., r(0))x0+ (3)
k−1∑
t=0
F (k, t + 1, r(k − 1), ..., r(t + 1))B (r (t))u (t) , k ≥ 1.
Au
tho
r P
roo
f
306 A. Babiarz et al.
We will also use the following notation
S(N)i0
= {(i0, ..., iN−1) : i0, ..., iN−1 ∈ S} . (4)
It will be convenient to have the elements of S(N)i0
ordered in a sequence. Inthat purpose let order the elements of S(N)
i0in lexicographical order i.e. they are
ordered as follows
(i0, 1, 1, ..., 1, 1) , (i0, 1, 1, ..., 1, 2) , ..., (i0, 1, 1, ..., 1, s) ,
(i0, 1, 1, ..., 2, 1) , (i0, 1, 1, ..., 2, 2) , ..., (i0, 1, 1, ..., 2, s) , ...
(i0, s, s, ..., s, 1) , (i0, s, s, ..., s, 2) , ..., (i0, s, s, ..., s, s) .
In many practical situations certain switches are impossible. It means that wehave certain set A of pairs (i, j) ∈ S ×S such that it is impossible that r(k) = i,
r(k+1) = j for a k = 0, 1, ... . Withdraw from S(N)i0
all the elements (i0, ..., iN−1)such that
(il, il+1) ∈ A for certain l = 0, 1, ..., N − 1.
and denote by S(N)
i0 the set obtained in this way. In this notation S(N)
i0 is a
sequence of all possible switching paths of the length N . By s(N)i0 we will denote
the number of elements of S(N)
i0 .Fix a number N > 0 and a sequence (i0, i1, ..., iN−1) of elements of S. Con-
sider a matrix column blocks which are numbered successively by sequences:i0, S
(2)
i0 , ..., S(N)
i0 and the block (i0, i1, ..., ik) , k = 0, 1, .., N − 1 is given by
F (N, k + 1, iN−1, ..., ik+1)Bik
and the others are equal to 0. Denote the matrix obtained in this way byC (i0, i1, ..., iN−1) and by G(i0) - the matrix consisting of all C(i0, i1, ..., iN−1)(as row blocks numbered by S
(N)
i0 ) for (i0, i1, ..., iN−1) ∈ S(N)
i0 . Moreover, by
H(i0) ∈ Rns(N)i0
×m let denote a matrix row blocks of which are numbered by thesequence S
(N)
i0 , the block (i0, i1, ..., iN−1) is given by F (N, 0, iN−1, ..., i0). Forexample in the case when S = {1, 2}, N = 3, A = {(2, 1)} and i0 = 1, we have
G(1) =
⎡
⎣C(1, 1, 1)C(1, 1, 2)C(1, 2, 2)
⎤
⎦ =
(1) (1, 1) (1, 2) (1, 1, 1) (1, 1, 2) (1, 2, 2)[A2
1B1 A1B1 0 B1 0 0][A2A1B1 A2B1 0 0 B2 0][A2
2B1 0 A2B2 0 0 B2]
and
H(1) =
⎡
⎣A3
1
A2A21
A22A1
⎤
⎦ .
Au
tho
r P
roo
f
Controllability of Discrete-Time Linear Switched Systems 307
Moreover, let us denote by f(k)1 , ..., f
(k)n ∈ R
nk the vectors defined by
f(k)l =
⎡
⎢⎢⎢⎣
elel...el
⎤
⎥⎥⎥⎦
⎫⎪⎪⎪⎬
⎪⎪⎪⎭k times el, l = 1, ..., n
where e1, ..., en is the standard basis of Rn.We have the following definition:
Definition 1. We say that system (1) is i0− controllable at time N if, for allx0, x1 ∈ R
n there exists an admissible control u such that
x (N,x0, i0, u) = x1. (5)
Analogically, we say that system (1) is i0− controllable at time N to zero (fromzero) if, for all x0 ∈ R
n (x1 ∈ Rn) there exists a control u such that
x (N,x0, i0, u) = 0 (x (N, 0, i0, u) = x1). (6)
If the system (1) is i0− controllable at time N (i0− controllable at time N tozero, i0− controllable at time N from zero) for all i0 ∈ S then we say that (1)is controllable at time N (controllable at time N to zero, controllable at time Nfrom zero).
Observe that the controllability of each time-varying system correspondingto switching paths of the length N is only the necessary, but not the sufficientcondition for controllability at time N of the system (1).
3 Main Results
The next theorem contains necessary and sufficient conditions for i0− control-lability at time N as well as i0− controllability at time N from zero and tozero.
Theorem 1. System (1) is i0− controllable at time N from zero if and only if
rankG(i0) = rank
[G(i0) f
(s(N)i0
)
l
], for all l = 1, ..., n. (7)
System (1) is i0− controllable at time N to zero if and only if
ImH (i0) ⊂ ImG (i0) , (8)
and it is i0− controllable at time N if and only if
rankG(i0) = rank
[G(i0) f
(s(N)i0
)
l
], for all l = 1, ..., n, (9)
andImH (i0) ⊂ ImG (i0) . (10)
Au
tho
r P
roo
f
308 A. Babiarz et al.
Before entering the formal proof let us briefly discuss the main idea. Sincethe set S
(N)
i0 of all possible switching paths is finite, therefore the question abouti0− controllability can be reformulated, similarly as for classical time-varyingsystems, as a question about existence of a solution of a finite set of linear equa-tions. Nevertheless, now we must take into account the constrain that controlu(k) at time k may depend only on the variables r(0), ..., r(k) and must be inde-pendent of r(k+1), ..., r(N). In the proof we obtain this by the proper definitionof matrices G(i0) and H (i0) .
Proof. Suppose that system (1) is i0− controllable at time N from zero. Thenfor each y ∈ R
n there exists a control sequence u(0), ..., u(N − 1) such that
u (k) = gk (i0, r (1) , ..., r (k)) , k = 0, ..., N − 1,
andx (N, 0, i0, u) = y, (11)
where gk is a function from S(k)
i0 to Rm for k = 0, ..., N − 1. It means that for
any (i0, ..., iN−1) ∈ S(N)
i0 the following
N−1∑
t=0
F (N, t + 1, iN−1, ..., it+1)B (it) gt (i0, ..., it) = y
holds. This clearly forces that the system of equations
G(i0)v = z,
where
z =
⎡
⎢⎣t...t
⎤
⎥⎦
⎫⎪⎬
⎪⎭s(N)i0 times
has a solution for each t ∈ Rn. Since vectors f
(s(N)i0
)
l , l = 1, ..., n form a basis ofthe space ⎧
⎪⎨
⎪⎩
⎡
⎢⎣t...t
⎤
⎥⎦ ∈ Rn s(N)i0 : t ∈ Rn
⎫⎪⎬
⎪⎭,
Kronecker-Capelli Theorem (see e.g. [22]) implies that (7) holds.Suppose now that (7) holds. Again by the Kronecker-Capelli Theorem the
set of equationsG(i0)v = z
where
z =
⎡
⎢⎣y...y
⎤
⎥⎦
⎫⎪⎬
⎪⎭x times
Au
tho
r P
roo
f
Controllability of Discrete-Time Linear Switched Systems 309
has a solution for each y ∈ Rn. The above-mentioned fact implies that for each
y ∈ Rn and each (i0, ..., iN−1) ∈ S
(N)
i0 there exists a sequence gk (i0, ..., ik) ,k = 0, ..., N − 1 such that
N−1∑
t=0
F (N, t + 1, iN−1, ..., it+1)B (it) gt (i0, ..., it) = y.
If we define the control
u(k) = gk (i0, r(1)..., r(k))
thenx (N, 0, i0, u) = y
and consequently system (1) is i0− controllable at time N from zero.Suppose that the system (1) is i0− controllable at time N to zero. Then for
each y ∈ Rn there exists a control sequence u(0), ..., u(N − 1) such that
u (k) = gk (i0, r (1) , ..., r (k)) , k = 0, ..., N − 1,
andx (N, y, i0, u) = 0, (12)
where gk is a function from S(k)
i0 to Rm, k = 0, ..., N − 1. From the last equation
we get
N−1∑
t=0
F (N, t + 1, iN−1, ..., it+1)B (it) gt (i0, ..., it) = −F (N, 0, iN−1, ..., i0) y.
and therefore−H (i0) y ∈ ImG (i0)
what implies that (8) holds.Assume now that the condition (8) holds. It means that for each x0 ∈ R
n
there exists v such that
−HX (i0)x0 = GX (i0) v.
This in turn implies that for each (i0, ..., iN−1) ∈ S(N)
i0 there exists a sequencegk (i0, ..., ik) , k = 0, ..., N − 1 such that
N−1∑
t=0
F (N, t + 1, iN−1, ..., it+1)B (it) gt (i0, ..., it) =
−F (N, 0, iN−1, ..., i0)x0.
If we define the control
u(k) = gk (i0, r(1)..., r(k))
Au
tho
r P
roo
f
310 A. Babiarz et al.
thenx (N,x0, i0, u) = 0
and system (1) is i0− controllable at time N to zero. In the same way we canshow the part about i0− controllability at time N .
When we consider the time-varying system it is well known that the con-trollability from zero implies the controllability to zero [23] and that inverseimplication is not true. The next example shows that for the switched systemthe controllability from zero does not imply the controllability to zero.
Example 1. Consider the system (1) with S = {1, 2}, N = 2, A = ∅.
A1 =[
1 23 1
], A2 =
[−1 21 −1
], B1 =
[02
], B2 =
[01
]
According to the notation we have
G(1) =[C(1, 1)C(1, 2)
]=
[A1B1 B1 0A2B1 0 B2
]=
⎡
⎢⎢⎣
4 0 02 2 04 0 0
−1 0 1
⎤
⎥⎥⎦
and
G(2) =[C(2, 1)C(2, 2)
]=
[A1B2 B1 0A2B2 0 B2
]=
⎡
⎢⎢⎣
2 0 01 2 02 0 0
−1 0 1
⎤
⎥⎥⎦ .
Now it is clear that that the condition (8) is satisfied. The control which steers
the zero initial condition to
[x(0)1
x(0)2
]at time N = 2 is given by
u (0) =
{x(0)14 if r(0) = 1
x(0)12 if r(0) = 2
u (1) =
⎧⎪⎪⎪⎪⎪⎨
⎪⎪⎪⎪⎪⎩
x(0)22 − x
(0)14 if r(0) = 1, r(1) = 1
x(0)2 + x
(0)14 if r(0) = 1, r(1) = 2
x(0)2 + x
(0)12 if r(0) = 2, r(1) = 2
x(0)22 − x
(0)14 if r(0) = 2, r(1) = 1
.
From the other hand the system is not controllable to zero at time 2. In fact wehave
H(1) =
⎡
⎢⎢⎣
7 46 75 0
−2 1
⎤
⎥⎥⎦ , H(2) =
⎡
⎢⎢⎣
3 −4−2 3
1 0−2 5
⎤
⎥⎥⎦
Au
tho
r P
roo
f
Controllability of Discrete-Time Linear Switched Systems 311
and ⎡
⎢⎢⎣
111351
⎤
⎥⎥⎦ ∈ H(1),
⎡
⎢⎢⎣
−1113
⎤
⎥⎥⎦ ∈ H(2),
but ⎡
⎢⎢⎣
111351
⎤
⎥⎥⎦ /∈ G(1),
⎡
⎢⎢⎣
−1113
⎤
⎥⎥⎦ /∈ G(2).
4 Conclusions
In the paper we presented the necessary and sufficient conditions for controllabil-ity (controllability to zero and controllability from zero) for linear discrete-timeswitched linear systems. These conditions are given in terms of relations con-sisting of ranks and images of matrices constructed on the base of the systemcoefficients. The proposed controllability concept is appropriate to the situationwhen the switching signal models unpredictable events, for example systems fail-ures. Additionally, a new contribution of the paper is that we took into accountthe situation in which certain switching sequences are not possible. This situationoften occurs in engineering practice.
Acknowledgments. The research presented here were done by the authors as parts ofthe projects funded by the National Science Centre granted according to decisions DEC-2014/13/B/ST7/00755, DEC-2012/05/B/ST7/00065, DEC-2012/07/B/ST7/01404and DEC-2012/07/N/ST7/03236, respectively. The calculations were performed withthe use of IT infrastructure of GeCONiI Upper Silesian Centre for ComputationalScience and Engineering (NCBiR grant no POIG.02.03.01-24-099/13).
References
1. Kalman, R.E.: On the general theory of control systems. In: First IFAC CongressAutomatic Control, Moscow, Butterworths, London, vol. 1, pp. 481–492 (1960)
2. Liberzon, D.: Switching in Systems and Control. Systems and Control: Foundationsand Applications. Birkhauser, Boston (2003)
3. Klamka, J., Niezabitowski, M.: Controllability of switched linear dynamical sys-tems. In: 18th International Conference on Methods and Models in Automationand Robotics, Miedzyzdroje, Poland, pp. 464–467 (2013)
4. Klamka, J., Czornik, A., Niezabitowski, M.: Stability and controllability of switchedsystems. Bulletin of the Polish Academy of Sciences - Technical Sciences 61(3),547–555 (2013)
5. Klamka, J., Niezabitowski, M.: Controllability of switched infinite-dimensional lin-ear dynamical systems. In: 19th International Conference on Methods and Modelsin Automation and Robotics, Miedzyzdroje, Poland, pp. 171–175 (2014)
6. Krastanov, M.I., Veliov, V.M.: On the controllability of switching linear systems.Automatica 41, 663–668 (2005)
Au
tho
r P
roo
f
312 A. Babiarz et al.
7. Ge, S.S., Sun, Z., Lee, T.H.: Reachability and controllability of switched lin-ear discrete-time system. IEEE Transactions on Automatic Control, AC 46(9),1437–1441 (2001)
8. Klamka, J., Niezabitowski, M.: Trajectory controllability of semilinear systemswith multiple variable delays in control. In: Proceedings of the ICNPAA 2014World Congress: 10th International Conference on Mathematical Problems in Engi-neering, Aerospace and Sciences, Narvik, Norway, July 15–18, 2014, vol. 1637,pp. 498–503 (2014)
9. Klamka, J., Ferenstein, E., Babiarz, A., Czornik, A., Niezabitowski, M.: Trajectorycontrollability of semilinear systems with delay in control and state. In: Proceedingsof the 2nd International Conference on Control, Mechatronics and Automation,Dubai, United Arab Emirates, December 08–10, 2014
10. Chen, Q., Teng, Z., Hu, Z.: Bifurcation and control for a discrete-time prey-predator model with holling-IV functional response. International Journal ofApplied Mathematics and Computer Science 23(2), 247–261 (2013)
11. Zubowicz, T., Brdys, M.: Stability of softly switched multiregional dynamic out-put controllers with a static antiwindup filter: A discrete-time case. InternationalJournal of Applied Mathematics and Computer Science 23(1), 65–73 (2013)
12. Klamka, J., Czornik, A., Niezabitowski, M., Babiarz, A.: Controllability and mini-mum energy control of linear fractional discrete-time infinite-dimensional systems.In: 11th IEEE International Conference on Control & Automation, Taichung, Tai-wan, pp. 1210–1214 (2014)
13. Sun, Z., Ge, S.S., Lee, T.H.: Controllability and reachability criteria for switchedlinear systems. Automatica 38, 775–786 (2002)
14. Qiao, Y., Cheng, D.: On partitioned controllability of switched linear systems.Automatica 45(1), 225–229 (2009)
15. Wang, Y., Qi, A.: A Lyapunov Characterization of Asymptotic Controllability forNonlinear Switched Systems. Bulletin of the Korean Mathematical Society 51(1),1–11 (2014)
16. Lu, Q., Zuazua, E.: Robust null controllability for heat equations with unknownswitching control mode. Discrete and Continuous Dynamical Systems 34(10),4183–4210 (2014)
17. Liu, X., Lin, H., Chen, B.: Structural controllability of switched linear systems.Automatica 49(12), 3531–3537 (2013)
18. Xie, G., Wang, L.: Reachability realization and stabilizability of switched lineardiscrete-time systems. J. Math. Anal. Appl. 280, 209–220 (2003)
19. Ji, Z., Lin, H., Lee, T.H.: A new perspective on criteria and algorithms for reach-ability of discrete-time switched linear systems. Automatica 45, 1584–1587 (2009)
20. Czornik, A., Swierniak, A.: On controllability with respect to the expectation ofdiscrete time jump linear systems. Journal of the Franklin Institute 338, 443–453(2001)
21. Czornik, A., Swierniak, A.: Controllability of Discrete Time Jump Linear Systems.Dynamics of Continuous, Discrete and Impulsive Systems, B: Applications andAlgorithms 12(2), 165–191 (2005)
22. Zhivetin, V.B.: Advanced Calculus, Lectures, vol. 1. Pensoft Publishers, Bulgaria(2007)
23. Klamka, J.: Controllability of Dynamical Systems. Kluwer Academic Publishers,Dordrecht (1991)
Au
tho
r P
roo
f