ME 234, Lyapunov and Riccati Problems. 1. This problem is to recall some facts and formulae you already know. e Aτ BB e A τ dτ

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

Grammians. Matthew M. Peet. Lecture 20: Grammians. Illinois Institute of Technology

Balanced Truncation 1

The norms can also be characterized in terms of Riccati inequalities.

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

Kalman Decomposition B 2. z = T 1 x, where C = ( C. z + u (7) T 1, and. where B = T, and

3 Gramians and Balanced Realizations

6.241 Dynamic Systems and Control

Controllability, Observability, Full State Feedback, Observer Based Control

Semidefinite Programming Duality and Linear Time-invariant Systems

Problem Set 5 Solutions 1

Robust Multivariable Control

CDS Solutions to the Midterm Exam

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

w T 1 w T 2. w T n 0 if i j 1 if i = j

Model reduction for linear systems by balancing

Observability and state estimation

Lecture 19 Observability and state estimation

Linear System Theory

Linear-quadratic control problem with a linear term on semiinfinite interval: theory and applications

EE363 homework 7 solutions

6.241 Dynamic Systems and Control

6. Linear Quadratic Regulator Control

Discrete and continuous dynamic systems

Control Systems Design

Matrix Mathematics. Theory, Facts, and Formulas with Application to Linear Systems Theory. Dennis S. Bernstein

Multivariable Control. Lecture 03. Description of Linear Time Invariant Systems. John T. Wen. September 7, 2006

Nonlinear Control. Nonlinear Control Lecture # 6 Passivity and Input-Output Stability

Module 03 Linear Systems Theory: Necessary Background

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

OPTIMAL CONTROL SYSTEMS

CME 345: MODEL REDUCTION

ECEEN 5448 Fall 2011 Homework #4 Solutions

Modern Control Systems

FEL3210 Multivariable Feedback Control

Raktim Bhattacharya. . AERO 632: Design of Advance Flight Control System. Norms for Signals and Systems

21 Linear State-Space Representations

LINEAR-QUADRATIC OPTIMAL CONTROL OF DIFFERENTIAL-ALGEBRAIC SYSTEMS: THE INFINITE TIME HORIZON PROBLEM WITH ZERO TERMINAL STATE

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

Hankel Optimal Model Reduction 1

1 Some Facts on Symmetric Matrices

Throughout these notes we assume V, W are finite dimensional inner product spaces over C.

Problem set 5 solutions 1

Solution of Linear State-space Systems

Lecture 4 and 5 Controllability and Observability: Kalman decompositions

Denis ARZELIER arzelier

Problem 1 Cost of an Infinite Horizon LQR

Math 408 Advanced Linear Algebra

Module 02 CPS Background: Linear Systems Preliminaries

Modern Optimal Control

LMIs for Observability and Observer Design

MIT Final Exam Solutions, Spring 2017

Order Reduction for Large Scale Finite Element Models: a Systems Perspective

Compound matrices and some classical inequalities

ECEEN 5448 Fall 2011 Homework #5 Solutions

Theorem 1. ẋ = Ax is globally exponentially stable (GES) iff A is Hurwitz (i.e., max(re(σ(a))) < 0).

Contents. 1 State-Space Linear Systems 5. 2 Linearization Causality, Time Invariance, and Linearity 31

LMI Methods in Optimal and Robust Control

Robust Control 5 Nominal Controller Design Continued

Model Reduction for Unstable Systems

Introduction to Modern Control MT 2016

Lecture 4: Analysis of MIMO Systems

Riccati Equations and Inequalities in Robust Control

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

1 Controllability and Observability

Chapter 6 Balanced Realization 6. Introduction One popular approach for obtaining a minimal realization is known as Balanced Realization. In this appr

EE363 homework 8 solutions

1 Continuous-time Systems

2. Review of Linear Algebra

Math Linear Algebra II. 1. Inner Products and Norms

Zeros and zero dynamics

Lecture 3: Review of Linear Algebra

Linear dynamical systems with inputs & outputs

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

Lecture 3: Review of Linear Algebra

Review problems for MA 54, Fall 2004.

ECE504: Lecture 9. D. Richard Brown III. Worcester Polytechnic Institute. 04-Nov-2008

The University of Texas at Austin Department of Electrical and Computer Engineering. EE381V: Large Scale Learning Spring 2013.

Module 07 Controllability and Controller Design of Dynamical LTI Systems

The Important State Coordinates of a Nonlinear System

Introduction to Nonlinear Control Lecture # 4 Passivity

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

A Characterization of the Hurwitz Stability of Metzler Matrices

Control Systems Design

Observability. It was the property in Lyapunov stability which allowed us to resolve that

18.06 Problem Set 8 - Solutions Due Wednesday, 14 November 2007 at 4 pm in

ECE504: Lecture 8. D. Richard Brown III. Worcester Polytechnic Institute. 28-Oct-2008

Eigenvalues and eigenvectors

Lecture 2. Linear Systems

H 2 optimal model reduction - Wilson s conditions for the cross-gramian

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

Robust Control 2 Controllability, Observability & Transfer Functions

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

DESIGN OF OBSERVERS FOR SYSTEMS WITH SLOW AND FAST MODES

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

Chap 3. Linear Algebra

Control Systems. Laplace domain analysis

EEE582 Homework Problems

ẋ 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)

Controls Problems for Qualifying Exam - Spring 2014

Transcription:

ME 234, Lyapunov and Riccati Problems. This problem is to recall some facts and formulae you already know. (a) Let A and B be matrices of appropriate dimension. Show that (A, B) is controllable if and only if is invertible for all t >. (b) Verify that for any T > T W(t) := t e A(T τ) BB e A (T τ) dτ = (c) Suppose q R n, and consider the input e Aτ BB e A τ dτ T e Aτ BB e A τ dτ u(t) := B e A (T t) q for t T for t > T for the linear system ẋ(t) = Ax(t) + Bu(t). Starting from x() =, show that x(t) = W(T)q. (d) Assuming controllability, derive an input signal u which transfers the initial condition x() = to a desired final condition x(t) = x des. (e) Note that since the system is time-invariant, this input transfers the initial condition x( T) = to a desired final condition x() = x des. 2. State-space calculation of Hankel norm: Notation: L 2 denotes square-integrable functions on the space (, ). L + 2 denotes square-integrable functions on the space, ). L 2 denotes square-integrable functions on the space (,. For a signal g L 2, define a projection operator P + which maps L 2 into L + 2 via ( P + g ) (t) := g(t) for t For a function f defined on (,, use the notation f 2 2 := f (t)f(t) dt, if the integral is finite, and write f L 2. Similar notation for functions defined on, )

Consider a stable linear system, with state space data A, B, and C. ẋ = Ax + Bu y = Cx () Assume that (A, B) is controllable. Let X C and X O respectively denote the controllability and observability grammians. That is, X C is the unique solution to the linear equation AX C + X C A = BB, while X O is the unique solution to the linear equation (a) Consider the free system A X O + X O A = C C. ẋ = Ax y = Cx x() = x o Show that the 2-norm of the resulting output y L + 2 satisfies (b) Now consider the driven system, y 2 2 := y (t)y(t) dt = x o X Ox o ẋ = Ax + Bu and assume that the pair (A, B) is controllable. Hence, X C is positive definite. Let x R n (or C n if we are considering complex systems). Consider the problem of determining the minimum 2-norm input u L 2, such that lim x(t) =, t Specifically, consider the optimization x() = x o J (x o ) := min u (t)u(t) dt subject to lim x(t) =, x() = x o t Show that J (x o ) = x o X C x o. Hint: Assume that the input u satisfies the constraints, and show that u 2 2 = x oxc x o + u B XC x You can show this by computing d dτ along trajectories of the linear system. x (τ)x C x(τ) dτ 2 2 2

(c) Consider a state-coordinate change, x = T x, for an invertible matrix T. Hence à = T AT, B = T B and C = CT. Find the controllability and observability grammians X C, X O in these new coordinates. (d) Suppose that (A, B) is controllable, and (A, C) is observable. Define a transformation T C n n using the following steps: i. Let R C n n be the Hermitian, positive definite square root of X O, so R = R >, and X O = R 2 (actually, R need not be Hermitian, just need to satisfy RR = X O, so I will write all of the further definitions as though R is not Hermitian) ii. Do a Hermitian eigenvalue decomposition of the positive definite matrix R X C R =: UΣ 2 U, where U is a unitary matrix, and Σ is a diagonal, positive definite matrix. Assume that the diagonal elements of Σ have been rearranged in descending order. iii. How are the eigenvalues of X C X O related to the entries of Σ. iv. Define T := R UΣ 2 Show that T X O T = T X C T = Σ If we transform the original state-space matrices using this transformation, the controllability grammians and observability grammians become equal, and diagonal. This type of realization is called balanced. (e) Suppose that we use the coordinate transform defined above, and change the state coordinates so that the observability and controllability grammians are identical, and in fact, diagonal. Assume that σ >> σ n. Under that assumption, in what sense is the state. more important than the state (f) Find the relationship between the eigenvalues of X C X O and the eigenvalues of XC XO. (g) Show that max u L 2 u = P + y 3. 2 = max 2 x C n x 2 = x X x x X C x

(h) In a rough sense, the quantity max u L 2 u = P + y is the induced norm from past inputs to future outputs. It is called the Hankel Norm of the system described by the triple (A, B, C). Note by Homework problem 4, it can be computed by solving two linear equations, and then computing the largest eigenvalue of a product of 2 positive definite matrices. 3. Let V C n and V 2 C n be invariant subspaces of a matrix H C n n. 2 2 (a) Show that V V2 is an invariant subspace of H. (b) Show that V + V 2 is an invariant subspace of H. (c) Suppose that V and V 2 are stable invariant subspaces of H. This means that both are invariant subspaces, and if V and V 2 are matrices whose columns form a basis for the respective subspaces, then AV i = V i Λ i for some Hurwitz matrices Λ and Λ 2. Show that V + V 2 is a stable invariant subspace of H. (Hint: one way to do this is to choose basis for all of the subspaces, and write out matrix representations of H in these basis). (d) Suppose H has l n eigenvalues in the open-left-half plane. Show that there is a unique l-dimensional, stable invariant subspace of H. Hints: i. There is an l-dimensional, stable invariant subspace, spanned by the eigenvectors and generalized eigenvectors associated with the stable eigenvalues similarly, do Schur decomposition with the stable eigenvalues before the right-half plane ones, and simply pick the first l columns of the unitary matrix. ii. There is not an l + -dimensional stable invariant subspace, because that would imply that H has at least l + eigenvalues in the open-left-half plane; iii. If there are two different l-dimensional, stable, invariant subspaces, then their subspace sum is also a stable invariant subspace, but of dimension > l, leading to a contradiction). 4. Suppose X, Y C n n, with X = X >, and Y = Y. Show that max x C n x 2 = x Y x x X x = max x C n x = n What if C is replaced by R, everywhere? x Y x x X x = λ ( max X /2 Y X /2) = ρ (XY ) 4

5. Consider the linear, time-invariant system ẋ(t) + Ax(t) + Bu(t) with x(t) R n, and u(t) R nu. Suppose that Q R n n, with Q = Q T. Assume that (A, B) is stabilizable, and ( A, Q 2) is detectable. Using a completion of squares approach, determine the value of the function J : R n R J(x ) := min u L 2 x T (t)qx(t) + u T (t)u(t) dt subject to x() = x ẋ(t) = Ax(t) + Bu(t) Also determine the input u which achieves the optimum. 6. Suppose G has G <. Find a single quadratic Lyapunov function which verifies S(G, ) is stable for all C nu ny with σ ( ). 7. Suppose G has G < and has. Find a quadratic Lyapunov function, using sums of quadratic Lyapunov functions for G and which verifies that S(G, ) is stable. 8. Suppose A is square, and has all of its eigenvalues equal to α, and only one eigenvector (so A has only one Jordan block). Find the eigenvectors, generalized eigenvectors, and eigenvalues of the Lyapunov operator L A. 9. State-space calculation of 2 norm: Consider a stable linear system, with state space data A, B, and C. ẋ = Ax + Bu y = Cx Let X C and X O respectively denote the controllability and observability grammians. Show that Ce At BB e A t C dt = CX C C and ( ) trace Ce At BB e A t C dt = trace (CX C C ) = trace (B X O B) How is this related to the frequency domain quantities trace G (jω)g(jω)dω, trace G(jω)G (jω)dω 5

. State-space calculation of norm: Consider a linear system ẋ(t) = Ax(t) + Bu(t) y(t) = Cx(t) In this analysis, it is not necessary to assume that A is stable, but we must assume that A has no imaginary-axis eigenvalues. Introduce the notation G a (s) := G( s). Easy manipulation (check this) shows that A BB M(s) := I G(s)G a (s) = C C I (a) Consider a given frequency ω. Show that G (j ω) has a singular value equal to (some singular value - not necessarily the maximum) if and only if I G(s)G a (s) is singular at s = j ω. (b) Consider a given frequency ω. Show that G (j ω) has a singular value equal to if and only if M(s) has a pole at s = j ω. (c) Hence, the imaginary axis poles of M(s) are the same as the points on the imaginary axis where G has a singular value equal to. In this part, we will show that the imaginary-axis poles of M(s) are exactly equal to the imaginary axis eigenvalues of the A matrix for M (it could be possible that some eigenvalues of the A matrix are uncontrollable and/or unobservable, so they would not show up in the transfer function - this calculation will rule that possibility out). To do this, show that any imaginary-axis eigenvalues of are controllable through A BB C, and observable through C. Use the Popov-Bellman-Hautus (Kailath) test for controllability and observability. (d) Hence, we have proven the statement: G(jω) has a singular value equal to if and only if A BB 6

has eigenvalue equal to jω. In other words: for all ω R, G(jω) has no singular values equal to if and only if A BB has no imaginary axis eigenvalues. Generalize these two statements to the case where G(jω) has a singular value equal to some positive number γ. Verify this on the computer for a multivariable transfer function with several lightly damped, second order poles. Briefly explain your example. (e) Prove the following: For γ >, sup ω R σ G (jω) < γ if and only if has no imaginary axis eigenvalues. A BB γ 2 Two good references for this problem are BoyBK: Boyd, Balakrishnan and Kabamba, A bisection method for computing the H norm of a transfer matrix and related problems, Math Control Signals and Systems, 2(3):27-29, 989. BruS: Bruinsma and Steinbuch, A fast algorithm to compute the H norm of a transfer function matrix, Systems and Control Letters, 4, pp. 287-293, 99. 7