Linear Quadratic Regulator (LQR) - State Feedback Design

Similar documents
Boyce/DiPrima 9 th ed, Ch 6.1: Definition of. Laplace Transform. In this chapter we use the Laplace transform to convert a

Lecture 20: Riccati Equations and Least Squares Feedback Control

mywbut.com Lesson 11 Study of DC transients in R-L-C Circuits

Optimal Transform: The Karhunen-Loeve Transform (KLT)

Amit Mehra. Indian School of Business, Hyderabad, INDIA Vijay Mookerjee

10. State Space Methods

Solutions to Assignment 1

Mathematical Foundations -1- Choice over Time. Choice over time. A. The model 2. B. Analysis of period 1 and period 2 3

EE363 homework 1 solutions

MATH 128A, SUMMER 2009, FINAL EXAM SOLUTION

(1) (2) Differentiation of (1) and then substitution of (3) leads to. Therefore, we will simply consider the second-order linear system given by (4)

5.1 - Logarithms and Their Properties

Linear Response Theory: The connection between QFT and experiments

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes

Problem Set 9 Due December, 7

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon

Some Basic Information about M-S-D Systems

Economics 202 (Section 05) Macroeconomic Theory Practice Problem Set 7 Suggested Solutions Professor Sanjay Chugh Fall 2013

2. Nonlinear Conservation Law Equations

Chapter 3 Boundary Value Problem

SOLUTIONS TO ECE 3084

Problemas das Aulas Práticas

Mass Transfer Coefficients (MTC) and Correlations I

u(x) = e x 2 y + 2 ) Integrate and solve for x (1 + x)y + y = cos x Answer: Divide both sides by 1 + x and solve for y. y = x y + cos x

Math Final Exam Solutions

Tracking Adversarial Targets

Let us start with a two dimensional case. We consider a vector ( x,

An Inventory Model for Weibull Time-Dependence. Demand Rate with Completely Backlogged. Shortages

EXERCISES FOR SECTION 1.5

Let ( α, β be the eigenvector associated with the eigenvalue λ i

t + t sin t t cos t sin t. t cos t sin t dt t 2 = exp 2 log t log(t cos t sin t) = Multiplying by this factor and then integrating, we conclude that

Problem 1 / 25 Problem 2 / 10 Problem 3 / 15 Problem 4 / 30 Problem 5 / 20 TOTAL / 100

Math 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:

Math 333 Problem Set #2 Solution 14 February 2003

Module 2 F c i k c s la l w a s o s f dif di fusi s o i n

6.003 Homework #8 Solutions

h[n] is the impulse response of the discrete-time system:

Chapter #1 EEE8013 EEE3001. Linear Controller Design and State Space Analysis

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions

Exercises: Similarity Transformation

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux

Essential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010

THE 2-BODY PROBLEM. FIGURE 1. A pair of ellipses sharing a common focus. (c,b) c+a ROBERT J. VANDERBEI

( ) ( ) if t = t. It must satisfy the identity. So, bulkiness of the unit impulse (hyper)function is equal to 1. The defining characteristic is

Chapter 2. First Order Scalar Equations

2.4 Cuk converter example

System of Linear Differential Equations

Chapter 8 The Complete Response of RL and RC Circuits

This document was generated at 1:04 PM, 09/10/13 Copyright 2013 Richard T. Woodward. 4. End points and transversality conditions AGEC

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3

Math 10B: Mock Mid II. April 13, 2016

Properties Of Solutions To A Generalized Liénard Equation With Forcing Term

Matlab and Python programming: how to get started

Physics 221 Fall 2008 Homework #2 Solutions Ch. 2 Due Tues, Sept 9, 2008

Problem Set on Differential Equations

LAPLACE TRANSFORM AND TRANSFER FUNCTION

The fundamental mass balance equation is ( 1 ) where: I = inputs P = production O = outputs L = losses A = accumulation

SUFFICIENT CONDITIONS FOR EXISTENCE SOLUTION OF LINEAR TWO-POINT BOUNDARY PROBLEM IN MINIMIZATION OF QUADRATIC FUNCTIONAL

THE WAVE EQUATION. part hand-in for week 9 b. Any dilation v(x, t) = u(λx, λt) of u(x, t) is also a solution (where λ is constant).

Chapter #1 EEE8013 EEE3001. Linear Controller Design and State Space Analysis

Announcements: Warm-up Exercise:

Reading from Young & Freedman: For this topic, read sections 25.4 & 25.5, the introduction to chapter 26 and sections 26.1 to 26.2 & 26.4.

15. Vector Valued Functions

The following report makes use of the process from Chapter 2 in Dr. Cumming s thesis.

The motions of the celt on a horizontal plane with viscous friction

Hamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:

Physics 127b: Statistical Mechanics. Fokker-Planck Equation. Time Evolution

3. Differential Equations

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

Circuit Variables. AP 1.1 Use a product of ratios to convert two-thirds the speed of light from meters per second to miles per second: 1 ft 12 in

Chapter 8 The Complete Response of RL and RC Circuits

4.1 - Logarithms and Their Properties

Phys1112: DC and RC circuits

Economics 8105 Macroeconomic Theory Recitation 6

Final Spring 2007

Macroeconomic Theory Ph.D. Qualifying Examination Fall 2005 ANSWER EACH PART IN A SEPARATE BLUE BOOK. PART ONE: ANSWER IN BOOK 1 WEIGHT 1/3

KINEMATICS IN ONE DIMENSION

Hamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t

Course Notes for EE227C (Spring 2018): Convex Optimization and Approximation

= ( ) ) or a system of differential equations with continuous parametrization (T = R

14 Autoregressive Moving Average Models

Basic Circuit Elements Professor J R Lucas November 2001

Chapter 2: Principles of steady-state converter analysis

Mean-square Stability Control for Networked Systems with Stochastic Time Delay

Predator - Prey Model Trajectories and the nonlinear conservation law

BEng (Hons) Telecommunications. Examinations for / Semester 2

dt = C exp (3 ln t 4 ). t 4 W = C exp ( ln(4 t) 3) = C(4 t) 3.

23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes

Chapter 7: Solving Trig Equations

on the interval (x + 1) 0! x < ", where x represents feet from the first fence post. How many square feet of fence had to be painted?

Second-Order Boundary Value Problems of Singular Type

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

Electrical and current self-induction

Number of modes per unit volume of the cavity per unit frequency interval is given by: Mode Density, N

8.1. a) For step response, M input is u ( t) Taking inverse Laplace transform. as α 0. Ideal response, K c. = Kc Mτ D + For ramp response, 8-1

Teacher Quality Policy When Supply Matters: Online Appendix

Math 2214 Solution Test 1A Spring 2016

Transcription:

Linear Quadrai Regulaor (LQR) - Sae Feedbak Design A sysem is expressed in sae variable form as x = Ax + Bu n m wih x( ) R, u( ) R and he iniial ondiion x() = x A he sabilizaion problem using sae variable feedbak he following formulaes he sabilizaion problem using sae variable feedbak We assume ha all he saes are measurable (or observable) and seek o find a sae-variable feedbak (SVFB) onrol u = Kx + v whih guaranees obaining he desired losed-loop properies he losed-loop sysem using his onrol beomes x = ( A BK) x + Bv = A x + Bv wih A he losed-loop plan marix and v() he new inpu for he losed loop sysem he sabilizaion problem has soluion if and only if he sysem is sabilizable (reahable), ie he reahabiliy marix is inverible If here is only one inpu so ha m=1, hen Akermann's formula gives a sae variable feedbak gain K ha plaes he poles of he losed-loop sysem as desired (suh ha he losed loop sysem is sable and has he desired performanes speified by he engineer) We now inrodue a mehod of designing onrollers whih produe opimal response of he losed loop sysem, in he sense of minimizing a erain performane index Unlike Akermann s formula, ha an only be used o deermine a onroller for a single-inpu sysem, he ehnique ha we now inrodue works for any number of inpus B Opimal sabilizaion problem using sae variable feedbak o design a sae variable feedbak gain ha is opimal, we define he performane index (PI) J = x Qx+ u Ru d he objeive of opimal sae variable feedbak design is o sele he sae variable feedbak gain K whih sabilizes he sysem and also minimizes he performane index J Sine he plan is linear and he performane index is quadrai, he problem of deermining he sae variable feedbak whih minimizes J is alled he Linear Quadrai Regulaor (LQR) he word 'regulaor' refers o he fa ha he funion of his feedbak is o regulae he saes o zero hus in his ase we assume ha he inpu signal v() is equal o zero sine our only onern here are he inernal sabiliy properies of he losed-loop sysem 1

Compared o he sae feedbak sabilizaion problem, where he performane of he losed loop sysem was speified by desired posiions of he poles of he losed loop, in his ase he desired performane of he sysem is given by he values of he wo maries Q and R presen in he performane index o be minimized he performane index J an be inerpreed as an energy funion, suh ha making i small keeps small he oal energy of he losed-loop sysem Noe ha boh he sae x() and he onrol inpu u() are weighed in J, so ha if J is small, hen neiher x() nor u() an be oo large Also, if J is minimized, hen i is erainly finie, and sine i is an infinie inegral of x(), his implies ha x () as his guaranees ha he losed-loop sysem will be sable C Wha is he inuiion behind hoosing he wo maries Q and R? his performane index desribes a balane beween he amoun of energy used o ahieve desired performanes and he speified desired performanes his balane is desribed by he hoie of he wo maries Q (an n n marix) and R (an m m marix) whih are seleed by he design engineer Depending on how hese design parameers are seleed, he losed-loop sysem will exhibi a differen response a Seleing Q large means ha, in order o keep J small, he sae x() mus be smaller his means ha larger values of Q generally resul in he poles of he losed-loop sysem marix A = ( A BK) being furher lef in he s-plane so ha he sae deays faser o zero b Seleing R large means ha he onrol inpu u() mus be smaller o keep J small Larger R means ha less onrol effor is used, so ha he poles are generally slower, resuling in larger values of he sae x() One should sele Q o be posiive semi-definie and R o be posiive definie his means ha - he salar quaniy x Qx is always posiive or zero a eah ime for all funions x(), and he salar quaniy u Ru is always posiive a eah ime for all values of u() - in erms of eigenvalues, he eigenvalues of Q should be non-negaive, while hose of R should be posiive - if boh maries are seleed diagonal, hen all he enries of R mus be posiive while hose of Q should be posiive, wih possibly some zeros on is diagonal Noe ha if R is hosen posiive definie hen R is inverible

D Under whih ondiions an we find a onroller wih a finie value for he os funion? Before proeeding o he derivaion of he opimal sae feedbak onrol poliy whih minimizes he infinie horizon performane index, firs we would like o know under whih ondiions we would be able o derive a onroller whih would resul in a finie value for he os funion In oher words, if for any iniial value for he sae and for any onrol u() we obain ha he os funion is equal o infiniy, hen he problem of obaining an opimal sae feedbak onroller whih minimizes J would have no meaning When is he opimizaion problem solvable? he ondiion whih makes possible obaining a sae feedbak onrol poliy whih has a finie os is ha he sysem is reahable (ie he reahabiliy marix is inverible, or ( AB, )- reahable) Say ha he sysem is reahable, hen here exiss a sae feedbak onroller u = Kx suh ha he losed loop sysem is sable Considering ha he iniial sae of he sysem is x hen he rajeories of he saes of he losed loop sysem would be ( A BK) ( A BK) ( A BK) ( ) ( A BK) ( A BK) ( A BK) u () = Ke x hen he os funion (performane index) beomes Define J = x e Q+ K RK e dx x () = e x and he onrol inpu M = e ( Q+ K RK) e d hen, if he losed loop sysem is sable, J = x Mx < (he os is finie) E How an we alulae he opimal onroller? One an show ha if he sysem is reahable (ie he reahabiliy marix is inverible) hen he minimum value of he performane index, for any iniial ondiion of he sae veor, is = J ( x ) x Px where P is he posiive semi-definie soluion of he algebrai Riai equaion (ARE) A P + PA + Q PBR B P = (Showing his is beyond he objeive of his leure) Using he above resul we will now derive he opimal sae feedbak gain Say ha u = K x is he opimal sae feedbak onrol poliy whih deermines he minimum value of he performane index and sabilizes he sysem Noie ha = + J ( x ) x ( Q K RK ) xd J ( x ) = x Px = ( x Px)' d 3

where we assumed ha he losed-loop sysem is sable so ha x () as hen we an wrie Knowing ha x ( Q+ K RK ) x= ( x Px)' whih is x Px+ x Px + x Qx+ x K RK x= x = ( A BK ) x= Ax hen we obain ( + + + ) = x A Px+ x PA x+ x Qx+ x K RK x= x A P PA Q K RK x he las equaion has o hold for every x() herefore, he erm in brakes mus be idenially equal o zero hus one sees ha ( A BK) P+ PA ( BK) + Q+ K RK = A P+ PA+ Q+ K RK K B P PBK = his is a marix quadrai equaion whih we an wrie as A P+ PA+ Q PBR B P + PBR B P+ K RK K B P PBK = Now remember ha A P + PA + Q PBR B P =, hen PBR B P+ K RK K B P PBK =, whih an be wrien as ( K R B P) RK ( R B P) = Sine R is a posiive definie marix hen his relaion will hold only if K R B P= hus he opimal sae feedbak onroller whih minimizes he given quadrai os index is given by K = R B P where he P marix is he soluion of he ARE A P + PA + Q PBR B P = Noie ha he minimal value of he performane index, obained using he opimal onroller gain, is J ( x ) = x Px and only depends on he iniial ondiion and he soluion of he ARE his means ha he os of using he opimal sae variable feedbak an be ompued from he iniial ondiions before he onrol is ever applied o he sysem F When is he opimal onrol poliy is also a sabilizing poliy? I an be shown ha even if he opimal value of he os funion is finie he opimal rajeories of he saes ould go o infiniy ake for example he sysem x = x+ u 4

and he os funion o be minimized is J = u d hen he ARE is p p = and has soluions p =, p = aking p = hen u = is he opimal onroller for any iniial ondiions and he opimal value of he performane index is However he rajeory of he sae is x () = ex, and goes o infiniy wih ime his shows ha he opimal onroller is no a sabilizing one Now we ask he quesion: Wha ondiion has o be saisfied suh ha he opimal onrol poliy is also a sabilizing poliy? he answer is If ( AB, ) is reahable and ( Q, A ) is observable hen he opimal sae feedbak onroller K = R B P, wih P a symmeri posiive semidefinie soluion of he ARE, is also a sabilizing onrol poliy Reall ha reahabiliy an be verified by heking ha he reahabiliy marix n U = [ B AB A B A B] has full rank n C CA Reall ha observabiliy an be verified by heking ha he observabiliy marix V = CA has full n 1 CA rank n If V is no square hen reall he use of he observabiliy grammian G Design proedure for finding he LQR feedbak gain K he design proedure for finding he LQR feedbak gain K is: 1 Verify if he sysem is reahable a If i is NO hen LQR design is impossible SOP If YES, he sele design parameer maries Q and R 3 Verify if he pair ( Q, A ) is observable a If NO hen go bak o sep and hoose a differen Q marix 4 If YES, solve he algebrai Riai equaion for P (he unique posiive semidefinie soluion) 5 Find he opimal sae variable feedbak using K = R B P here exis very good numerial proedures for solving he ARE he MALAB rouine ha performs his is named lqr(a,b,q,r) 5