26
Control Systems I Lecture 4: Diagonalization, Modal Analysis, Intro to Feedback Readings: Emilio Frazzoli Institute for Dynamic Systems and Control D-MAVT ETH Z¨ urich October 13, 2017 E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 1 / 26

Control Systems I - ETH Z

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Control Systems I - ETH Z

Control Systems I

Lecture 4: Diagonalization, Modal Analysis, Intro to Feedback

Readings:

Emilio Frazzoli

Institute for Dynamic Systems and Control

D-MAVT

ETH Zurich

October 13, 2017

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 1 / 26

Page 2: Control Systems I - ETH Z

Tentative schedule

# Date Topic

1 Sept. 22 Introduction, Signals and Systems

2 Sept. 29 Modeling, Linearization

3 Oct. 6 Analysis 1: Time response, Stability

4 Oct. 13 Analysis 2: Diagonalization, Modal coordi-

nates.

5 Oct. 20 Transfer functions 1: Definition and properties

6 Oct. 27 Transfer functions 2: Poles and Zeros

7 Nov. 3 Analysis of feedback systems: internal stability,

root locus

8 Nov. 10 Frequency response

9 Nov. 17 Analysis of feedback systems 2: the Nyquist

condition

10 Nov. 24 Specifications for feedback systems

11 Dec. 1 Loop Shaping

12 Dec. 8 PID control

13 Dec. 15 Implementation issues

14 Dec. 22 Robustness

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 2 / 26

Page 3: Control Systems I - ETH Z

Recap of the previous lecture

LTI system:

x(t) = Ax(t) + Bu(t),

y(t) = Cx(t) + Du(t).

Time response:

x(t) = eAtx0 +

Z t

0

eA(t�⌧)Bu(⌧) d⌧,

y(t) = CeAtx0 + C

Z t

0

eA(t�⌧)Bu(⌧) d⌧ + Du(t).

Easy to compute if the matrix A is diagonal, in which case:

xi (t) = e�i tx0,i +

Z t

0

e�i (t�⌧)biu(⌧) d⌧,

y(t) =nX

i=1

cixi (t) + Du(t).

The eigenvalues of A, �i , can be real or complex-conjugate, giving rise to simple

exponentials, or oscillations with exponentially changing magnitude, respectively.

Asymptotically stable if Re(�i ) < 0 for all i .

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 3 / 26

Page 4: Control Systems I - ETH Z

Today’s learning objectives

After today’s lecture, you should be able to:

Diagonalize a matrix using similarity transformations.

Describe the behavior of an LTI system in modal coordinates.

Understand concepts like controllability and observability.

Understand the basic e↵ects of feedback control on the closed-loop dynamics.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 4 / 26

Page 5: Control Systems I - ETH Z

Similarity Transformations

The choice of a state-space model for a given system is not unique.

For example, let T be an invertible matrix, and consider a coordinatetranspormation x = Tx , i.e., x = T�1x . This is called a similaritytransformation.

The standard state-space model can be written as

⇢x = Ax + Bu,y = Cx + Du.

)⇢

T ˙x = ATx + Bu,y = CT x + Du.

i.e.,

˙x = (T�1AT )x + (T�1B)u = Ax + Bu

y = (CT )x + Du = C x + Du.

You can check that the time response is exactly the same for the two models(A,B ,C ,D) and (A, B , C , D)!

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 5 / 26

Page 6: Control Systems I - ETH Z

Diagonalization

Let �i , vi be respectively an eigenvalue and an eigenvector of A, i.e.,

Avi = �ivi .

Now assume we have n (=dim. of x and A) independent eigenvectors; thenwe can assemble the eigenvectors into an invertible matrix V whose columnsare the eigenvectors vi . Then

AV = A

2

4 v1 v2 . . . vn

3

5 =

2

4 �1v1 �2v2 . . . �nvn

3

5 = V⇤.

In other words, if a square matrix A has a full set of independenteigenvectors, then it is diagonalizable (and vice-versa), with the similaritytransformation given by a matrix whose columns are the eigenvectors.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 6 / 26

Page 7: Control Systems I - ETH Z

Modal decomposition

The entries in the diagonal matrix A = ⇤ are the eigenvalues �1, . . . ,�n ofthe matrix A.

Since x(t) = eAt x(0), we get that each component of the homogeneoussolution is given by

xi (t) = e�i t xi (0).

Furthermore, if x(0) = vi for some i = 1, . . . , n, then by the definition ofmatrix exponential and eigenvalues/eigenvectors

x(t) = eAtvi = e�i tvi .

If the eigenvectors vi , i = 1, . . . , n form a basis, then we can always expressany initial condition as a linear combination of eigenvectors, i.e.,x(0) = V x(0), with x0 = V�1x0 , and write

x(t) =nX

i=1

e�i t xi (0) vi .

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 7 / 26

Page 8: Control Systems I - ETH Z

Modal coordinates

Eigenvalues and eigenvectors of A define the modes of the system; thetransformed coordinates x = Vx are also called the modal coordinates.

The eigenvector vi defines the shape of the i-th mode;

The modal coordinate xi scales the mode (e.g., at the initial condition);

The eigenvalue �i defines how the amplitude of the mode evolves over time.

1 As an exponential e�i tx0 for real �i

2 As an sinusoid with exponentially changing amplitude e�tsin(!it + �0)x0 for

complex-conjugate �i = �i + j!i .

3 As polynomially-scaled versions of the above tpe�i t for repeated �i .

The amplitude of the i mode goes to zero as t increases if and only if

Re(�i ) < 0.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 8 / 26

Page 9: Control Systems I - ETH Z

Example: Simple Pendulum

Recall the model for a simple pendulum, assuming no damping (and noinput/output for now):

x =

0 1

�g/l 0

�x

Eigenvalues are solutions of the characteristic equation:

det(�I � A) = det

� �1g/l �

�= �2 + g/l = 0,

i.e.,

�1,2 = ±j

rg

l.

Eigenvectors are obtained as solutions of (�I � A)v = 0, e.g.,

v1,2 =

1

±jp g

l

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 9 / 26

Page 10: Control Systems I - ETH Z

Pendulum mode shape

Assume x(0) = (1, 0), i.e., x(0) = (1/2, 1/2).

Re

Im

after time t:multiply by e�i t

Re

Im

Combining the two modes, we get

x1(t) = cos!t,

x2(t) = �! sin!t.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 10 / 26

Page 11: Control Systems I - ETH Z

Cartesian vs. polar form of complex numbers

Complex numbers can be represented in basically two ways:

Cartesian form: z = a+ jb

Polar form: z = |z |e j\z

In the above formulas, |z | =pa2 + b2, and \z = arctan(b/a)

(arctan understood as the four-quadrant version).

The Cartesian form makes addition easy:

(a1 + jb1) + (a2 + jb2) = a1 + a2 + j(b1 + b2)

The polar form makes multiplication easy:

m1ej�1 ·m2e

j�2 = (m1 +m2)ej(�1+�2)

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 11 / 26

Page 12: Control Systems I - ETH Z

General evolution for complex-conjugate modes

Re

Im

after time t:multiply by e�i t

Re

Im

Combining the two modes, we get

x1(t) = c1e�t sin(!t + �1,

x2(t) = c2e�t sin(!t + �2).

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 12 / 26

Page 13: Control Systems I - ETH Z

Towards feedback control

So far we have looked at how a given system, represented as a state-spacemodel or as a transfer function, behaves given a certain input (and/or initialcondition).

Typically the system behavior may not be satisfactory (e.g., because it isunstable, or too slow, or too fast, or it oscillates too much, etc.), and onemay want to change it. This can only be done by feedback control!

However, we need to understand to what extent we can change the systembehavior. More precisely, for control design, one must also understand

how the control input can a↵ect the state of the system;

how the state of the system a↵ects the output.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 13 / 26

Page 14: Control Systems I - ETH Z

Controllability and Observability

An LTI system of the form x = Ax + Bu is said to be controllable if for anygiven initial state x(0) = xc there exists a control signal that takes the stateto the origin x(t) = 0 for some finite time t.

An LTI system of the form x = Ax + Bu, y = Cx + Du is said to beobservable if any given initial condition x(0) = xo can be reconstructedbased on the knowledge of the input and output signal only, over a finite timeinterval [0, t].

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 14 / 26

Page 15: Control Systems I - ETH Z

Intuition from the Modal Form

Recall that if the matrix A has a complete set of independent (right)eigenvectors {v1, . . . , vn}, with eigenvalues {�1, . . . ,�n} it can bediagonalized by the matrix T =

⇥v1 v2 . . . vn

⇤.

The transformed state in the diagonalized system is such that x = Tx .

The transformed model is (A, B , C , D) = (T�1AT ,T�1B ,CT ,D).

Component-wise, the dynamics of each modal coordinate xi are given by

d

dtxi (t) = �i xi (t) + biu(t), i = 1, . . . , n.

The output is given by

y = c1x1(t) + c2x2(t) + . . .+ cnxn(t) + Du(t).

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 15 / 26

Page 16: Control Systems I - ETH Z

Controllability/observability for diagonal systems

From the previous slide, we can deduce

The i-th coordinate can be controlled if and only if bi 6= 0.

The i-th coordinate appears in the output if and only if ci 6= 0.

Hence:

An LTI system in diagonal form is controllable if bi 6= 0, i = 1, . . . , n.

An LTI system in diagonal form is observable if ci 6= 0, i = 1, . . . , n.

An LTI system is stabilizable if all unstable modes are controllable.

An LTI system is detectable if all unstable modes are observable.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 16 / 26

Page 17: Control Systems I - ETH Z

An example

A =

2

664

1.618j�1.618j

0.618j�0.618j

3

775 , B =

2

664

0.4472j�0.4472j0.44720.4472

3

775

C =⇥0.276j �0.276j 0.724 0.724

⇤, D = [0].

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 17 / 26

Page 18: Control Systems I - ETH Z

An example

A =

2

664

j�j

j�j

3

775 , B =

2

664

0.707j�0.707j

00

3

775

C =⇥0 0 0.707 0.707

⇤, D = [0].

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 18 / 26

Page 19: Control Systems I - ETH Z

More general conditions

Consider the derivatives of the output:

y(0) = Cx(0), y 0(0) = CAx(0), y 00(0) = CA2x(0), . . .

One can reconstruct x(0), i.e., the system is observable, as long as theobservability matrix 2

66664

CCACA2

. . .CAn�1

3

77775

has full rank.Note that it is su�cient to compute the observability matrix only up to thepower n � 1 of A (Cayley-Hamilton theorem).A similar condition can be obtained for controllability, with a somewhat morecomplicated proof: a system is controllable if the controllability matrix

⇥B AB A2B . . . An�1B

has full rank.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 19 / 26

Page 20: Control Systems I - ETH Z

Pole placement — first order systems

Consider a first-order control system with dynamics x = ax + bu, and assumethat we are not happy about its behavior (e.g., it is unstable since a > 0, ormaybe stable but “slow” because |a| is small).

Can we change the behavior by choosing u in a clever way?

Feedback control: choose u = �kx ; then the dynamics would become

x = (a� bk)x

As long as b 6= 0 (i.e., if the system is controllable), by choosingk = (a� a⇤)/b, we can place the ”closed-loop” eigenvalue at a desired valuea⇤, or anywhere we want on the real axis!

This is the simplest example of a general technique called “pole placement”.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 20 / 26

Page 21: Control Systems I - ETH Z

Example

Assume x = 0.5x + u, i.e., the system is unstable with time constant 2.

We would like the system to be stable, with time constant 1/2.

Choose u = �(0.5 + 2)x = �2.5x ; the closed loop will be x = �2x asdesired.

t

open-loop

closed-loop

u

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 21 / 26

Page 22: Control Systems I - ETH Z

E↵ect on feedback for closed-loop dynamics

If we have an open-loop LTI system

x(t) = Ax(t) + Bu(t),

y(t) = Cx(t),

by choosing a linear feedback u = �ky = �kCx , we can transform it intoanother, closed-lopp LTI system:

x(t) = (A� BkC )x(t),

y(t) = Cx(t),

In general “negative feedback” (i.e., u = �ky ) has “stabilizing” e↵ects, andthe bigger k , the faster the closed-loop system is, and the smaller the errorsare.However this is not generally the case.In the rest of the course, we will look at ways to analyze the behavior of theclosed-loop system, and choosing the feedback control law, withoutnecessarily lots of computation — but rather using primarily “graphical”methods.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 22 / 26

Page 23: Control Systems I - ETH Z

Examples

x(t) = 0.5x(t) + u(t),

y(t) = x(t),

-5 -4 -3 -2 -1 0 1-0.3

-0.2

-0.1

0

0.1

0.2

0.3Root Locus

Real Axis (seconds-1)

Imag

inar

y Ax

is (s

econ

ds-1

)

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 23 / 26

Page 24: Control Systems I - ETH Z

Examples

x(t) =

1 1�1 1

�x(t) +

01.5

�u(t),

y(t) =⇥1.34 0.67

⇤x(t),

-7 -6 -5 -4 -3 -2 -1 0 1 2-2.5

-2

-1.5

-1

-0.5

0

0.5

1

1.5

2

2.5Root Locus

Real Axis (seconds-1)

Imag

inar

y Ax

is (s

econ

ds-1

)

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 24 / 26

Page 25: Control Systems I - ETH Z

Examples

x(t) =

2

4�1 1 0�1 �1 10 0 �2

3

5 x(t) +

2

4005

3

5 u(t),

y(t) =⇥1 0 0

⇤x(t),

-6 -5 -4 -3 -2 -1 0 1-4

-3

-2

-1

0

1

2

3

4Root Locus

Real Axis (seconds-1)

Imag

inar

y Ax

is (s

econ

ds-1

)

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 25 / 26

Page 26: Control Systems I - ETH Z

Today’s learning objectives

After today’s lecture, you should be able to:

Diagonalize a matrix using similarity transformations.

Describe the behavior of an LTI system in modal coordinates.

Understand concepts like controllability and observability.

Understand the basic e↵ects of feedback control on the closed-loop dynamics.

E. Frazzoli (ETH) Lecture 4: Control Systems I 13/10/2017 26 / 26