APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS

Size: px
Start display at page:

Download "APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS"

Transcription

1 APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES Said Hadd and Qing-Chang Zhong Dept. of Electrical Eng. & Electronics The University of Liverpool Liverpool, L69 3GJ United Kingdom

2 Outline Quick overview of recent activities Motivation of the research Problem statement Methodology Main results Special cases S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 2/50

3 Recent research activities Control engineering Power electronics: grid connection etc Renewable energy: wind power Automotive electronics: hybrid electric vehicles Control theory Robust control: J-spectral factorisation, algebraic Riccati equations etc Time-delay systems: a series of problems Infinite-dimensional systems: feedback stabilizability, controllability S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 3/50

4 Key publications One research monograph IEEE Trans. Automatic Control: 7 papers Automatica: 4 papers other IEEE Transactions: 3 papers S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 4/50

5 Current funding EPSRC: EP/C005953/1, 126k, to expire in 09/2008 EPSRC: EP/E055877/1, 88k EPSRC: one DTA studentship, 50k EPSRC and Add2 Ltd: Dorothy Hodgkin Postgraduate Award, 90k ESPRC and Nheolis, France: Dorothy Hodgkin Postgraduate Award, 90k S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 5/50

6 Motivation Controllability is one of the most important properties of a control system. Basically, it tells us if a system is controllable, in other words, whether a point in the state space is reachable. The most widely known formula is the Kalman rank condition Rank( B AB A n 1 B ) = n. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 6/50

7 Controllability: Analysis and design Normally, controllability is used to analyse whether a system is controllable. It can also be used for design. Many flexible modes to be suppressed The number of actuators to be minimised Many locations for placing actuators The question is where to put them and how many? S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 7/50

8 Infinite-dimensional case For finite-dimensional systems, there are different ways to define controllability. However, they all end up with the same concept. However, this is no longer true for infinite-dimensional case. Different concepts need to be used. Approximate or exact controllability in finite or infinite time etc. (Nine different concepts are defined in Stafani s book) S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 8/50

9 Approximate controllability (AC) For a given arbitrary ε > 0, it is possible to steer the state from the origin to the neighbourhood, with a radius ε, of all points in the state space. This is weaker than the exact controllability, where ε = 0. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 9/50

10 Some notation X, U, Y are Banach spaces, p > 1 is a real number and (A, D(A)) is the generator of a C 0 -semigroup (T(t)) t 0 on X. The type of T(t) is defined as ω 0 (A) := inf{t 1 log T(t) : t > 0}. The domain D(A), which is a Banach space, is endowed with the graph norm x A := x + Ax, x D(A). Denote the resolvent set of A by ρ(a) and the resolvent operator of A by R(µ,A) := (µ A) 1 for µ ρ(a). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 10/50

11 The completion of X with respect to the norm x 1 = R(µ,A)x for x X and some µ ρ(a) is a Banach space denoted by X 1, which is called the extrapolation space of A. For any Banach spaces E and F, denote the Banach space of all linear bounded operators from E to F by L(E,F) with L(E) := L(E, E). The history function of z : [ r, ) Z is the function z t : [ r, 0] Z defined by z t (θ) = z(t + θ) for t 0 and θ [ r, 0] with delay r > 0. For p > 1, L p ([ r, 0],Z) is the Banach space of all p- integrable functions f : [ r, 0] Z and W 1,p ([ r, 0],Z) is its associated Sobolev space. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 11/50

12 Problem statement To investigate the approximate controllability of d ( ) x(t) Dxt K 0 u(t) K 1 u t = B0 u(t) + B 1 u t dt +A ( ) x(t) Dx t K 0 u(t) K 1 u t + Lxt, t 0, ( ) lim x(t) Dxt K 0 u(t) K 1 u t = z0, t 0 x 0 = ϕ, u 0 = ψ. (1) Here x : [ r, ) X, u : [ r, ) U, the operators D,L : W 1,p ([ r, 0],X) X, K 1,B 1 : W 1,p ([ r, 0],U) X and B 0,K 0 : U X are linear bounded, and A is the generator of a C 0 -semigroup T := (T(t)) t 0 on X. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 12/50

13 How general it is? Distributed delays in the state AND the input, could be multiple discrete delays Delays in the derivative: neutral K 0 0 and K 1 0. d ( ) x(t) Dxt K 0 u(t) K 1 u t = B0 u(t) + B 1 u t dt +A ( ) ( x(t) Dx t K 0 u(t) ) K 1 u t + Lxt, t 0, lim x(t) Dxt K 0 u(t) K 1 u t = z0, t 0 x 0 = ϕ, u 0 = ψ. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 13/50

14 Background This area had been very active during 70s and 80s, focusing on retarded systems with state or input delays. Recent works include: 1) Diblik et al: Using a representation of solutions with the aid of a discrete matrix delayed exponential for linear discrete-time systems with state delays; 2) Sun et al: Using the matrix Lambert W function for linear (continuous-time) systems with state delays; 3) Rabah et al: Using the moment problem approach for neutral systems with distributed state delays. The closest one is the last one, where K 0 = 0, K 1 = 0, A = 0 and B 1 = 0. Also, the operator D is more general here. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 14/50

15 Key steps Transform the problem into a perturbed boundary control problem Solve the approximate controllability for the boundary control problem Then transfer the results back to the original problem S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 15/50

16 More notation Define Q X mϕ = ϕ, Q U mψ = ψ, D(Q X m) = W 1,p ([ r, 0],X), D(Q U m) = W 1,p ([ r, 0],U), and Q X ϕ = ϕ, D(Q X ) = {ϕ W 1,p ([ r, 0],X) : ϕ(0) = 0}, Q U ψ = ψ, D(Q U ) = {ψ W 1,p ([ r, 0],U) : ψ(0) = 0}. It is well known that Q X and Q U generate the left shift semigroups on L p ([ r, 0],X) and L p ([ r, 0],U), respectively. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 16/50

17 Denote by Q X 1 and Q U 1 the extension of Q X and Q U, respectively, and define the operators, for µ C, where β X := (µ Q X 1)e µ, β U := (µ Q U 1)e µ (2) e µ : Z L p ([ r, 0],Z), (e µ z)(θ) = e µθ z (3) is defined for µ C, z Z, and θ [ r, 0]. Denote by J Z (Z = X or U) the following continuous injection J Z : D(Q Z ) W 1,p ([ r, 0],Z). (4) S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 17/50

18 Transforming into a boundary control problem Introduce the space X := X L p ([ r, 0],X) L p ([ r, 0],U), and the matrix operator A L B 1 A m := 0 Q X m 0, 0 0 Q U m D(A m ) := D(A) W 1,p ([ r, 0],X) W 1,p ([ r, 0],U), S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 18/50

19 Moreover, define the boundary operators N, M : D(A m ) U := X U as ( ) ( ) 0 δ0 0 I D K1 N =, M =, 0 0 δ and, for any u U, the operators Bu = ( B0 u 0 0 ), Ku = ( K 0 u u ) S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 19/50

20 Then the system (1) can be reformulated as ẇ(t) = A m w(t) + Bu(t), t 0, Nw(t) = Mw(t) + Ku(t). (5) by setting w(t) = (z(t),x t,u t ), t 0 with w(0) = = (z 0,ϕ,ψ), where z(t) = x(t) Dx t K 0 u(t) K 1 u t with limz(t) = z 0. Here, A m : X m X and t 0 N, M : X m U are linear operators with Banach spaces X, U and X m being a dense domain of X endowed with a norm, which is finer than the norm of X such that (X m, ) is complete. This is a boundary control problem. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 20/50

21 Verification of conditions Standard conditions for boundary control problems: (H1) A = A m with domain D(A) := KerN generates a C 0 -semi group (T (t)) t 0 on X, (H2) ImN = U. These assumptions show that the boundary value problem with M = 0 and B = 0 is well-posed in the sense that it can be reformulated as a well-posed open loop system on the state space X and control space U. Clearly N satisfies the condition (H2). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 21/50

22 In order to verify condition (H1), assume (A1) (Q X,β X,LJ X ) generates a regular linear system on L p ([ r, 0],X), X, X, (A2) (Q U,β U,B 1 J U ) generates a regular linear system on L p ([ r, 0],U), U, X. Define the operator A := A L B 1 0 Q X 0, 0 0 Q U D(A) := KerN = D(A) D(Q X ) D(Q U ). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 22/50

23 It satisfies A = A 0 + L with A 0 0 A 0 := 0 Q X 0, L := 0 0 Q U 0 L B D(A 0 ) := KerN., D(L) := KerN. Clearly, A 0 generates a diagonal C 0 -semigroup on X. It is not difficult to see that if L and B 1 are admissible observation operators for Q X and Q U (in particular if (A1) and (A2) holds), respectively, then L is a Miyadera Voigt perturbation for A 0. Then A generates a C 0 -semigroup T := (T (t)) t 0 on X. Hence N satisfies the condition (H1). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 23/50

24 Admissible observation operator Definition 1. C L(D(A),Y ) is called an admissible observation operator for A if, for constants τ 0 and γ := γ(τ) > 0, τ 0 CT(t)x p dt γ p x p, x D(A), (6) The map Ψ x := CT( )x, defined on D(A), extends to a bounded operator Ψ : X L p loc (R +,Y ). For any x X we set Ψ(t)x := Ψ x on [0,t] and call (T(t), Ψ(t)) t 0 an observation system. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 24/50

25 Admissible control operator Definition 2. B L(U,X 1 ) is called an admissible control operator for (A, D(A)), the generator of a C 0 - semigroup (T(t)) t 0 on X, if for all t > 0 and u L p ([ r, 0],U) the control map Φ(t)u := takes values in X. t 0 T(t s)bu(s)ds (7) The pair (T, Φ) is called a control system represented by the operator B. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 25/50

26 Formal definition of AC Definition 3. Let (T, Φ) be the control system represented by the operator B. Define the reachability space R := t 0 RanΦ(t). Then, (A, B) is said to be approximately controllable if R is dense in X. This means that, for a given arbitrary ε > 0, it is possible to steer the state from the origin to the neighbourhood, with a radius ε, of all points in the state space. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 26/50

27 Further transformation It can be proved that the boundary control system (5) is equivalent to the distributed-parameter system ẇ(t) = Aw(t) + (B + BK)u(t), w(0) =, (8) for t 0, with A and B defined as Ax = A m x, D(A) = { x D(A m ) : Nx = Mx }. B := (µ A 1 )D µ, µ ρ(a). where D µ is the Dirichlet operator D µ := ( N Ker(µ Am )) 1 : U Ker(µ Am ). (9) S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 27/50

28 AC for the boundary control problem When the conditions (H1) and (H2) are satisfied, D µ exists and is bounded. For µ ρ(a), there is (A m A 1 ) = (µ A 1 )D µ N on D(A m ). Definition 4. Assume that (H1) (H2) are satisfied. The boundary value problem (5) is said to be approximately controllable if the open-loop system (A, B+BK) is (in the sense of Definition 3). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 28/50

29 Theorem Theorem 5. Assume that (H1) (H2) are satisfied. The boundary value problem (5) is approximately controllable if and only if, for µ ρ(a) ρ(a) and ϕ X, the fact that (I D µ M) 1 (D µ K + R(µ, A)B)u,ϕ = 0, for u U, (10) implies that ϕ = 0. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 29/50

30 Going back to the neutral system... S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 30/50

31 Dirichlet operator associated with N Note that ρ(a) = ρ(a). For µ ρ(a), one can see that the Dirichlet operator associated with N, as defined in (9), is given by ( D uv ) R(µ,A)(Le µ u + B 1 e µ v) ( µ = e µ u, uv ) U. e µ v (11) S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 31/50

32 More assumptions Let J : D(A) D(A) W 1,p ([ r, 0],X) W 1,p ([ r, 0],U) be the continuous injection, and set C := MJ L(D(A), U). Then C is an admissible observation operator for A under the following assumptions: (A3) (Q X,β X,DJ X ) generates a regular linear system on L p ([ r, 0],X), X, X with I X as an admissible feedback, (A4) (Q U,β U,K 1 J U ) generates a regular linear system on L p ([ r, 0],U), U, X. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 32/50

33 (µ) Define (µ) := I De µ R(µ,A)Le µ, µ ρ(a). By using (11), for µ ρ(a), we have ( ) (µ) (K1 e I U MD µ = µ + R(µ,A)B 1 e µ ). 0 I U (12) Thus, (µ) is invertible if and only if µ ρ(a) ρ(a). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 33/50

34 AC: the transformed system Definition 6. Assume that the conditions (A1) to (A4) are satisfied. Define R(t)u := t 0 (T I ) 1 (t τ)(bk + B)u(τ)dτ for t 0 and u L p loc (R +,U). The system (5) is said to be Υ-approximately controllable if Cl( t 0 P Υ (RanR(t))) = Υ, where Υ can be any of X, X, X L p ([ r, 0],X), L p ([ r, 0],X) and L p ([ r, 0],U), and P Υ is the projection operator from X to Υ. In particular, P X = I. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 34/50

35 w(t) = z(t) x t u t X-approximately controllable: the state z is approximately controllable; X L p ([ r, 0],X)-approximately controllable: states z and x t are approximately controllable; L p ([ r, 0],U)-approximately controllable: state u t is approximately controllable. Apparently, it is always L p ([ r, 0],U)- approximately controllable. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 35/50

36 AC: Transformed system Theorem 7. Assume that (A1) to (A4) are satisfied. Then the following conditions are equivalent: (i) the system (5) is X -approximately controllable, (ii) it is X L p ([ r, 0],X)-approximately controllable, (iii) for µ ρ(a) ρ(a), ϕ L q ([ r, 0],X) with 1 p + 1 q = 1 and x X, the fact that, for u U, (Ω(µ) + Γ(µ)Λ(µ))u,x + (eµ K 0 + e µ (µ) 1 Λ(µ))u,ϕ = 0 implies that x = 0 and ϕ = 0. Here, Γ(µ) := R(µ,A)Le µ (µ) 1, Ω(µ) := R(µ,A)(Le µ K 0 + B 1 e µ + B 0 ), Λ(µ) : = Ω(µ) + De µ K 0 + K 1 e µ. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 36/50

37 Outline of proof (I D µ M) 1 = I + Γ(µ) Γ(µ)D Γ(µ)K 1 e µ (µ) 1 I + e µ (µ) 1 D e µ (µ) 1 K I R(µ, A) = R(µ, A) R(µ, A)LR(µ, Q X ) R(µ, A)B 1 R(µ, Q U ) 0 R(µ, Q X ) R(µ, Q U ) D µ Ku + R(µ, A)Bu = Ω(µ)u e µ K 0 u. e µ u Hence, Ω(µ) + Γ(µ)Λ(µ) (I D µ M) 1 (D µ Ku + R(µ, A)Bu) = e µ K 0 + e µ (µ) 1 Λ(µ) u S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 37/50 e µ

38 State z(t) Assume that the conditions (A1) to (A4) are satisfied. Then the system (5) is X-approximately controllable iff, for µ ρ(a) ρ(a) and x X, the fact that (Ω(µ) + Γ(µ)Λ(µ))u,x = 0, for u U, implies that x = 0. This characterises the condition when z(t), partial state of system (5), can reach all points in X. In general, this is irrelevant to the approximate controllability of system (1). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 38/50

39 State x t Assume that the conditions (A1) to (A4) are satisfied. Then the system (5) is L p ([ r, 0],X)-approximately controllable iff, for µ ρ(a) ρ(a) and ϕ L q ([ r, 0],X) with 1 p + 1 q = 1, the fact that eµ (K 0 + (µ) 1 Λ(µ))u,ϕ = 0, for u U, (13) implies that ϕ = 0. This actually describes the approximate controllability of system (1). S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 39/50

40 AC: the neutral system Theorem 8. Assume that the conditions (A1) to (A4) are satisfied. Then the general neutral system (1) is approximately controllable iff, for µ ρ(a) ρ(a) and x X, the fact that (K0 + (µ) 1 Λ(µ))u,x = 0, for u U, implies that x = 0. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 40/50

41 Special case I: Difference equations with state and input delays Consider the difference equation x(t) = Dx t + K 0 u(t) + K 1 u t, t 0, (14) with x 0 = ϕ, u 0 = ψ. Note that the equation (14) is a special case of (1), with A = 0, L = 0,B 0 = 0, B 1 = 0. In this case, (µ) = I De µ, Γ(µ) = 0, Ω(µ) = 0, Λ(µ) = De µ K 0 + K 1 e µ. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 41/50

42 Define the operator Q I ϕ = ϕ, { } D(Q I ) = ϕ W 1,p ([ r, 0],X) : ϕ(0) = Dϕ. (µ) is invertible if and only if µ ρ(q I ). Assume that the conditions (A3) to (A4) are satisfied. Then the system (14) is approximately controllable iff, for µ ρ(q I ) and x X, the fact that (I Deµ ) 1 (K 0 + K 1 e µ )u,x = 0, for u U implies that x = 0. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 42/50

43 Special case II: Retarded delay systems with state and input delays Consider the following retarded delay system with finite-dimensional delay-free dynamics, which widely exist in engineering: ẋ(t) = Ax(t)+L r x(t r)+b 0 u(t)+b r u(t r), t 0, where x R n, A R n n, L r R n n, B 0 R n m, B r R n m and u R m. The variants of this system have been targets of most of the papers in this area. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 43/50

44 This system can be obtained from the system (1) by taking D = 0, K 0 = 0, K 1 = 0, L = L r δ r and B 1 = B r δ r, where δ r is the Dirac operator. These operators satisfy the conditions (A1) (A4). Then, (µ) = I e rµ R(µ,A)L r, µ ρ(a). Define ρ = {µ : (µ) is invertible}. Then for µ ρ(a) ρ, Γ(µ) = e rµ R(µ,A)L r (µ) 1 = (µ) 1 I, Λ(µ) = Ω(µ) = R(µ,A)[e rµ B r + B 0 ]. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 44/50

45 Now Theorem 8 shows that the system is approximately controllable iff, for µ ρ(a) ρ and x R n, the fact that (µ) 1 Λ(µ)u,x = 0, for u U, (15) implies that x = 0. It can be found that the equality in (15) is equivalent to that (µi A e rµ L r ) 1 (e rµ B r + B 0 )u,x = 0. When B r = 0, this condition is simpler than the one for systems with state delays obtained by Manitius et al in 70s. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 45/50

46 A rank condition Assume L r = 0. The left-hand side of the equality in (15), assuming µ 0 for the moment, is u (e rµ B r + B 0 ) (µi A) x = u (e rµ B r + B 0 ) Σ n 1 k=0 f k( 1 µ )(Ak ) x = Σ n 1 k=0 u (f k ( 1 µ )e rµ B r + f k ( 1 µ )B 0) (A k ) x where (µi A) 1 is replaced with (µi A) 1 = 1 µ (I 1 µ A) 1 = Σ n 1 k=0 f k( 1 µ )Ak with f k ( 1 µ ), k = 0, 1,n 1, as polynomials in 1 µ. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 46/50

47 This can be written as uf 0 ( 1 µ )e rµ uf 1 ( 1 µ )e rµ. uf n 1 ( 1 µ )e rµ uf 0 ( 1 µ ) uf 1 ( 1 µ ). uf n 1 ( 1 µ ) B r B r A. Br (A ) n 1 B0 B0 A. B 0 (A ) n 1 2n m n x = 0. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 47/50

48 Hence, the system is approximately controllable if and only if Rank ( B r AB r A n 1 B r B 0 AB 0 A n 1 B 0 ) = n. The condition µ ρ(a) ρ and µ 0 are now irrelevant. This recovers the results for systems with input delays by Sebakhy (1971). If B r = 0, then Rank ( B 0 AB 0 A n 1 B 0 ) = n. We have not lost ourselves! S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 48/50

49 A rank condition when L r 0 can be derived similarly. Instead of using A k in the series expansion, (A + e rµ L r ) k, k = 0, 1,n 1, should be used. However, it is difficult to express the condition for the general case in a compact form and hence omitted. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 49/50

50 Summary The approximate controllability of neutral systems is discussed via converting the problem into that for a perturbed control problem. After solving the approximate controllability for the perturbed control problem, the conditions for the approximate controllability of neutral systems are obtained. Some special cases are discussed. S. HADD AND Q.-C. ZHONG: APPROXIMATE CONTROLLABILITY OF NEUTRAL SYSTEMS WITH STATE AND INPUT DELAYS IN BANACH SPACES p. 50/50

Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems

Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems Proceedings of the 47th IEEE Conference on Decision and Control Cancun, Mexico, Dec. 9-11, 28 TuC7.6 Perturbation theory of boundary value problems and approximate controllability of perturbed boundary

More information

On feedback stabilizability of time-delay systems in Banach spaces

On feedback stabilizability of time-delay systems in Banach spaces On feedback stabilizability of time-delay systems in Banach spaces S. Hadd and Q.-C. Zhong q.zhong@liv.ac.uk Dept. of Electrical Eng. & Electronics The University of Liverpool United Kingdom Outline Background

More information

DELAY-DIFFERENTIAL systems arise in the study

DELAY-DIFFERENTIAL systems arise in the study 438 IEEE TRANSACTIONS ON AUTOMATIC CONTROL On Feedback Stabilizability of Linear Systems With State Input Delays in Banach Spaces Said Hadd Qing-Chang Zhong, Senior Member, IEEE Abstract The feedback stabilizability

More information

Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints

Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Joseph Winkin Namur Center of Complex Systems (naxys) and Dept. of Mathematics, University of Namur, Belgium

More information

On Controllability of Linear Systems 1

On Controllability of Linear Systems 1 On Controllability of Linear Systems 1 M.T.Nair Department of Mathematics, IIT Madras Abstract In this article we discuss some issues related to the observability and controllability of linear systems.

More information

Conservative Control Systems Described by the Schrödinger Equation

Conservative Control Systems Described by the Schrödinger Equation Conservative Control Systems Described by the Schrödinger Equation Salah E. Rebiai Abstract An important subclass of well-posed linear systems is formed by the conservative systems. A conservative system

More information

Exponential stabilization of a Rayleigh beam - actuator and feedback design

Exponential stabilization of a Rayleigh beam - actuator and feedback design Exponential stabilization of a Rayleigh beam - actuator and feedback design George WEISS Department of Electrical and Electronic Engineering Imperial College London London SW7 AZ, UK G.Weiss@imperial.ac.uk

More information

Chapter 3. LQ, LQG and Control System Design. Dutch Institute of Systems and Control

Chapter 3. LQ, LQG and Control System Design. Dutch Institute of Systems and Control Chapter 3 LQ, LQG and Control System H 2 Design Overview LQ optimization state feedback LQG optimization output feedback H 2 optimization non-stochastic version of LQG Application to feedback system design

More information

Positive Stabilization of Infinite-Dimensional Linear Systems

Positive Stabilization of Infinite-Dimensional Linear Systems Positive Stabilization of Infinite-Dimensional Linear Systems Joseph Winkin Namur Center of Complex Systems (NaXys) and Department of Mathematics, University of Namur, Belgium Joint work with Bouchra Abouzaid

More information

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

Stability of an abstract wave equation with delay and a Kelvin Voigt damping Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability

More information

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control Outline Background Preliminaries Consensus Numerical simulations Conclusions Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control Email: lzhx@nankai.edu.cn, chenzq@nankai.edu.cn

More information

Control, Stabilization and Numerics for Partial Differential Equations

Control, Stabilization and Numerics for Partial Differential Equations Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua

More information

Fact Sheet Functional Analysis

Fact Sheet Functional Analysis Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.

More information

Switching, sparse and averaged control

Switching, sparse and averaged control Switching, sparse and averaged control Enrique Zuazua Ikerbasque & BCAM Basque Center for Applied Mathematics Bilbao - Basque Country- Spain zuazua@bcamath.org http://www.bcamath.org/zuazua/ WG-BCAM, February

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

A Smooth Operator, Operated Correctly

A Smooth Operator, Operated Correctly Clark Department of Mathematics Bard College at Simon s Rock March 6, 2014 Abstract By looking at familiar smooth functions in new ways, we can make sense of matrix-valued infinite series and operator-valued

More information

The Role of Exosystems in Output Regulation

The Role of Exosystems in Output Regulation 1 The Role of Exosystems in Output Regulation Lassi Paunonen In this paper we study the role of the exosystem in the theory of output regulation for linear infinite-dimensional systems. The main result

More information

Control Design of a Distributed Parameter. Fixed-Bed Reactor

Control Design of a Distributed Parameter. Fixed-Bed Reactor Workshop on Control of Distributed Parameter Systems p. 1/1 Control Design of a Distributed Parameter Fixed-Bed Reactor Ilyasse Aksikas and J. Fraser Forbes Department of Chemical and Material Engineering

More information

Semigroup Generation

Semigroup Generation Semigroup Generation Yudi Soeharyadi Analysis & Geometry Research Division Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung WIDE-Workshoop in Integral and Differensial Equations 2017

More information

LQR, Kalman Filter, and LQG. Postgraduate Course, M.Sc. Electrical Engineering Department College of Engineering University of Salahaddin

LQR, Kalman Filter, and LQG. Postgraduate Course, M.Sc. Electrical Engineering Department College of Engineering University of Salahaddin LQR, Kalman Filter, and LQG Postgraduate Course, M.Sc. Electrical Engineering Department College of Engineering University of Salahaddin May 2015 Linear Quadratic Regulator (LQR) Consider a linear system

More information

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,

More information

Linear Quadratic Zero-Sum Two-Person Differential Games Pierre Bernhard June 15, 2013

Linear Quadratic Zero-Sum Two-Person Differential Games Pierre Bernhard June 15, 2013 Linear Quadratic Zero-Sum Two-Person Differential Games Pierre Bernhard June 15, 2013 Abstract As in optimal control theory, linear quadratic (LQ) differential games (DG) can be solved, even in high dimension,

More information

CONTROL SYSTEMS, ROBOTICS AND AUTOMATION - Vol. VII - System Characteristics: Stability, Controllability, Observability - Jerzy Klamka

CONTROL SYSTEMS, ROBOTICS AND AUTOMATION - Vol. VII - System Characteristics: Stability, Controllability, Observability - Jerzy Klamka SYSTEM CHARACTERISTICS: STABILITY, CONTROLLABILITY, OBSERVABILITY Jerzy Klamka Institute of Automatic Control, Technical University, Gliwice, Poland Keywords: stability, controllability, observability,

More information

Module 07 Controllability and Controller Design of Dynamical LTI Systems

Module 07 Controllability and Controller Design of Dynamical LTI Systems Module 07 Controllability and Controller Design of Dynamical LTI Systems Ahmad F. Taha EE 5143: Linear Systems and Control Email: ahmad.taha@utsa.edu Webpage: http://engineering.utsa.edu/ataha October

More information

On the bang-bang property of time optimal controls for infinite dimensional linear systems

On the bang-bang property of time optimal controls for infinite dimensional linear systems On the bang-bang property of time optimal controls for infinite dimensional linear systems Marius Tucsnak Université de Lorraine Paris, 6 janvier 2012 Notation and problem statement (I) Notation: X (the

More information

APPROXIMATE CONTROLLABILITY OF DISTRIBUTED SYSTEMS BY DISTRIBUTED CONTROLLERS

APPROXIMATE CONTROLLABILITY OF DISTRIBUTED SYSTEMS BY DISTRIBUTED CONTROLLERS 2004 Conference on Diff. Eqns. and Appl. in Math. Biology, Nanaimo, BC, Canada. Electronic Journal of Differential Equations, Conference 12, 2005, pp. 159 169. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu

More information

Topic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis

Topic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis Topic # 16.30/31 Feedback Control Systems Analysis of Nonlinear Systems Lyapunov Stability Analysis Fall 010 16.30/31 Lyapunov Stability Analysis Very general method to prove (or disprove) stability of

More information

Left invertible semigroups on Hilbert spaces.

Left invertible semigroups on Hilbert spaces. Left invertible semigroups on Hilbert spaces. Hans Zwart Department of Applied Mathematics, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, P.O. Box 217, 75 AE

More information

Criterions on periodic feedback stabilization for some evolution equations

Criterions on periodic feedback stabilization for some evolution equations Criterions on periodic feedback stabilization for some evolution equations School of Mathematics and Statistics, Wuhan University, P. R. China (Joint work with Yashan Xu, Fudan University) Toulouse, June,

More information

Strong stability of neutral equations with dependent delays

Strong stability of neutral equations with dependent delays Strong stability of neutral equations with dependent delays W Michiels, T Vyhlidal, P Zitek, H Nijmeijer D Henrion 1 Introduction We discuss stability properties of the linear neutral equation p 2 ẋt +

More information

ECE7850 Lecture 7. Discrete Time Optimal Control and Dynamic Programming

ECE7850 Lecture 7. Discrete Time Optimal Control and Dynamic Programming ECE7850 Lecture 7 Discrete Time Optimal Control and Dynamic Programming Discrete Time Optimal control Problems Short Introduction to Dynamic Programming Connection to Stabilization Problems 1 DT nonlinear

More information

Domain Perturbation for Linear and Semi-Linear Boundary Value Problems

Domain Perturbation for Linear and Semi-Linear Boundary Value Problems CHAPTER 1 Domain Perturbation for Linear and Semi-Linear Boundary Value Problems Daniel Daners School of Mathematics and Statistics, The University of Sydney, NSW 2006, Australia E-mail: D.Daners@maths.usyd.edu.au

More information

Floor Control (kn) Time (sec) Floor 5. Displacement (mm) Time (sec) Floor 5.

Floor Control (kn) Time (sec) Floor 5. Displacement (mm) Time (sec) Floor 5. DECENTRALIZED ROBUST H CONTROL OF MECHANICAL STRUCTURES. Introduction L. Bakule and J. Böhm Institute of Information Theory and Automation Academy of Sciences of the Czech Republic The results contributed

More information

CONTROLLABILITY AND OBSERVABILITY OF 2-D SYSTEMS. Klamka J. Institute of Automatic Control, Technical University, Gliwice, Poland

CONTROLLABILITY AND OBSERVABILITY OF 2-D SYSTEMS. Klamka J. Institute of Automatic Control, Technical University, Gliwice, Poland CONTROLLABILITY AND OBSERVABILITY OF 2D SYSTEMS Institute of Automatic Control, Technical University, Gliwice, Poland Keywords: Controllability, observability, linear systems, discrete systems. Contents.

More information

The Kalman-Yakubovich-Popov Lemma for Differential-Algebraic Equations with Applications

The Kalman-Yakubovich-Popov Lemma for Differential-Algebraic Equations with Applications MAX PLANCK INSTITUTE Elgersburg Workshop Elgersburg February 11-14, 2013 The Kalman-Yakubovich-Popov Lemma for Differential-Algebraic Equations with Applications Timo Reis 1 Matthias Voigt 2 1 Department

More information

1. Find the solution of the following uncontrolled linear system. 2 α 1 1

1. Find the solution of the following uncontrolled linear system. 2 α 1 1 Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +

More information

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS PROBABILITY: LIMIT THEOREMS II, SPRING 15. HOMEWORK PROBLEMS PROF. YURI BAKHTIN Instructions. You are allowed to work on solutions in groups, but you are required to write up solutions on your own. Please

More information

Control Systems Design, SC4026. SC4026 Fall 2009, dr. A. Abate, DCSC, TU Delft

Control Systems Design, SC4026. SC4026 Fall 2009, dr. A. Abate, DCSC, TU Delft Control Systems Design, SC4026 SC4026 Fall 2009, dr. A. Abate, DCSC, TU Delft Lecture 4 Controllability (a.k.a. Reachability) vs Observability Algebraic Tests (Kalman rank condition & Hautus test) A few

More information

Analysis of Discrete-Time Systems

Analysis of Discrete-Time Systems TU Berlin Discrete-Time Control Systems 1 Analysis of Discrete-Time Systems Overview Stability Sensitivity and Robustness Controllability, Reachability, Observability, and Detectabiliy TU Berlin Discrete-Time

More information

EQUIVALENT CONDITIONS FOR EXPONENTIAL STABILITY FOR A SPECIAL CLASS OF CONSERVATIVE LINEAR SYSTEMS

EQUIVALENT CONDITIONS FOR EXPONENTIAL STABILITY FOR A SPECIAL CLASS OF CONSERVATIVE LINEAR SYSTEMS EQUIVALENT CONDITIONS FOR EXPONENTIAL STABILITY FOR A SPECIAL CLASS OF CONSERVATIVE LINEAR SYSTEMS G. WEISS Λ, M. Tucsnak y Λ Dept. of Electrical and Electronic Engineering Imperial College London Exhibition

More information

The i/s/o resolvent set and the i/s/o resolvent matrix of an i/s/o system in continuous time

The i/s/o resolvent set and the i/s/o resolvent matrix of an i/s/o system in continuous time 21st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 2014. The i/s/o resolvent set and the i/s/o resolvent matrix of an i/s/o system in continuous time Damir Z. Arov 1,

More information

An Operator Theoretical Approach to Nonlocal Differential Equations

An Operator Theoretical Approach to Nonlocal Differential Equations An Operator Theoretical Approach to Nonlocal Differential Equations Joshua Lee Padgett Department of Mathematics and Statistics Texas Tech University Analysis Seminar November 27, 2017 Joshua Lee Padgett

More information

Linear Quadratic Zero-Sum Two-Person Differential Games

Linear Quadratic Zero-Sum Two-Person Differential Games Linear Quadratic Zero-Sum Two-Person Differential Games Pierre Bernhard To cite this version: Pierre Bernhard. Linear Quadratic Zero-Sum Two-Person Differential Games. Encyclopaedia of Systems and Control,

More information

Control Systems Design, SC4026. SC4026 Fall 2010, dr. A. Abate, DCSC, TU Delft

Control Systems Design, SC4026. SC4026 Fall 2010, dr. A. Abate, DCSC, TU Delft Control Systems Design, SC4026 SC4026 Fall 2010, dr. A. Abate, DCSC, TU Delft Lecture 4 Controllability (a.k.a. Reachability) and Observability Algebraic Tests (Kalman rank condition & Hautus test) A few

More information

Converse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale s Form

Converse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale s Form Converse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale s Form arxiv:1206.3504v1 [math.ds] 15 Jun 2012 P. Pepe I. Karafyllis Abstract In this paper

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems

A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems 53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems Seyed Hossein Mousavi 1,

More information

6.241 Dynamic Systems and Control

6.241 Dynamic Systems and Control 6.241 Dynamic Systems and Control Lecture 24: H2 Synthesis Emilio Frazzoli Aeronautics and Astronautics Massachusetts Institute of Technology May 4, 2011 E. Frazzoli (MIT) Lecture 24: H 2 Synthesis May

More information

ACM/CMS 107 Linear Analysis & Applications Fall 2016 Assignment 4: Linear ODEs and Control Theory Due: 5th December 2016

ACM/CMS 107 Linear Analysis & Applications Fall 2016 Assignment 4: Linear ODEs and Control Theory Due: 5th December 2016 ACM/CMS 17 Linear Analysis & Applications Fall 216 Assignment 4: Linear ODEs and Control Theory Due: 5th December 216 Introduction Systems of ordinary differential equations (ODEs) can be used to describe

More information

Linear System Theory

Linear System Theory Linear System Theory Wonhee Kim Chapter 6: Controllability & Observability Chapter 7: Minimal Realizations May 2, 217 1 / 31 Recap State space equation Linear Algebra Solutions of LTI and LTV system Stability

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space 4.1 Introduction In this chapter, we will consider optimal control problems in function space where we will restrict ourselves

More information

Analysis of Discrete-Time Systems

Analysis of Discrete-Time Systems TU Berlin Discrete-Time Control Systems TU Berlin Discrete-Time Control Systems 2 Stability Definitions We define stability first with respect to changes in the initial conditions Analysis of Discrete-Time

More information

Extensions and applications of LQ

Extensions and applications of LQ Extensions and applications of LQ 1 Discrete time systems 2 Assigning closed loop pole location 3 Frequency shaping LQ Regulator for Discrete Time Systems Consider the discrete time system: x(k + 1) =

More information

Output Regulation of the Tigan System

Output Regulation of the Tigan System Output Regulation of the Tigan System Dr. V. Sundarapandian Professor (Systems & Control Eng.), Research and Development Centre Vel Tech Dr. RR & Dr. SR Technical University Avadi, Chennai-6 6, Tamil Nadu,

More information

Pseudospectra and Nonnormal Dynamical Systems

Pseudospectra and Nonnormal Dynamical Systems Pseudospectra and Nonnormal Dynamical Systems Mark Embree and Russell Carden Computational and Applied Mathematics Rice University Houston, Texas ELGERSBURG MARCH 1 Overview of the Course These lectures

More information

Semidefinite Programming Duality and Linear Time-invariant Systems

Semidefinite Programming Duality and Linear Time-invariant Systems Semidefinite Programming Duality and Linear Time-invariant Systems Venkataramanan (Ragu) Balakrishnan School of ECE, Purdue University 2 July 2004 Workshop on Linear Matrix Inequalities in Control LAAS-CNRS,

More information

Myopic Models of Population Dynamics on Infinite Networks

Myopic Models of Population Dynamics on Infinite Networks Myopic Models of Population Dynamics on Infinite Networks Robert Carlson Department of Mathematics University of Colorado at Colorado Springs rcarlson@uccs.edu June 30, 2014 Outline Reaction-diffusion

More information

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE Surveys in Mathematics and its Applications ISSN 1842-6298 (electronic), 1843-7265 (print) Volume 5 (2010), 275 284 UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE Iuliana Carmen Bărbăcioru Abstract.

More information

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law: Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable

More information

{σ x >t}p x. (σ x >t)=e at.

{σ x >t}p x. (σ x >t)=e at. 3.11. EXERCISES 121 3.11 Exercises Exercise 3.1 Consider the Ornstein Uhlenbeck process in example 3.1.7(B). Show that the defined process is a Markov process which converges in distribution to an N(0,σ

More information

A Unified Formulation of Gaussian Versus Sparse Stochastic Processes

A Unified Formulation of Gaussian Versus Sparse Stochastic Processes A Unified Formulation of Gaussian Versus Sparse Stochastic Processes Michael Unser, Pouya Tafti and Qiyu Sun EPFL, UCF Appears in IEEE Trans. on Information Theory, 2014 Presented by Liming Wang M. Unser,

More information

The ϵ-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems

The ϵ-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 11, Issue 3 Ver. IV (May - Jun. 2015), PP 52-62 www.iosrjournals.org The ϵ-capacity of a gain matrix and tolerable disturbances:

More information

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction ANALYTIC SEMIGROUPS AND APPLICATIONS KELLER VANDEBOGERT. Introduction Consider a Banach space X and let f : D X and u : G X, where D and G are real intervals. A is a bounded or unbounded linear operator

More information

Bayesian inverse problems with Laplacian noise

Bayesian inverse problems with Laplacian noise Bayesian inverse problems with Laplacian noise Remo Kretschmann Faculty of Mathematics, University of Duisburg-Essen Applied Inverse Problems 2017, M27 Hangzhou, 1 June 2017 1 / 33 Outline 1 Inverse heat

More information

A fast and well-conditioned spectral method: The US method

A fast and well-conditioned spectral method: The US method A fast and well-conditioned spectral method: The US method Alex Townsend University of Oxford Leslie Fox Prize, 24th of June 23 Partially based on: S. Olver & T., A fast and well-conditioned spectral method,

More information

CONTROL OF DIGITAL SYSTEMS

CONTROL OF DIGITAL SYSTEMS AUTOMATIC CONTROL AND SYSTEM THEORY CONTROL OF DIGITAL SYSTEMS Gianluca Palli Dipartimento di Ingegneria dell Energia Elettrica e dell Informazione (DEI) Università di Bologna Email: gianluca.palli@unibo.it

More information

Exponential stability of families of linear delay systems

Exponential stability of families of linear delay systems Exponential stability of families of linear delay systems F. Wirth Zentrum für Technomathematik Universität Bremen 28334 Bremen, Germany fabian@math.uni-bremen.de Keywords: Abstract Stability, delay systems,

More information

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA GLASNIK MATEMATIČKI Vol. 35(55(2000, 45 58 BOUNDARY VALUE PROBLEMS IN KREĬN SPACES Branko Ćurgus Western Washington University, USA Dedicated to the memory of Branko Najman. Abstract. Three abstract boundary

More information

Decay rates for partially dissipative hyperbolic systems

Decay rates for partially dissipative hyperbolic systems Outline Decay rates for partially dissipative hyperbolic systems Basque Center for Applied Mathematics Bilbao, Basque Country, Spain zuazua@bcamath.org http://www.bcamath.org/zuazua/ Numerical Methods

More information

Elliptic Operators with Unbounded Coefficients

Elliptic Operators with Unbounded Coefficients Elliptic Operators with Unbounded Coefficients Federica Gregorio Universitá degli Studi di Salerno 8th June 2018 joint work with S.E. Boutiah, A. Rhandi, C. Tacelli Motivation Consider the Stochastic Differential

More information

Realization theory for systems biology

Realization theory for systems biology Realization theory for systems biology Mihály Petreczky CNRS Ecole Central Lille, France February 3, 2016 Outline Control theory and its role in biology. Realization problem: an abstract formulation. Realization

More information

The Dirichlet-to-Neumann operator

The Dirichlet-to-Neumann operator Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science : MULTIVARIABLE CONTROL SYSTEMS by A.

Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science : MULTIVARIABLE CONTROL SYSTEMS by A. Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Q-Parameterization 1 This lecture introduces the so-called

More information

Controller Design for Robust Output Regulation of Regular Linear Systems

Controller Design for Robust Output Regulation of Regular Linear Systems Controller Design for Robust Output Regulation of Regular Linear Systems L. Paunonen We present three dynamic error feedbac controllers for robust output regulation of regular linear systems. These controllers

More information

Technische Universität Dresden

Technische Universität Dresden Als Manuskript gedruckt Technische Universität Dresden Herausgeber: Der Rektor Modulus semigroups and perturbation classes for linear delay equations in L p H. Vogt, J. Voigt Institut für Analysis MATH-AN-7-2

More information

Review of Controllability Results of Dynamical System

Review of Controllability Results of Dynamical System IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 13, Issue 4 Ver. II (Jul. Aug. 2017), PP 01-05 www.iosrjournals.org Review of Controllability Results of Dynamical System

More information

Gramians based model reduction for hybrid switched systems

Gramians based model reduction for hybrid switched systems Gramians based model reduction for hybrid switched systems Y. Chahlaoui Younes.Chahlaoui@manchester.ac.uk Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) School of Mathematics

More information

Information Structures Preserved Under Nonlinear Time-Varying Feedback

Information Structures Preserved Under Nonlinear Time-Varying Feedback Information Structures Preserved Under Nonlinear Time-Varying Feedback Michael Rotkowitz Electrical Engineering Royal Institute of Technology (KTH) SE-100 44 Stockholm, Sweden Email: michael.rotkowitz@ee.kth.se

More information

A Concise Course on Stochastic Partial Differential Equations

A Concise Course on Stochastic Partial Differential Equations A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original

More information

Delay-independent stability via a reset loop

Delay-independent stability via a reset loop Delay-independent stability via a reset loop S. Tarbouriech & L. Zaccarian (LAAS-CNRS) Joint work with F. Perez Rubio & A. Banos (Universidad de Murcia) L2S Paris, 20-22 November 2012 L2S Paris, 20-22

More information

Introduction to Instantons. T. Daniel Brennan. Quantum Mechanics. Quantum Field Theory. Effects of Instanton- Matter Interactions.

Introduction to Instantons. T. Daniel Brennan. Quantum Mechanics. Quantum Field Theory. Effects of Instanton- Matter Interactions. February 18, 2015 1 2 3 Instantons in Path Integral Formulation of mechanics is based around the propagator: x f e iht / x i In path integral formulation of quantum mechanics we relate the propagator to

More information

Nonlinear Dynamical Systems Lecture - 01

Nonlinear Dynamical Systems Lecture - 01 Nonlinear Dynamical Systems Lecture - 01 Alexandre Nolasco de Carvalho August 08, 2017 Presentation Course contents Aims and purpose of the course Bibliography Motivation To explain what is a dynamical

More information

Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term

Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term 1 Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term Enrico Priola Torino (Italy) Joint work with G. Da Prato, F. Flandoli and M. Röckner Stochastic Processes

More information

CIMPA Summer School on Current Research on Finite Element Method Lecture 1. IIT Bombay. Introduction to feedback stabilization

CIMPA Summer School on Current Research on Finite Element Method Lecture 1. IIT Bombay. Introduction to feedback stabilization 1/51 CIMPA Summer School on Current Research on Finite Element Method Lecture 1 IIT Bombay July 6 July 17, 215 Introduction to feedback stabilization Jean-Pierre Raymond Institut de Mathématiques de Toulouse

More information

MATH4406 (Control Theory) Unit 6: The Linear Quadratic Regulator (LQR) and Model Predictive Control (MPC) Prepared by Yoni Nazarathy, Artem

MATH4406 (Control Theory) Unit 6: The Linear Quadratic Regulator (LQR) and Model Predictive Control (MPC) Prepared by Yoni Nazarathy, Artem MATH4406 (Control Theory) Unit 6: The Linear Quadratic Regulator (LQR) and Model Predictive Control (MPC) Prepared by Yoni Nazarathy, Artem Pulemotov, September 12, 2012 Unit Outline Goal 1: Outline linear

More information

On the Stabilization of Neutrally Stable Linear Discrete Time Systems

On the Stabilization of Neutrally Stable Linear Discrete Time Systems TWCCC Texas Wisconsin California Control Consortium Technical report number 2017 01 On the Stabilization of Neutrally Stable Linear Discrete Time Systems Travis J. Arnold and James B. Rawlings Department

More information

A Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1

A Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1 A Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1 Ali Jadbabaie, Claudio De Persis, and Tae-Woong Yoon 2 Department of Electrical Engineering

More information

EL2520 Control Theory and Practice

EL2520 Control Theory and Practice EL2520 Control Theory and Practice Lecture 8: Linear quadratic control Mikael Johansson School of Electrical Engineering KTH, Stockholm, Sweden Linear quadratic control Allows to compute the controller

More information

Mathematical foundations - linear algebra

Mathematical foundations - linear algebra Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar

More information

Nonlinear error dynamics for cycled data assimilation methods

Nonlinear error dynamics for cycled data assimilation methods Nonlinear error dynamics for cycled data assimilation methods A J F Moodey 1, A S Lawless 1,2, P J van Leeuwen 2, R W E Potthast 1,3 1 Department of Mathematics and Statistics, University of Reading, UK.

More information

Stabilization of second order evolution equations with unbounded feedback with delay

Stabilization of second order evolution equations with unbounded feedback with delay Stabilization of second order evolution equations with unbounded feedback with delay S. Nicaise and J. Valein snicaise,julie.valein@univ-valenciennes.fr Laboratoire LAMAV, Université de Valenciennes et

More information

Math 4263 Homework Set 1

Math 4263 Homework Set 1 Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that

More information

Discrete and continuous dynamic systems

Discrete and continuous dynamic systems Discrete and continuous dynamic systems Bounded input bounded output (BIBO) and asymptotic stability Continuous and discrete time linear time-invariant systems Katalin Hangos University of Pannonia Faculty

More information

Energy-based Swing-up of the Acrobot and Time-optimal Motion

Energy-based Swing-up of the Acrobot and Time-optimal Motion Energy-based Swing-up of the Acrobot and Time-optimal Motion Ravi N. Banavar Systems and Control Engineering Indian Institute of Technology, Bombay Mumbai-476, India Email: banavar@ee.iitb.ac.in Telephone:(91)-(22)

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

More information

Invertibility and stability. Irreducibly diagonally dominant. Invertibility and stability, stronger result. Reducible matrices

Invertibility and stability. Irreducibly diagonally dominant. Invertibility and stability, stronger result. Reducible matrices Geršgorin circles Lecture 8: Outline Chapter 6 + Appendix D: Location and perturbation of eigenvalues Some other results on perturbed eigenvalue problems Chapter 8: Nonnegative matrices Geršgorin s Thm:

More information

Chap. 3. Controlled Systems, Controllability

Chap. 3. Controlled Systems, Controllability Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :

More information

Delay-dependent Stability Analysis for Markovian Jump Systems with Interval Time-varying-delays

Delay-dependent Stability Analysis for Markovian Jump Systems with Interval Time-varying-delays International Journal of Automation and Computing 7(2), May 2010, 224-229 DOI: 10.1007/s11633-010-0224-2 Delay-dependent Stability Analysis for Markovian Jump Systems with Interval Time-varying-delays

More information