Anda di halaman 1dari 28

Linear Systems (ME5401/EE5101) Lecturers: A/Prof. C. J. Ong Rm: EA-05-27 Tel : 6516-2217 Email: mpeongcj@nus.edu.

sg Meeting Time: Meeting Place: LT3 References : Prof. Q.G. Wang Rm: E1-08-15 Tel: 6516-2282 Email: elewqg@nus.edu.sg 6:00pm to 8:50pm

Tuesday

1.

Linear System Theory and Design by C.T.Chen. 3rd Edition, Published by Oxford University Press 1999. Linear Systems by T. Kailath. Published by Prentice Hall 1980. Modern Control Theory by W.Brogan, 3rd Edition, Prentice-Hall, 1991. Fundamental of State Space Linear Systems, by John Bay, First Edition, McGraw Hill, 1999. Modern Control Engineering by K.Ogata, 2nd Edition. Published by Prentice Hall. 1990 Control System Design by B.Friedland. Published by McGraw Hill 1987.

2. 3.

4.

5.

6.

Outline of course :

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

Introduction to Linear Control System Review of Linear Algebra State-space solutions and properties Controllability and Observability Canonical Forms and Realizations Stability Pole Placement Quadratic Optimal Control Decoupling Control State Estimation Servo Control

Additional Requirement:

Project.

(25%)

Journals on Control Systems 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. ASME Journal of Dynamic Systems, Measurement and Control. IEEE Transactions on Automatic Control AIAA Journal of Guidance, Control and Dynamics IEEE Transactions on Control Systems Technology Automatica Control Theory and Practice IEEE Control System Magazine International Journal of Control Control Theory and Advanced Technology IEEE Transactions on Robotics and Automation Journal of Robotic Systems International Journal of Robotic Research International Journal of Robotics and Automation Robotica Robotics and Autonomous Sytems IEEE Robotics and Automation magazine. Systems and Control Letters SIAM Journal on Control and Optimization

Chapter 1. Introduction to Linear Control Systems

1.1 Review of Classical Control Systems Definition: A Control System is a system in which some physical quantities are controlled by regulating certain energy inputs. A system is a group of physical components assemblied to perform a specific function. It may be electrical, mechanical, thermal, biomedical, chemical, pneumatic or any combination of the the above. A physical quantity may be temperature, pressure, electrical voltage, mechanical position or velocity, liquid level, etc.

Some applications of automatic control

Space vehicle systems Missile Guidance Systems Aircraft autopilot systems Robotic systems Weapon control systems Power systems Home appliances: aircons, refrigerators, dryers, microwave ovens etc. Automatic assembly line Chemical processes controlling pressures, temperature,humidity, pH values, etc. Manufacturing systems CNC machines, machine tool control, EDM control, etc Quality control and Inspection of manufactured parts

The following are some of the features of Classical Control Theory:

1. 2.

It uses extensively the Laplace operator in the description of a system. It is based on input/output relationship called transfer function. In computing the transfer function of a system, all initial conditions are set to zero. It was primarily developed for single-input-single-output systems, although extension to multi-input and multi-output is now possible. It can only describe linear time-invariant differential equation systems. Based on methods like frequency response, root locus etc. Its formulation is not very well suited for digital computer simulation.

3.

4. 5. 6.

The following are some of the features of Modern Control Theory 1. Uses the time domain representation of the system known as the state space representation. Can be used to describe multi-input-multi-output systems. Extensions to linear time varying, nonlinear and distributed systems are easy and straight forward. The formulation incorporates initial conditions into descriptions. It is based on time domain approach and is therefore, very well suited for computer simulations. Provides a complete description of the system.

2.

3. 4.

5.

Open-loop control systems Typically represented in block diagram form


Reference (input) Controller Actuating signal Controlled process Controlled variable (output)

Figure 1.1 Output has no effect on the control action. Examples: washing machine, traffic lights, microwave oven, dryers, toasters, etc. Closed-loop control systems Typically represented as:
Reference (input) + Error signal Controller Actuating signal Controlled process Controlled variable (output)

Sensed output Sensors

Figure 1.2 Actuating signal, and hence output, depends on the input and the current state of the output. Examples are servo controlled motor, missile, robots etc.

Laplace transformation
6

Given a function f(t) where t 0. Let s be the complex variable defined as s = + j where , are variables. Then the Laplace transform of f(t), denoted as F(s), is F(s) = L[f(t)] =
- st 0 f (t )e dt

Existence: The Laplace transform of a function f(t) exists if the integral converges. Properties of Laplace transform 1. L [Af(t)] = A L [f(t)]; where A is a constant.

2. L [A1f1(t) +A2f2(t)] = A1 L [f1(t)] + A2 L [f2(t)]; where A1,A2 are constants.


Transfer Function: Consider the system given by

Input r(t) R(s)


where

G(s) system

Output c(t) C(s)

a0

dn d n 1 d c t a c t a ( ) + ( ) + L L + c(t ) + anc(t ) = 1 1 n dt dt n dt n 1 dm d m 1 d b0 m r (t ) + b1 m 1 r (t ) + LL + bm 1 r (t ) + bm r (t ) dt dt dt

with n m. The transfer function of a linear, time-invariant, differential equation system is defined

C ( s ) L[output ] b0 s m + b1s m1 + b2 s m2 + LL + bm1s + bm = . G(s) = = R( s ) L[input ] a0 s n + a1s n1 + a2 s n2 + LL + an1s + an


In deriving a transfer function, all initial conditions are assumed zero. Other definitions:
7

Proper transfer function: The transfer function G(s) is called proper if n m (i.e. G(s) evaluated at s = is a constant) Strictly proper transfer function: The transfer function G(s) is called strictly proper if n > m (i.e. G(s) evaluated at s = is zero) Improper transfer function: The transfer function G(s) is called improper if n < m (i.e. G(s) evaluated at s = is infinite) Order of a system: The highest power of s in the denominator of the transfer function G(s) is called the order of the system. Poles of a system: The roots of the denominator of the transfer function G(s) are called the poles of the system. Zeros of a system: The roots of the numerator of the transfer function G(s) are called the zeros of the system. e.g.

s 2 + 2s + 2 G(s) = s ( s 2 + 3s + 2)

Here n = 3 and m = 2. So the transfer function G(s) is strictly proper. Order of the system is 3. Poles of the system are s = 0, s = 2 , s = 1. Zeros of the system are s = 1 + j1, s = 1 j1. When is a SISO system stable? Ans: depends on the definition of stability. Simplest answer: all poles have negative real parts.

1.2 The problem with Classical Control


Consider the following system

Figure 1.2.1 where the plant is unstable given by H f ( s ) = to be H C ( s ) =


1 and the compensator is chosen s 1

s 1 . Then, the overall transfer function is given by s +1

Figure 1.2.2

Y ( s) 1 , which is BIBO stable. = H f ( s) H c ( s) = V (s) s +1 Will this work?? If we let x2 (t ) = y (t ) , then from Figure 1.2.1, we have

& 2 (t ) = x2 (t ) + u (t ) . x Similarly, from Figure 1.2.1, we have

(1.2.1)

U (s) s 1 2 = , or U ( s ) = V ( s ) V (s) . V ( s) s + 1 s +1

If we let x1 ( s ) =

2 V ( s) , then s +1
&1 (t ) + x1 (t ) = 2v(t ) . x

(1.2.2)

If we include the initial conditions of (1.2.1) and (1.2.2), it can be shown that

x1 (t ) = x1 (0)e 2 e v(t )d
t 0

and y (t ) = x2 (t ) = e x2 (0) +
t t 1 2 (e

e ) x1 (0) + e v(t )d
t 0

Therefore, because of the term et, unless the initial conditions can be guaranteed to be zero, or x1 (0) = 2 x 2 (0) , the output will grow without bounds! Some further insight into the problem can be obtained by studying the situation in which the two blocks are interchanged. Consider the situation where H c ( s) follows H f ( s) rather than precede it as shown below.

In this case, the overall system

Y (s) 1 is again BIBO stable = H f ( s) H c ( s) = V (s) s +1 and has the same overall transfer function as shown in Figure 1.2.2. In this case, let x1 ( s ) = U ( s) and x2 ( s ) = 2 x1 ( s ) . Then, s +1

y (t ) = x1 (t ) + x 2 (t ) .
By incorporating the initial conditions, it can be shown that x1 (t ) = x1 (0)e t + v(t )e d ,
0 t

x2 (t ) = x2 (0)e t + x1 (0)(e t et ) + e v(t )d e v(t )d


0 0

and
10

y (t ) = ( x1 (0) + x2 (0))e + e v(t )d


t 0

Now the system is stable as far as y(t) goes, even if the initial conditions are nonzero. However the realization is internally unstable because x1 (t ) and x 2 (t ) have terms that will grow as e t , thus after awhile the realization will saturate or burn out. Conclusion: The internal behaviour of a system is more complicated than is indicated by the external behaviour. It was the state equation analysis in the examples that first clarified these and related questions.

11

1.3 Mathematical Descriptions of Systems

Class of systems The class of systems studied in this course has Some input terminals and output terminals. If an excitation or input is applied, a unique response or output can be measured at the output terminals.

Figure 1.3.1 A system with only one input terminal and one output terminal is termed a single-variable system or single-input-single-output (SISO) system. A system with two or more input terminals/or two or more output terminals is called a multivariable system (MIMO) system. Continuous time system A system is called a continuous-time system if it accepts continuous-time signals as its input and generates continuous-time signals as its output. If the input has one terminal, u(t) denotes a scalar quantity, otherwise u(t)=[u1 u2 up]T denotes a p1 vector. Causality and Lumpedness A system is called memoryless system if its output y(t0) depends only on the input applied at t0; it is independent of the input applied before or after t0. Most systems, however, have memory. By this, we mean that y(t0) depends on u(t) for t < t0, t = t0 and t > t0. A system is called causal or nonanticipatory system if its current output depends on past and current inputs but not on future input. If a system is non-causal, then its current output will depend on future input. No
12

physical system has such capability. ( This corresponds to the n < m condition in Classical transfer function representation.) Current output of a causal system is affected by its past inputs. How far back in time will the past input affect the current output? In general, the time should go all the way back to -. However, tracking u(t) for - t t0 is not convenient. The concept of state can deal with this problem.

Definitions: State: The state x(t0) of a system at time t0 is the information at t0 that, together with the input u(t) for t > t0 determines uniquely the output y(t) for all time t > t0. State Variable: The state variables of a dynamical system are the smallest set of variables that determine the state of the system. If at least n variables x1, , xn are needed to completely describe the behavior of a dynamical system, then such n variables are a set of state variables. State Vector: The n state variables can be considered as the elements or components of the n-dimensional vector x(t). Such a vector x(t) is called a state vector. State Space: State space is defined as the n-dimensional space in which the components of the state vector represent its' coordinate axes. State Trajectory: The path produced in the state space by the state vector x(t) as it changes with the passage of time. With the concept of state, it is now easy to track the output of the system as only x(t0) and u(t) for t t0 are needed. A system is said to be lumped if its number of state variables is finite or its state is a finite vector. A system is said to be distributed if its state has infinitely many state variables.

13

1.4 Linear Systems

Based on the above definition of state, let us now denote the triplet {x(t0), u(t) for t t0, y(t) for t t0} as the output y(t) for t t0 using u(t) for t t0 with state x(t0) at time t0. Definition: A system is called a linear system if for every t0 and any pair of state-inputoutput triplets {x1(t0), u1(t) for t t0, y1(t) for t t0} and {x2(t0), u2(t) for t t0, y2(t) for t t0}, we have {x1(t0)+ x2(t0), u1(t)+u2(t) for t t0, y1(t)+ y2(t) for t t0} (additivity) and {x1(t0), u1(t) for t t0, y1(t) for t t0} (homogeneity) The above two properties (additivity and homogeneity) can be combined into one as {1x1(t0)+ 2x2(t0), 1u1(t)+ 2u2(t) for t t0, 1y1(t)+ 2y2(t) for t t0} for any two real constants 1 and 2. (superposition) A system is called a nonlinear system if the superposition property does not hold. If u(t) = 0 for all t t0, the output will be excited exclusively by the initial state x(t0) and is denoted as yzi(t). This output is called the zero-input response and the triplet is denoted as {x(t0), 0, yzi(t) for t t0}. If x(t0) = 0, the output will be excited exclusively by the input and is denoted as yzs(t). This output is called the zero-state response and the triplet is denoted as { 0, u(t) for t t0 , yzs(t) for t t0}.

Using the additivity property, it can be shown that y(t) = yzi(t) + yzs(t). Thus, the response of every linear system can be decomposed into the zero-state response and the zero-input response. These two responses can be studied separately and their sum yields the complete response.

14

Input-Output Description We now develop a mathematical equation to describe the zero-state response of a linear system. Assume that the initial state is zero and consider a SISO system. Let (t-t1) be the pulse function as shown in Figure below

t1 t1 +

Figure 1.4.1 where the pulse is of width and height 1/ located at time t1. Thus,

(t t1) =1 for t1 t t1+, and (t t1) = 0 for all other t.


and
as shown in Figure 1.4.2. u (t ) u (ti ) (t ti )
i

(1.4.1)

Let g(t, ti) be the output at time t excited by the pulse u(t)= (t ti) applied at time ti. Then, by linearity we have Input ( t ti) ( t ti) u(ti) i ( t ti) u(ti)
15

Output g ( t, t i ) g ( t, ti ) u(ti) (homogeneity) i g ( t, ti ) u(ti) (additivity)

Thus, the output y(t) excited by the input u(t) can be approximated by y (t ) = g (t , ti )u (ti )
i

(1.4.2)

Let 0, and denote lim0 (t ti) as (t ti), and lim0 g ( t, ti ) as g( t, ti ). Then approximation (1.4.1) becomes an equality, the summation of (1.4.2) becomes an integration, the discrete ti becomes a continuum, denoted by and (1.4.2) becomes y (t ) =

g (t , )u ( )d

(1.4.3)

g( t, ) refers to the output observed at time t due to impulse applied at time and hence, is referred to as the impulse response.

By causality, g( t, ) = 0 for all t < . This implies that the upper limit of the integral of (1.4.3) becomes t. A system is said to be relaxed at t0 if its initial states at t0 is 0. In this case, the output y(t) for t t0 is excited exclusively by the input u(t) for t t0. Hence, for a relaxed causal system, (1.4.3) becomes y (t ) = g (t , )u ( )d
t0 t

(1.4.4)

The condition of lumpedness is not used in the above derivation. Hence, any lumped or distributed linear system has such an input-output description. If a linear system has p input terminals and q output terminals, then (1.4.4) can be extended to
16

y (t ) = G (t , )u ( )d
t0

where

g11 (t , ) g12 (t , ) L g1 p (t , ) g (t , ) g (t , ) L g (t , ) 21 22 2p G (t , ) = M M M g q1 (t , ) g q 2 (t , ) L g qp (t , ) where g ij (t , ) is the response at time t at the ith output due to an impulse applied at time on the jth input. G(t, ) is known as the impulse response matrix of the system.

17

State-space description Every linear lumped system can be described by a set of equation of the form
& (t ) = A(t ) x(t ) + B (t )u (t ) x y (t ) = C (t ) x(t ) + D(t )u (t )

(1.4.5) (1.4.6)

where the overdot denotes differentiation with respect to time t, and

A(t ) R n n , B(t ) R n p , C (t ) R q n , D(t ) R q p and


x R n1 , u R p 1 .
Here, the system consists of two sets of equations, collectively known as the state-space equation. The first (1.4.5) is a set of n first-order differential equations with p inputs. The second set of equation (1.4.6) consists of q algebraic equations relating the state x(t) and input u(t) to the output y(t). Linear Time-Invariant (LTI) systems A system is said to be time invariant if for every triplet {x(t0), u(t) for t t0, y(t) for t t0} and any scalar T, y(t) = ( t T ) where is the solution of the same system with initial state x(t0) at time t0+T and input u(tT) for t t0+T.

Hence, for LTI system, the output is the same no matter when the input is applied as long as the initial state and the input are the same. Without loss of generality, t0 is chosen to be 0. If the system is time-invariant, then the impulse function g(t,) is g (t , ) = g (t + T , + T ) and for any T. In particular, if T= , g (t + T , + T ) = g (t , 0) = g (t ) The equation (1.4.4) then becomes

18

y (t ) = g (t )u ( )d = g ( )u (t )d
0 0

(1.4.7)

Unlike the time-varying case where g is a function of two variables, g is now a function of a single variable. The integration above is known as the convolution integral, used extensively in Classical control system analysis. The result of (1.4.7) can be easily extended to the MIMO case in which the Impulse matrix is G(t).

State-space equation From (1.4.5) and (1.4.6), if A(t ), B(t ), C (t ), D(t ) are not function of time, then the state-space system describes a linear time-invariant system given by

& (t ) = Ax(t ) + Bu (t ) x y (t ) = Cx(t ) + Du (t )

(1.4.8) (1.4.9)

where again A R n n , B R n p , C R q n , D R q p and x R n1 , u R p 1 . Nonlinear System Most physical systems are nonlinear and time varying and some of them can be described by nonlinear differential equation of the general form

f1 ( x, u , t ) & = f ( x, u , t ) = x M f n ( x, u , t ) y = h ( x, u , t )

(1.4.10)

where f and h are nonlinear functions. The behavior of system described by such equations can be very complicated. Some nonlinear systems can be approximated by linear equations under certain conditions.

19

Suppose for some input function u0(t) and some initial states, x0(t) is the solution of (1.4.10). Then

&0 (t ) = f ( x0 (t ), u0 (t ), t ) x
Suppose the input is perturbed slightly to become u0(t)+u(t) and the initial state is also perturbed only slightly in the form of x0(t)+x(t). Then we can linearize the above equation about (u0(t), x0(t) ) using Taylors series expansion.
&0 + x & = f ( x0 (t ) + x(t ), u0 (t ) + u (t ), t ) x = f ( x0 (t ), u0 (t ), t ) +

f x

x+
x 0 ( t ), u 0 ( t )

f u

u +L
x 0 ( t ), u 0 ( t )

If we neglect higher order terms, we have

&= x
This is of the form

f x

x+
x 0 ( t ), u 0 ( t )

f u

u
x 0 ( t ), u 0 ( t )

& = A(t ) x + B(t ) u x


with A(t), B(t) given by
f1 x 1 f2 = x1 M f n x1

A(t) =

f x

x0 (t ), u 0 (t )

M fn x2

f1 f1 L x2 xn f2 L xn
O

fn L xn x

0 (t ), u 0 (t )

and

20

B(t) =

f u

x0 (t ), u 0 (t )

f1 u 1 f2 = u1 Mf n u1

f1 f1 L u2 up f2 M M up
M fn u2 M fn L up M

x0 (t ), u 0 (t )

The non-linear output equation


y0 (t ) = h( x0 (t ), u0 (t ), t )

can be similarly linearized to give the approximate output

y (t ) = C (t ) x + D(t ) u
with

y (t ) = y (t ) y0 (t )
h1 x 1 h2 = x1 M h q x1

C(t) =

h x x0 (t ), u 0 (t )

h1 h1 L x2 xn h2 L xn
M hq O

x2

hq L xn x0 (t ), u 0 (t )

and
h1 u 1 h2 = u1 M hq u1

D(t) =

h u x

h1 h1 L u2 up h2 M M up
M hq

0 (t ), u 0 (t )

u2

M hq L up M

x0 (t ), u 0 (t )

21

Examples of LTI system: Example 1. Mass-Spring-Damper System

From Newtons laws, we have


dz (t ) d 2 z (t ) m = f (t ) b kz (t ) 2 dt dt

Choose

x1 = z & x2 = z

then

&1 = z & = x2 x &2 = & & = m 1 ( f (t ) bx2 kx1 ) x z

i.e.

&1 = x2 x k b 1 & 2 = x1 x2 + f x m m m

or, in matrix form

&1 0 x x = k &2 m

1 x 0 b 1 + 1 f x2 m m

If we are interested in finding the position of the mass, then the output y(t) is x y (t ) = [1 0] 1 x2

22

More compactly we can write,

x(t ) = Ax(t ) + Bu (t ) y (t ) = Cx(t ) + Du (t ) where 0 A= k m 1 0 b ; B = 1 ; C = [1 0]; D = 0. m m

If we are interested in the force acting on the spring, then the output y(t) will become y (t ) = kx1 = [k x 0] 1 + 0. f x2

If we are interested in both the force acting on the dashpot as well as the force acting on the spring, then the output becomes y (t ) 0 b x1 y(t ) = 1 = x + 0. f y ( t ) k 0 2 2 or if we want to know about the restoring forces acting on the mass, then the output is y (t ) = [k x b ] 1 + 0. f x2

23

Example 2 : Electrical Circuit

Let x1(t) be the voltage across the capacitor x2(t) be the current in the circuit. By Kirchoffs law, we have v(t ) = R x2 (t ) + L 1 &1 (t ) = x2 (t ) x c dx2 (t ) + x1 (t ) dt

Rearranging, we have
&1 0 x = 1 &2 x L 1 x 0 c 1 + 1 v R x 2 L L

Suppose we are interested in the voltage of the inductor, then let y(t) denote the output variable, we have y (t ) = L dx2 (t ) 1 R 1 & 2 = L( x1 x2 ) + L v = Lx dt L L L = x1 Rx2 + v or

x1 y (t ) = [ 1 R ] + v x2

24

If we denote the voltage across the resistor as x3, then x3=Rx2. equations can also be written in terms of x1 and x3 as 1 1 &1 (t ) = x2 (t ) = x x3 (t ) c cR
& 2 (t ) = x or R 1 1 1 &3 (t ) = x1 x2 + v x R L L L

The state

R R2 1 R &3 (t ) = x1 x x3 + v . L L R L

Expressed in matrix form, we have

&1 0 x = &3 x R L

1 x 0 cR 1 + R v R x 3 L L

Suppose we are still interested in the voltage across the inductor, we see that y (t ) = L dx2 (t ) L L R R &3 = ( x1 x3 ) + v = x dt R R L L

= x1 x3 + v
x1 y (t ) = [ 1 1] + v x3

25

Example 3: DC Motor

On the electrical side, by KVL, e(t) R i(t)= vb (KVL) (Torque-current relation) (back emf)

(t) = ki i(t)
vb(t) = k2 (t)

On the mechanical side, using Newtons law

=J
Hence, we have,

d dt

d 1 = k i i = k i (e v b ) dt R d k i J = (e k 2 ) dt R
ki k 2 k + i e R R kk k & = i 2+ i e JR JR & = J

Since =

d , we have dt

& =
& = ki k 2 k + i e JR JR
26

or 1 0 & 0 = k i k 2 + k i e 0 & JR JR Example 4: Quarter Car Model

Let v1(t) = velocity of the mass


u(t) = velocity of the road profile x1(t) = displacement of spring

Then,

&1 = v1 u x
&1 = kx1 bx &1 = kx1 b(v1 u ) mv

Hence, we have
&1 = v1 u x &1 = v k b b x1 v1 u m m m

or
&1 0 x = k &1 m v

1 x 1 1 b + b u v m 1 m

Suppose we are interested in the forces in the spring, then


27

y = [k

x1 0] v1

Suppose we are interested in the velocity of the car, then we can choose the output equation as x1 y = [0 1] v1 The above examples illustrate that the choice of the state variables may not be obvious and some particular choice maybe more insightful than others. In fact, state-space models are not unique! If there is one state-space model of a system, there is an infinite number of representations. More on this later.

28