Topic # /31 Feedback Control Systems

Similar documents
Control Systems I. Lecture 4: Diagonalization, Modal Analysis, Intro to Feedback. Readings: Emilio Frazzoli

Module 09 From s-domain to time-domain From ODEs, TFs to State-Space Modern Control

MTH 464: Computational Linear Algebra

Modal Decomposition and the Time-Domain Response of Linear Systems 1

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors

Introduction to Modern Control MT 2016

Identification Methods for Structural Systems

EE263: Introduction to Linear Dynamical Systems Review Session 5

Module 03 Linear Systems Theory: Necessary Background

Control Systems I. Lecture 6: Poles and Zeros. Readings: Emilio Frazzoli. Institute for Dynamic Systems and Control D-MAVT ETH Zürich

Control Systems I. Lecture 5: Transfer Functions. Readings: Emilio Frazzoli. Institute for Dynamic Systems and Control D-MAVT ETH Zürich

ẋ n = f n (x 1,...,x n,u 1,...,u m ) (5) y 1 = g 1 (x 1,...,x n,u 1,...,u m ) (6) y p = g p (x 1,...,x n,u 1,...,u m ) (7)

21 Linear State-Space Representations

22.2. Applications of Eigenvalues and Eigenvectors. Introduction. Prerequisites. Learning Outcomes

State will have dimension 5. One possible choice is given by y and its derivatives up to y (4)

ECEN 605 LINEAR SYSTEMS. Lecture 7 Solution of State Equations 1/77

and let s calculate the image of some vectors under the transformation T.

Eigenvalues and Eigenvectors

Examples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling

Homogeneous and particular LTI solutions

Control Systems. Dynamic response in the time domain. L. Lanari

Diagonalization. P. Danziger. u B = A 1. B u S.

Modes and Roots ... mx + bx + kx = 0. (2)

CONTROL DESIGN FOR SET POINT TRACKING

1. The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ = Ax + Bu is

Module 07 Controllability and Controller Design of Dynamical LTI Systems

Section 8.2 : Homogeneous Linear Systems

Eigenvalues, Eigenvectors. Eigenvalues and eigenvector will be fundamentally related to the nature of the solutions of state space systems.

Control Systems. Laplace domain analysis

Dynamic interpretation of eigenvectors

6.241 Dynamic Systems and Control

9.6: Matrix Exponential, Repeated Eigenvalues. Ex.: A = x 1 (t) = e t 2 F.M.: If we set

EE263: Introduction to Linear Dynamical Systems Review Session 6

Linear Systems. Chapter Basic Definitions

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

Math Ordinary Differential Equations

Generalized Eigenvectors and Jordan Form

Matrix Solutions to Linear Systems of ODEs

Lecture 2 and 3: Controllability of DT-LTI systems

1 Continuous-time Systems

Problem 2 (Gaussian Elimination, Fundamental Spaces, Least Squares, Minimum Norm) Consider the following linear algebraic system of equations:

ELEC 3035, Lecture 3: Autonomous systems Ivan Markovsky

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science : Dynamic Systems Spring 2011

Topic # Feedback Control

Intro. Computer Control Systems: F8

2.004 Dynamics and Control II Spring 2008

Systems of Linear Differential Equations Chapter 7

SOLVING DIFFERENTIAL EQUATIONS. Amir Asif. Department of Computer Science and Engineering York University, Toronto, ON M3J1P3

Linear Algebra and ODEs review

π 1 = tr(a), π n = ( 1) n det(a). In particular, when n = 2 one has

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

Autonomous system = system without inputs

16.30/31, Fall 2010 Recitation # 13

Remark By definition, an eigenvector must be a nonzero vector, but eigenvalue could be zero.

EEE582 Homework Problems

Linear dynamical systems with inputs & outputs

Advanced Control Theory

Jordan Canonical Form Homework Solutions

Exam in TMA4110 Calculus 3, June 2013 Solution

1 (30 pts) Dominant Pole

Differential equations

A = 3 1. We conclude that the algebraic multiplicity of the eigenvalues are both one, that is,

Chap 4. State-Space Solutions and

NOTES ON LINEAR ODES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science : Dynamic Systems Spring 2011

ME Fall 2001, Fall 2002, Spring I/O Stability. Preliminaries: Vector and function norms

16.31 Fall 2005 Lecture Presentation Mon 31-Oct-05 ver 1.1

Linear System Theory

Linear System Theory

Eigenpairs and Diagonalizability Math 401, Spring 2010, Professor David Levermore

LS.2 Homogeneous Linear Systems with Constant Coefficients

Linear Algebra- Final Exam Review

Control Systems. Frequency domain analysis. L. Lanari

Reduction to the associated homogeneous system via a particular solution

Matrices and Linear transformations

CAAM 335 Matrix Analysis

Part II Problems and Solutions

Solutions to Math 53 Math 53 Practice Final

Understanding the Matrix Exponential

Spring 2019 Exam 2 3/27/19 Time Limit: / Problem Points Score. Total: 280

Solution: In standard form (i.e. y + P (t)y = Q(t)) we have y t y = cos(t)

Eigenvalues, Eigenvectors, and Diagonalization

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

University of Toronto Department of Electrical and Computer Engineering ECE410F Control Systems Problem Set #3 Solutions = Q o = CA.

Homogeneous Linear Systems of Differential Equations with Constant Coefficients

Perspective. ECE 3640 Lecture 11 State-Space Analysis. To learn about state-space analysis for continuous and discrete-time. Objective: systems

DIAGONALIZATION. In order to see the implications of this definition, let us consider the following example Example 1. Consider the matrix

Solution via Laplace transform and matrix exponential

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Mechanical Engineering 2.04A Systems and Controls Spring 2013

Section 9.8 Higher Order Linear Equations

Symmetric and anti symmetric matrices

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Module 08 Observability and State Estimator Design of Dynamical LTI Systems

1. In this problem, if the statement is always true, circle T; otherwise, circle F.

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

Remark 1 By definition, an eigenvector must be a nonzero vector, but eigenvalue could be zero.

APPPHYS 217 Tuesday 6 April 2010

Study Guide for Linear Algebra Exam 2

Math 3191 Applied Linear Algebra

Transcription:

Topic #7 16.30/31 Feedback Control Systems State-Space Systems What are the basic properties of a state-space model, and how do we analyze these? Time Domain Interpretations System Modes

Fall 2010 16.30/31 7 1 Time Response Can develop a lot of insight into the system response and how it is modeled by computing the time response x(t) Homogeneous part Forced solution Homogeneous Part Take Laplace transform so that But can show ẋ = Ax, x(0) known X(s) = (si A) 1 x(0) x(t) = L 1 (si A) 1 x(0) I A A 2 (si A) 1 = + + +... s s2 s3 1 so L 1 (si A) 1 = I + At + (At) 2 +... 2! At = e x(t) = e At x(0) e At is a special matrix that we will use many times in this course Transition matrix or Matrix Exponential Calculate in MATLAB using expm.m and not exp.m 1 Note that e (A+B)t = e At e Bt iff AB = BA 1 MATLAB is a trademark of the Mathworks Inc.

Fall 2010 16.30/31 7 2 Example: ẋ = Ax, with A = 0 2 1 3 (si A) 1 = = = At e = [ s 2 1 s + 3 ] 1 s + 3 1 1 2 s (s + 2)(s + 1) 2 s + 1 1 s + 2 2 s + 1 + 2 s + 2 1 s + 1 1 s + 2 1 s + 1 + 2 s + 2 2e t e 2t e t e 2t 2e t + 2e 2t e t + 2e 2t We will say more about e At when we have said more about A (eigenvalues and eigenvectors) Computation of e At = L 1 {(si A) 1 } straightforward for a 2-state system More complex for a larger system, see this paper

Fall 2010 16.30/31 7 3 Forced Solution Consider a scalar case: SS: Forced Solution ẋ = ax + bu, x(0) given t x(t) = e at x(0) + e a(t τ) bu(τ)dτ 0 where did this come from? 1. ẋ ax = bu 2. e at [ẋ ax] = d (e at x(t)) = e at dt bu(t) t 3. d e aτ x(τ)dτ = e at x(t) x(0) = t e aτ bu(τ)dτ 0 dτ 0 Forced Solution Matrix case: ẋ = Ax + Bu where x is an n-vector and u is a m-vector Just follow the same steps as above to get t x(t) = e At x(0) + e A(t τ) Bu(τ )dτ and if y = Cx + Du, then y(t) = Ce At x(0) + 0 t 0 Ce A(t τ) Bu(τ)dτ + Du(t) Ce At x(0) is the initial response Ce A(t) B is the impulse response of the system.

Fall 2010 16.30/31 7 4 Have seen the key role of e At in the solution for x(t) Determines the system time response But would like to get more insight! Consider what happens if the matrix A is diagonalizable, i.e. there exists a T such that λ 1 T 1 AT = Λ which is diagonal Λ =... Then e At = T e Λt T 1 where e λ 1 t Λt e =... e λ n t λ n Follows since e At = I + At + 1 (At) 2 +... and that A = T ΛT 1 2!, so we can show that 1 e At = I + At + (At) 2 +... 2! 1 = I + T ΛT 1 t + (T ΛT 1 t) 2 +... 2! = T e Λt T 1 This is a simpler way to get the matrix exponential, but how find T and λ? Eigenvalues and Eigenvectors

Fall 2010 16.30/31 7 5 Eigenvalues and Eigenvectors Recall that the eigenvalues of A are the same as the roots of the characteristic equation (page 6 7) λ is an eigenvalue of A if det(λi A) = 0 which is true iff there exists a nonzero v (eigenvector) for which (λi A)v = 0 Av = λv Repeat the process to find all of the eigenvectors. Assuming that the n eigenvectors are linearly independent Av i = λ i v i i = 1,..., n λ 1 A v 1 v n = v 1 v n... AT = T Λ T 1 AT = Λ λ n

Fall 2010 16.30/31 7 6 Jordan Form One word of caution: Not all matrices are diagonalizable 0 1 2 A = det(si A) = s 0 0 only one eigenvalue s = 0 (repeated twice). The eigenvectors solve 0 1 r 1 = 0 0 0 r 2 r eigenvectors are of the form 1, r 1 = 0 would only be one. 0 Need Jordan Form to handle the case with repeated roots 2 Jordan form of matrix A R n n is block diagonal: A 1 0 0 λ j 1 0 0 0 A 0 λ j 1 0 A = 2 0 with A j =........... 1 0 0 A k 0 0 0 λ j Observation: any matrix can be transformed into Jordan form with the eigenvalues of A determining the blocks A j. The matrix exponential of a Jordan form matrix is then given by 1 t t 2 t /2! n 1 (n 1)! e A 1t 0 0 t n 2 0 e A 2t 0 0 1 t (n 2)! At e = with e A j t.. = 0 0 1 e.. A k t... t 0 0 e 0 0 1 λ j t 2 see book by Strang, Matlab command Jordan, or here

Fall 2010 16.30/31 7 7 EV Mechanics 1 1 Consider A = 8 5 s + 1 1 (si A) = 8 s 5 det(si A) = (s + 1)(s 5) + 8 = s 2 4s + 3 = 0 so the eigenvalues are s 1 = 1 and s 2 = 3 Eigenvectors (si A)v = 0 s + 1 1 v (s 1 I A)v 1 = 11 = 0 8 s 5 v 21 s=1 2 1 v 11 = 0 2v 8 v 11 v 21 = 0, v 21 = 2v 11 4 21 v 11 is then arbitrary (= 0), so set v 11 = 1 1 v 1 = 2 (s 2 I A)v 2 = 4 1 v 12 = 0 4v 12 v 22 = 0, v 22 = 4v 12 8 2 v 22 Confirm that Av i = λ i v i 1 v 2 = 4

Fall 2010 16.30/31 7 8 Dynamic Interpretation Since A = T ΛT 1, then e λ 1t T w 1 e At = T e Λt T 1 = v 1 v n.... e λ nt w T where we have written T w 1 T 1 =. w which is a column of rows. Multiply this expression out and we get that T n n e = e v i w i At λ i t T i=1 n Assume A diagonalizable, then ẋ = Ax, x(0) given, has solution x(t) = e At x(0) = T e Λt T 1 x(0) n = e λit T v i {w i x(0)} i=1 n λ i t = e v i β i i=1 State solution is linear combination of the system modes v i e λ it e λ it Determines nature of the time response v i Determines how each state contributes to that mode β i Determines extent to which initial condition excites the mode

Fall 2010 16.30/31 7 9 Note that the v i give the relative sizing of the response of each part of the state vector to the response. 1 v 1 (t) = e t mode 1 0 0.5 v 2 (t) = e 3t mode 2 0.5 Clearly e λ it gives the time modulation λ i real growing/decaying exponential response λ i complex growing/decaying exponential damped sinusoidal Bottom line: The locations of the eigenvalues determine the pole locations for the system, thus: They determine the stability and/or performance & transient behavior of the system. It is their locations that we will want to modify when we start the control work

Fall 2010 16.30/31 7 10 Diagonalization with Complex Roots If A has complex conjugate eigenvalues, the process is similar but a little more complicated. Consider a 2x2 case with A having eigenvalues a ± bi and associated eigenvectors e 1, e 2, with e 2 = ē 1. Then a + bi 0 1 A = e 1 e 2 e 1 e 2 0 a bi a + bi 0 1 = e 1 ē 1 T DT 1 ē 1 e 1 0 a bi Now use the transformation matrix 1 i M 1 1 1 M = 0.5 = 1 i i i Then it follows that A = T DT 1 = (T M)(M 1 DM)(M 1 T 1 ) = (T M)(M 1 DM)(T M) 1 which has the nice structure: [ ] a b [ A = Re(e 1 ) Im(e 1 ) b a where all the matrices are real. Re(e 1 ) Im(e 1 ) ] 1 With complex roots, diagonalization is to a block diagonal form.

Fall 2010 16.30/31 7 11 For this case we have that [ ] cos(bt) sin(bt) [ e At = Re(e 1 ) Im(e 1 ) e at sin(bt) cos(bt) ] Re(e 1 ) Im(e 1 ) 1 Note that [ ] 1 1 0 Re(e 1 ) Im(e 1 ) Re(e 1 ) Im(e 1 ) = 0 1 So for an initial condition to excite just this mode, can pick x(0) = [Re(e 1 )], or x(0) = [Im(e 1 )] or a linear combination. Example x(0) = [Re(e 1 )] [ ] cos(bt) sin(bt) x(t) = e At x(0) = Re(e 1 ) Im(e 1 ) e at sin(bt) cos(bt) Re(e Im(e 1 ) 1 1 ) [Re(e 1 )] [ Im(e 1 ) ] e at cos(bt) sin(bt) 1 = Re(e 1 ) sin(bt) cos(bt) 0 [ ] cos(bt) = e at Re(e 1 ) Im(e 1 ) sin(bt) = e at (Re(e 1 ) cos(bt) Im(e 1 ) sin(bt)) which would ensure that only this mode is excited in the response

Fall 2010 16.30/31 7 12 Example: Spring Mass System Classic example: spring mass system consider simple case first: m i = 1, and k i = 1 k 5 Wall k 1 k m 2 k 1 m 3 k 3 m 4 2 Wall x A K = = = [ z1 z 2 z 3 ż 1 ż 2 ż 3 ] [ ] 0 I M 1 M = diag(m K 0 i ) k 1 + k 2 + k 5 k 5 k 2 k 5 k 3 + k 4 + k 5 k 3 k 2 k 3 k 2 + k 3 Eigenvalues and eigenvectors of the undamped system λ 1 = ±0.77i λ 2 = ±1.85i λ 3 = ±2.00i v 1 v 2 v 3 1.00 1.00 1.00 1.00 1.41 ±0.77i ±0.77i ±1.08i 1.00 1.41 ±1.85i ±1.85i 2.61i 1.00 0.00 ±2.00i 2.00i 0.00

Fall 2010 16.30/31 7 13 Initial conditions to excite just the three modes: x i (0) = α 1 Re(v i ) + α 2 Im(v i ) α j R Simulation using α 1 = 1, α 2 = 0 Visualization important for correct physical interpretation Mode 1 λ 1 = ±0.77i m 1 m 3 m 2 Lowest frequency mode, all masses move in same direction Middle mass has higher amplitude motions z 3, motions all in phase

Fall 2010 16.30/31 7 14 Mode 2 λ 2 = ±1.85i m 1 m 3 m 2 Middle frequency mode has middle mass moving in opposition to two end masses Again middle mass has higher amplitude motions z 3

Fall 2010 16.30/31 7 15 Mode 3 λ 3 = ±2.00i m 1 m 3 m 2 Highest frequency mode, has middle mass stationary, and other two masses in opposition Eigenvectors that correspond to more constrained motion of the system are associated with higher frequency eigenvalues

Fall 2010 16.30/31 7 16 Result if we use a random input is a combination of all three modes

Fall 2010 16.30/31 7 17 Code: Simulation of Spring Mass System Modes 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 % Simulate modal response for a spring mass system % Jonathan How, MIT % Fall 2009 alp1=1; % weighting choice on the IC m=eye(3); % mass k=[3 1 1; 1 3 1; 1 1 2]; % stiffness a=[m*0 eye(3); inv(m)*k m*0]; [v,d]=eig(a); t=[0:.01:20]; l1=1:25:length(t); G=ss(a,zeros(6,1),zeros(1,6),0); % use the following to cll the function above close all set(0, 'DefaultAxesFontSize', 14, 'DefaultAxesFontWeight','demi') set(0, 'DefaultTextFontSize', 14, 'DefaultTextFontWeight','demi') set(0,'defaultaxesfontname','arial'); set(0,'defaulttextfontname','arial');set(0,'defaultlinemarkersize',10) figure(1);clf x0=alp1*real(v(:,1))+(1 alp1)*imag(v(:,1)) [y,t,x]=lsim(g,0*t,t,x0); plot(t,x(:,1),' ','LineWidth',2);hold on plot(t(l1),x(l1,2),'rx','linewidth',2) plot(t,x(:,3),'m ','LineWidth',2);hold off xlabel('time');ylabel('displacement') title(['mode with \lambda=', num2str(imag(d(1,1))),' i']) legend('z1','z2','z3') print dpng r300 v1.png figure(2);clf x0=alp1*real(v(:,5))+(1 alp1)*imag(v(:,5)) [y,t,x]=lsim(g,0*t,t,x0); plot(t,x(:,1),' ','LineWidth',2);hold on plot(t(l1),x(l1,2),'rx','linewidth',2) plot(t,x(:,3),'m ','LineWidth',2);hold off xlabel('time');ylabel('displacement') title(['mode with \lambda=', num2str(imag(d(5,5))),' i']) legend('z1','z2','z3') print dpng r300 v3.png figure(3);clf x0=alp1*real(v(:,3))+(1 alp1)*imag(v(:,3)) [y,t,x]=lsim(g,0*t,t,x0); plot(t,x(:,1),' ','LineWidth',2);hold on plot(t,x(:,2),'r.','linewidth',2) plot(t,x(:,3),'m ','LineWidth',2);hold off xlabel('time');ylabel('displacement') title(['mode with \lambda=', num2str(imag(d(3,3))),' i']) legend('z1','z2','z3') print dpng r300 v2.png figure(4);clf x0=[1 0 1 0 0 0]'; [y,t,x]=lsim(g,0*t,t,x0); plot(t,x(:,1),' ','LineWidth',2) hold on plot(t,x(:,2),'r.','linewidth',2) plot(t,x(:,3),'m ','LineWidth',2) hold off xlabel('time');ylabel('displacement') title(['random Initial Condition']) legend('z1','z2','z3') print dpng r300 v4.png

MIT OpenCourseWare http://ocw.mit.edu 16.30 / 16.31 Feedback Control Systems Fall 2010 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.