Modern Control Systems

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

LMI Methods in Optimal and Robust Control

Systems Analysis and Control

Systems Analysis and Control

Systems Analysis and Control

Problem Set 5 Solutions 1

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

Modern Optimal Control

Dynamic measurement: application of system identification in metrology

Systems Analysis and Control

Systems Analysis and Control

LMIs for Observability and Observer Design

Hankel Optimal Model Reduction 1

EL2520 Control Theory and Practice

Contents lecture 5. Automatic Control III. Summary of lecture 4 (II/II) Summary of lecture 4 (I/II) u y F r. Lecture 5 H 2 and H loop shaping

Mathematics for Control Theory

LMI Methods in Optimal and Robust Control

Discrete and continuous dynamic systems

Lecture 5 Input output stability

3 Gramians and Balanced Realizations

Cosc 3451 Signals and Systems. What is a system? Systems Terminology and Properties of Systems

10 Transfer Matrix Models

Systems Analysis and Control

Modern Optimal Control

Lecture 3 January 23

6.241 Dynamic Systems and Control

REPRESENTATION THEORY WEEK 7

Systems Analysis and Control

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τ

A system that is both linear and time-invariant is called linear time-invariant (LTI).

REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001

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

Modern Control Systems

Modern Control Systems

Letting p shows that {B t } t 0. Definition 0.5. For λ R let δ λ : A (V ) A (V ) be defined by. 1 = g (symmetric), and. 3. g

Math Fall Linear Filters

Designing Information Devices and Systems I Spring 2016 Official Lecture Notes Note 21

Lecture 4: Analysis of MIMO Systems

Control Systems Design

COPRIME FACTORIZATIONS AND WELL-POSED LINEAR SYSTEMS

Lecture 19: Simple Applications of Fourier Analysis & Convolution. Fourier Analysis

Linear Filters. L[e iωt ] = 2π ĥ(ω)eiωt. Proof: Let L[e iωt ] = ẽ ω (t). Because L is time-invariant, we have that. L[e iω(t a) ] = ẽ ω (t a).

k times l times n times

Therefore the new Fourier coefficients are. Module 2 : Signals in Frequency Domain Problem Set 2. Problem 1

Systems and Control Theory Lecture Notes. Laura Giarré

EE 224 Signals and Systems I Review 1/10

CME 345: MODEL REDUCTION

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

Systems Analysis and Control

Single-Input-Single-Output Systems

Lecture 1 From Continuous-Time to Discrete-Time

ECEN 605 LINEAR SYSTEMS. Lecture 8 Invariant Subspaces 1/26

Systems Analysis and Control

Math 550 Notes. Chapter 2. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

Robust Multivariable Control

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

Synthetic Geometry. 1.4 Quotient Geometries

NOTES ON PRODUCT SYSTEMS

6.241 Dynamic Systems and Control

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

Systems Analysis and Control

CDS Solutions to the Midterm Exam

Problem set 5 solutions 1

Vector Spaces. Commutativity of +: u + v = v + u, u, v, V ; Associativity of +: u + (v + w) = (u + v) + w, u, v, w V ;

Chapter 1 Fundamental Concepts

Properties of LTI Systems

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

Nonlinear Control Lecture # 14 Input-Output Stability. Nonlinear Control

On Dominant Poles and Model Reduction of Second Order Time-Delay Systems

Chapter 3. Tohru Katayama

Generalized Gaussian Bridges of Prediction-Invertible Processes

Kevin James. MTHSC 3110 Section 2.2 Inverses of Matrices

Chapter 3 Convolution Representation

George Mason University Signals and Systems I Spring 2016

Linear System Theory

4.6. Linear Operators on Hilbert Spaces

Lecture 8. Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control. Eugenio Schuster.

0.2 Vector spaces. J.A.Beachy 1

Spectral factorization and H 2 -model following

ECE504: Lecture 10. D. Richard Brown III. Worcester Polytechnic Institute. 11-Nov-2008

Spring -07 TOPOLOGY III. Conventions

4 Linear operators and linear functionals

6.241 Dynamic Systems and Control

GATE EE Topic wise Questions SIGNALS & SYSTEMS

FEL3210 Multivariable Feedback Control

EECE 3620: Linear Time-Invariant Systems: Chapter 2

Convolution. Define a mathematical operation on discrete-time signals called convolution, represented by *. Given two discrete-time signals x 1, x 2,

René Bartsch and Harry Poppe (Received 4 July, 2015)

Group Representation Theory

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

Orthogonal Projection and Least Squares Prof. Philip Pennance 1 -Version: December 12, 2016

Lecture 8 Finite Impulse Response Filters

Differential and Difference LTI systems

06/12/ rws/jMc- modif SuFY10 (MPF) - Textbook Section IX 1

LTI Systems (Continuous & Discrete) - Basics

Systems Analysis and Control

On lower bounds for C 0 -semigroups

A Brief Introduction to Functional Analysis

Transcription:

Modern Control Systems Matthew M. Peet Illinois Institute of Technology Lecture 18: Linear Causal Time-Invariant Operators

Operators L 2 and ˆL 2 space Because L 2 (, ) and ˆL 2 are isomorphic, so are the sets of operators L(L 2 ) and L(ˆL 2 ). Prove using the map M φmφ 1 and ˆM φ 1 ˆMφ. How to parameterize L(L 2 )? M. Peet Lecture 18: 2 / 16

ˆL We now define the new space Definition 1. Let ˆL (ır) be the space of matrix-valued functions Ĝ : ır Cm n such that Ĝ ˆL = Ĝ = ess sup σ(ĝ(ıω)) < ω R Every element of ˆL defines a multiplication operator. Definition 2. Given Ĝ ˆL (ır), define (MĜû)(ıω) = Ĝ(ıω)û(ıω) M. Peet Lecture 18: 3 / 16

ˆL Every multiplication operator defined by ˆL is a bounded linear operator. Proposition 1. For any Ĝ ˆL (ır), MĜ ˆL. Furthermore MĜ ˆL = Ĝ ˆL Proof. Sufficiency is easy. MĜû 2ˆL2 = = = sup ω (MĜû)(ıω) (MĜû)(ıω)dω û(ıω) Ĝ(ıω) Ĝ(ıω)û(ıω)dω sup Ĝ(ıω) 2 û(ıω) 2 dω ω Ĝ(ıω) 2 û(ıω) 2 dω = Ĝ 2ˆL û 2ˆL2 M. Peet Lecture 18: 4 / 16

ˆL Because the Fourier Transform is unitary, MĜ also defined an operator in L with equivalent norm. If G = φ 1 MĜφ, then G L(L2) = MĜ L( ˆL2) = Ĝ ˆL. Question: For every G L does there exist some Ĝ L such that G = φ 1 MĜφ M. Peet Lecture 18: 5 / 16

Time-Invariant Systems To answer the previous question affirmatively, we must consider a subspace of linear operators. Definition 3. Define the shift operator S τ : L 2 (, ) L 2 (, ) by (S τ u)(t) = u(t τ) Also called the delay operator Well defined on both L 2 (, ) and L 2 [0, ). Invertible on L 2 (, ) but not on L 2 [0 ). The shift operator can be defined by a multiplication operator S τ = φ 1 MŜφ where Ŝ(ıω) = e ıωt M. Peet Lecture 18: 6 / 16

Time-Invariant Systems Definition 4. An operator Q is Time-Invariant if S τ Q = QS τ for all τ > 0. (Qu)(t τ) = Q(S τ u)(t) Initial time doesn t matter. Identical signals applied at different times will produce the same output. Shifting the input shifts the output. M. Peet Lecture 18: 7 / 16

Time-Invariant Systems Most Systems are Time-Invariant Any state-space system is time-invariant ẋ(t) = Ax(t) + Bu(t) Unless of course A varies with time (A(t)) M. Peet Lecture 18: 8 / 16

Time-Invariant Systems Multiplication Operators define Time-Invariant Operators Lemma 5. For any Ĝ, φ 1 MĜφ is a time-invariant operator. Proof. Recall a system is time-invariant if S τ G = GS τ. Examine the first term S τ G = φ 1 MŜφφ 1 MĜφ = φ 1 MŜMĜφ = φ 1 MŜĜ φ = φ 1 MĜŜ φ = φ 1 MŜMŜφ = φ 1 MĜφφ 1 MŜφ = GS τ This works because scalar multiplication commutes (ĜŜ = ŜĜ). M. Peet Lecture 18: 9 / 16

Time-Invariant Systems Time-Invariant Operators define Multiplication Operators More significantly, the converse is also true. Theorem 6. An operator G : L 2 (, ) L 2 (, ) is time-invariant if and only if there exists some Ĝ ˆL such that G = φ 1 MĜφ All LTI systems can be represented using transfer functions in ˆL. Note that not all transfer functions have a state-space representation. (e.g. delay) M. Peet Lecture 18: 10 / 16

Causal Systems The Truncation Operator Linear, Causal, Time-Invariant Systems are those which are well-defined on L 2 [0, ). Definition 7. Define the Truncation Operator P τ : L 2 (, ) L 2 (, ) as { u(t) t τ (P τ u)(t) = 0 t > τ Truncation operator zeros out the signal after time τ. M. Peet Lecture 18: 11 / 16

Causal Systems An operator is causal if changes in the future input don t create changes in past output. If the output at time t, y(t) only depends on the input up to time t, u(s), s (, t]. Definition 8. An operator G L(L 2 ) is Causal if for all τ R. P τ GP τ = P τ G M. Peet Lecture 18: 12 / 16

Causal Systems Lemma 9. A linear time-invariant operator, G, is causal if and only if Proof. P 0 GP 0 = P 0 G First note that on L 2 (, ), S τ is an invertible operator. Hence P τ = S τ P 0 S τ : we can shift truncation point to 0, truncate, then shift back. This implies P τ S τ = S τ P 0 (truncation is not a time-invariant operator). We have the following equivalence: G is causal if and only if P τ GP τ = P τ G P τ GP τ S τ = P τ GS τ P τ GS τ P 0 = P τ S τ G P τ S τ GP 0 = S τ P 0 G S τ is invertible G is LTI G is LTI S τ P 0 GP 0 = S τ P 0 G P τ S τ = S τ P 0 P 0 GP 0 = P 0 G S τ is invertible M. Peet Lecture 18: 13 / 16

Causal Systems Corollary 10. If G L(L 2 (, )) is LTI, then G is causal if and only if G : L 2 [0, ) L 2 [0, ) Thus the subspace of Linear Causal Time-Invariant Operators is L(L 2 [0, )) Proof. We first show that 2) 1). Suppose G : L 2 [0, ) L 2 [0, ). For any u L 2 ( ), P 0 u L 2 (, 0] = L 2 [0, ). Thus (I P 0 )u L 2 [0, ). Thus G(I P 0 )u L 2 [0, ). Thus P 0 G(I P 0 )u = 0. Thus P 0 G = P 0 GP 0. Hence G is causal. M. Peet Lecture 18: 14 / 16

Causal Systems Corollary 11. If G L(L 2 (, )) is LTI, then G is causal if and only if G : L 2 [0, ) L 2 [0, ) Proof. Now we show that 1) implies 2). Suppose that P 0 G = P 0 GP 0. Then P 0 G(I P 0 )u = 0. Then (I P 0 )G(I P 0 ) = G(I P 0 ). Note that for u L 2 [0, ), we have (I P 0 )u = u. Thus for u L 2 [0, ), Gu = G(I P 0 )u = (I P 0 )G(I P 0 )u L 2 [0, ) since (I P 0 ) is the projection onto L 2 [0, ) M. Peet Lecture 18: 15 / 16

Summary An LTI operator is causal iff it maps L 2 [0, ) L 2 [0, ) Any LTI operator is defined by a multiplication operator (transfer function). Which multiplication operators map H 2 H 2 (causal operators) Which operators define causal systems? M. Peet Lecture 18: 16 / 16