6 views

Uploaded by Angel Mariano

save

- Robust Attitude Control for Spacecraft Based on Normal Matrix and Pattern Search
- Computational Models for Reduction of Quarry Waste for Breakwater Construction Projects
- Lsopt 40 Manual
- elsivier
- 54872
- Power System Stabilizer
- W6 - System Dynamics
- Light Truck Frame Joint Stiffness Study Phase 3 Final Report
- Fuzzy Control
- Lecture2, Matrices
- Ziegler-Nichols Closed-Loop Tuning Method _ Control Notes
- 72
- 1-s2.0-S2212017315002601-main
- rotary hearth furnac
- 12660004 Compdyn Final
- studmaxx
- optimazation Chapter_2
- Genetic Algorithm
- lec41
- ResearchOnGainScheduling_Shamma2000.pdf
- Example Jcss Ms 2
- conopt3.pdf
- ScienceDirect - Computer Methods in Applied Mechanics and Engineering _ Inve
- Construction Facilitiy Layout
- Controle final_2009-2010 (corrigé)
- Linear algebra ma106 iitb
- Quantitative Business Analysis Sneak Preview
- 07 Mourelatos Bearings Paper
- exhaust.docx
- crt9949
- [Free-scores.com]_puccini-giacomo-che-gelida-manina-31640.pdf
- Manejo Integrado Cheasepeake Bay
- tres-discusiones-acerca-de-la-relacion-entre-prueba-y-verdad.pdf
- entrega 1.pptx
- Lamp Iran
- 1.- John Alexander Dowie
- Refisi Sop
- Free Fall (Big Band)
- 3. BAB I, BAB II, BAB III, BAB IV.pdf
- Proyecto Diplomado Siaf 2014 16012014
- mens retreat 2018
- IEC Materials
- MORNING REPORT I 10-8-17 - Copy.pptx
- La Provincia Di Cremona 06-08-2018 - Che Botta
- User-Friendly CEFR LP Template 2018
- Indisciplina Proyectual en Una Caja
- Document secret nu deschideti.pdf
- SK klinis.docx
- MP-01f-SMA, Agama Khonghucu Dan Budi Pekerti-Ok,040316 Single
- ACTIVIDAD N° 14 Trabajo Colaborativo II (1).pdf
- Economy of Pakistan
- C05.Trinidad
- ¿La Biblia Habla de Los Extraterrestres y Los OVNI
- Jadwal Harian Guru Mapel
- ISRA Peltier
- Alimentação
- آشنایی با میز دوار
- Test2
- Libro 11111
- Harold Bloom, A Angústia Da Influência
- 5 Electrode Drying OVEN
- MCDM stage
- Optimizacion Pso
- Proceso de Obtencion de Una Patente
- control optimo
- Balanza de Precision
- Fuente Conmutada
- Weidmuller Fuente
- conmutacion
- apv_dryer
- Optimización multi-objetivo
- PROGRAMA Maestria 20134
- Fuente Conmutada2
- Fuentes Conmutadas
- Simplicity Ai Brochure
- Guia de Bolsillo MX
- usermanual.pdf
- Nazca Lines
- Bascula Grs
- securedownload (1)
- 0e1f4db901f06ed78610286dbb805832 5 ABB Application Manual Generator Protection REG650 1.2 ANSI
- HYSYS for UTM Degree Program
- RS_DS_ES_£_80774435_A_2013
- Modelos Fricc Dinamica ARM
- 09_chapter_2.pdf
- Mass Air Flowsensor
- PID Control Implementation and Tuning
- 2CSC441022B0201
- EC00002E37ES_2012_SCREEN
- PDF_042.pdf

You are on page 1of 8

**6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski
**

�

**Solving the H2 optimization problem1
**

There are several ways to derive a solution to the H2 optimization problem. The path de veloped below relies on reduction of the output feedback design problem to an “abstract” optimal program control problem.

3.1

A Characterization of Closed Loop Impulse Responses

This section provides an insight into the constraints imposed on the closed loop system by the coeﬃcients of the ouput feedback design plant x ˙ = Ax + B1 w + B2 u, y = C2 x + D21 w, stabilized by a ﬁnite order strictly proper LTI controller x ˙ f = Af xf + Bf y, u = C f xc .

� 1

(3.1) (3.2)

(3.3) (3.4)

c

A. Megretski, 2004

Version of February 17, 2004

D21 = 0 I . �). w2 ]. but is parameterized by (3. �(0) = 0.5) represents the constraints on the closed loop responses in the case of “full information control”. i.8).8) to get sx ˜ = Ax ˜ + B2 u ˜+w ˜1 .8) (3. 1.(3. It is suﬃcient to prove the theorem for the case when � � � � B1 = I 0 .5) follows from (3.9) with w = [w1 .1.7) where ˙ t) = �(t)A + V (t)C2 . �( Equality (3.1 Assume (A. Theorem 3. }.5) and there exist a real matrix-valued function V = V (t). such that U (t) = �(t)B1 + V (t)D21 . lim �(t) = 0. U (t)) of matrix-valued functions can be achieved as implulse responses in a sta ble closed loop system if and only if ˙ (t) = AX (t) + B2 U (t). A) is detectable.e.1 An Aﬃne Parameterization Let X = X (t) denote the impulse response matrix from w to x in the closed loop system. �(t) and �(t) to con verge to zero as t � � should be replaced by the condition of their square integrability over {t} = (0. Similarly. y = C 2 x + w2 (3. when system equations have the form x ˙ = Ax + B2 u + w1 .2 3. .7). each entry of which is a linear combination of terms of the form tk e−st with k → {0. B2 ) is stabilizable and (C2 . we do not need the suﬃ ciency part of the theorem.6) (3. let U = U (t) be the impulse response matrix from w to u. . . Theorem 3. together with a slight modiﬁcation of Theorem 3. . X (0) = B1 .6). It will be proven later. Then a pair (X (t).1 concerning the so-called “Q-parameterization”.1 can be generalized to the case of ﬁnite H2 norm stabilization by inﬁnite order LTI controllers. Then (3. When output feedback is considered. One way to see this is by applying the one-sided Laplace transform (denoted by tildes) to (3. U (t) is not arbitrary. lim X (t) = 0. t�� (3. whem x and w are available for measurement. Proof For the purpose of driving the H2 optimal controller. Re(s) > 0. X t�� (3. in which case the conditions requiring X (t).

�(0) = 0.14) . (3.3 Since ˜ w.13) (3. To prove (3. . � H = KX − �B1 − V D21 (3. �(0) = 0. X ˙ = �A + V C2 . lim �(t) = 0. Re(s) > 0. 1.11) where ˙ t) = �(t)A + V (t)C2 .12) (3.7).2 A matrix function G = G(t) can be achieved as a closed loop impulse response from w to Kx − u if and only if there exists a real matrix-valued function V = V (t). �( Proof For now.6) and (3. Therefore ˜= U � ˜ C2 (sI − A)−1 V ˜ V � � I −C2 (sI − A)−1 � ˜1 = 0 w � I 0 � w. }. �(0) = K. consider the closed loop response from w to Kx − u.1. Theorem 3. ˜ w. where K is a given matrix. t�� (3. . such that G(t) = �(t)B1 + V (t)D21 . X (0) = B1 . According to Theorem 3. �( 3.1. a stabilized closed loop impulse response from w to Kx − u equals the response H of system ˙ = AX + B2 (�B1 + V D21 ). ˜ for some V . Hence ˜2 = −C2 (sI − A)−1 w ˜1 w would always imply ˜ u ˜=U for an arbitrary w ˜1 . u(t) ≥ 0 whenever y (t) ≥ 0. each entry of which is a linear combination of terms of the form tk e−st with k → {0.2 A Characterization of State Estimation Errors As a special case of the general closed loop response parameterization.5) follows. Converting this to time domain terms yields U = [� V ] where ˙ t) = �(t)A + V (t)C2 . we will only prove necessity (this is the part we need for H2 optimization). x ˜=X ˜ u ˜=U ˜ w ˜1 = and w ˜ is arbitrary.10) (3. by linearity of the controller. note that. .

according to Theorem 3.17) One motivation for considering abstract H2 optimization is the “full information” version of the standard H2 output feedback design.2 Abstract H2 Optimization We will use the term “abstract H2 optimization” to refer to an auxiliary optimization problem: an optimal program control in completely deterministic settings. when X (0) = B1 is replaced by X (0) = 0) must coincide with a zero-state response of (3. (3. According to Theorem 3. a function of time q = q (t) (bounded for t → [0.10). �) and converging to zero as t � �) such that the solution p = p(t) of p ˙(t) = ap(t) + bq (t).2. and the optimal controller. On the other hand.(3.1 Formal Deﬁnitions and Relation to Output Feedback Design An abstract H2 optimization problem is deﬁned by a stabilizable LTI system � � a b . for every ﬁxed vector p0 in the state space.11). with V ≥ 0) has � ≥ 0 and hence H (t) = H0 (t) = KeAt B1 . (3. 3.1. 0 (3. Note that the zero input response of system (3. S= c d and requests ﬁnding. minimizes the quadratic integral � � �(u(·)) = |cp(t) + dq (t)|2 dt � min . p(0) = p0 (3. the closed loop H2 norm can be expressed as the integral � � �f i = ∞C1 X (t) + D12 U (t)∞2 F dt.4 to an input V which makes X (�) = 0 and �(�) = 0.16) and. 0 .e.e. can be obtained easily from solutions of the two auxiliary problems. as well as a parameterization of suboptimal controllers. It turns out that a general H2 feedback design problem reduces to a pair of abstract H2 optimizations.10).15) satisﬁes t�� lim p(t) = 0.(3. every zero-state response of the system (i.13) (i.1. 3.12). subject to this constraints.11) with V ≥ 0. This response can be achieved in (3.

. c = C1 . d = D21 . and X. V . X If Xi . U are the closed loop impulse responses from w to x and u respectively. 3.2 The “easy” version of the KYP Lemma The so-called “Kalman-Yakubovich-Popov Lemma” (also frequently referred to as the “Positive Real Lemma” provides. A similar motivation for abstract H2 optimization comes from an attempt to minimize the closed loop H2 norm from w to Kx − u.2. U . K respectively. c = B1 . � Let �i . The much simpliﬁed version of the KYP Lemma we need here will be complemented by a full statement used extensively in H-Inﬁnity optimization and optimization relying on semideﬁnite programming. Vi . �(0) = K.2. U (�) = 0. a complete solution to abstract H2 optimization. X (�) = 0. and B1 respectively. B1i denote the i-th column of X . p0 = B1i .5 where → ∞M ∞2 F = trace(M M ) denotes the square of the Frobenius norm of matrix M . Xi (0) = B1i . 0 minimizing which leads to solving a family of independent abstract H2 optimization prob lems with → → → a = A→ . i 0 Since every 3-typle (Xi . Ki be the i-th row of �. b = C 2 . B1i is independently constrained by ˙ i (t) = AXi (t) + B2 Ui (t). p0 = Ki→ . H = �B1 + V D21 . X (0) = B1 . According to Theorem 3. among other things. where K is a given matrix. b = B2 . the closed loop impulse response can be chosen according to ˙ = �A + V C2 . d = D12 . X the task of minimizing �f i decomposes into independent abstract H2 minimizations with a = A. constrained only by ˙ = AX + B2 U. The H2 norm of H equals the sum of the integrals � � |�i (t)B1 + Vi (t)D21 |2 dt. �f i can be written as � � �f i = |C1 Xi (t) + D12 Ui (t)|2 dt. Ui . Ui .

Then the following conditions are equivalent: (a) a unique optimal control exists for every p0 in the abstract H2 optimization problem (3.18) � � � � �� x2 xn . .17). �� x1 �1 �n �� x1 x2 . . (d) d→ d > 0 and there exist (unique) matrices β = β→ � 0 and k such that a + bk is a Hurwitz matrix. and β can be found from β=− where � �1 �2 . xn �−1 . i. b) is stabilizable. the dimension of the strictly stable invariant subspace V+ of H will equal the number n of components of p. and the minimal cost equals p→0 βp0 . .e.15)-(3. If conditions (a)-(d) are satisﬁed then the optimal q is deﬁned by the relation q = kp. (c) d→ d > 0. .3 Assume that pair (a. �2 �n is an arbitrary basis in V+ . (3. . and |cp + dq |2 + 2p→ β(ap + bq ) = (q − kp)→ d→ d(q − kp) for all vectors p. . Moreover. (b) matrix M (jψ ) = � a − jψI b c d � is left invertible for all ψ → R and at ψ = � (which means that d is left invertible as well). q� (t) = ke(a+bk)t p0 . and matrix H= � a − b(d→ d)−1 d→ c b(d→ d)−1 b→ → → → −1 → → c c − c d(d d) d c −a + c→ d(d→ d)−1 b→ � has no eigenvalues on the imaginary axis.6 Theorem 3. q .

. called the algebraic Riccati equation (ARE): � + β� + � → β = βαβ.2. b = C 2 . Condition (d) deﬁnes a completion of squares procedure. deﬁned by → → → a = A→ . c = C1 .18). � −� → A solution β for which a + bk = � − αβ is a Hurwitz matrix is called a stabilizing solution of the ARE. the corresponding completion of squares is possible.7 Matrix H is usually called the Hamiltonian matrix associated with the abstract H2 optimization. and absense of sensor singularity is equivalent to satisfying (b) in the abstract setup deﬁned by (3. (3. d = D12 . It deﬁnes the “optimal controller” gain k in q = kp. where �. which is a natural and intuitive way of solving the abstract H2 optimization problem. c = B1 . By comparing the coeﬃcients on both sides of (3.20) It is easy to verify by inspection that absense of control singularity in the original feedback design setup is equivalent to satisfying condition (b) of Theorem 3. b = B2 . formally. Condition (c) provides a convenient way of checking the non-singularity imposed by (b). (3. in the non-singular case.19) and the “state estimation” version. �. Hence.3 Solution of Feedback H2 Optimization In order to solve the standard H2 feedback optimization problem. abstract H2 optimization is about program control optimization. one can derive a quadratic algebraic equation for β. A stabilizing solution. k = Kf i in the control setup.19). the “full information control” version.19). is unique.3 in the abstract setup deﬁned by (3. deﬁned with a = A. 3. α are the coeﬃcients of the Hamiltinian matrix: � � � α H= . if it exists. with matrices β = Pf i . d = D21 . consider the two aux iliary abstract H2 optimization setups. We will postpone proving the KYP Lemma until its full version is formulated. though. β = Pse and k = Kse in the state estimation setup.

dt and provides the minimal H2 norm (squared) of → → → J� = trace(B1 Pf i B1 + trace(D12 Kf i Pse Kf e D12 ). 0 This can be interpreted as saying that. and is achieved when the impulse response G from w to Kf i x − u is given by G(t) = �(t)B1 + V (t)D21 .4 The H2 optimal controller is deﬁned by u(t) = Kf i x ˆ(t). this optimal impulse response is achieved by the controller in the formu lation of the theorem. dx ˆ(t) → = Ax ˆ(t) + B2 u(t) + Kse (C2 x ˆ(t) − y (t)).21) (3. u must be the best estimate of Kf i x. �( . 0 According to the deﬁnition of Kf i and Pf i . this integral equals � � → J = trace(B1 Pf i B1 + ∞D12 (U − Kf i X )∞2 F dt. in the sense that the H2 norm from w to D12 (u − Kf i x) should be minimal. By inspection. in the H2 optimal closed loop system. �(0) = K. the minimal estimation error equals → → trace(D12 Kf i Pse Kf e D12 ). (3. where and V (t) = �(t)Kse .22) Proof The overall closed loop H2 norm (squared) is given by � � J= ∞C1 X (t) + D12 U (t)∞2 F dt. According to the deﬁnition of Kse and Pse . ˙ t) = �(t)A + V (t)C2 .8 Theorem 3.

- Robust Attitude Control for Spacecraft Based on Normal Matrix and Pattern SearchUploaded bynab05
- Computational Models for Reduction of Quarry Waste for Breakwater Construction ProjectsUploaded byAlexandra Sandu
- Lsopt 40 ManualUploaded byfantacyboy
- elsivierUploaded byErna Utami
- 54872Uploaded byNurSaadah
- Power System StabilizerUploaded byAsif Ali Shaik
- W6 - System DynamicsUploaded byAnaaAriiyantoUya
- Light Truck Frame Joint Stiffness Study Phase 3 Final ReportUploaded byRajendra Pethe
- Fuzzy ControlUploaded byOla Skeik
- Lecture2, MatricesUploaded byHisham Mostafa
- Ziegler-Nichols Closed-Loop Tuning Method _ Control NotesUploaded byEstevaoasd
- 72Uploaded bysudhialamanda
- 1-s2.0-S2212017315002601-mainUploaded byRajendra Shrestha
- rotary hearth furnacUploaded bykamphunk
- 12660004 Compdyn FinalUploaded byRodrigo Lezameta
- studmaxxUploaded byAnchit Gupta
- optimazation Chapter_2Uploaded bybakhtyar21
- Genetic AlgorithmUploaded byHemanthKumar
- lec41Uploaded byKumar
- ResearchOnGainScheduling_Shamma2000.pdfUploaded bycmpmarinho
- Example Jcss Ms 2Uploaded byingrcl
- conopt3.pdfUploaded byPremanshu Singh
- ScienceDirect - Computer Methods in Applied Mechanics and Engineering _ InveUploaded byWalter Vermehren
- Construction Facilitiy LayoutUploaded byyasin husen
- Controle final_2009-2010 (corrigé)Uploaded byKhalid Zeg
- Linear algebra ma106 iitbUploaded byAritra Lahiri
- Quantitative Business Analysis Sneak PreviewUploaded byk_ij9658
- 07 Mourelatos Bearings PaperUploaded bysameh5000
- exhaust.docxUploaded bySubhodip Mukherjee
- crt9949Uploaded bypostscript

- 5 Electrode Drying OVENUploaded byAngel Mariano
- MCDM stageUploaded byAngel Mariano
- Optimizacion PsoUploaded byAngel Mariano
- Proceso de Obtencion de Una PatenteUploaded byAngel Mariano
- control optimoUploaded byAngel Mariano
- Balanza de PrecisionUploaded byAngel Mariano
- Fuente ConmutadaUploaded byAngel Mariano
- Weidmuller FuenteUploaded byAngel Mariano
- conmutacionUploaded byAngel Mariano
- apv_dryerUploaded byAngel Mariano
- Optimización multi-objetivoUploaded byAngel Mariano
- PROGRAMA Maestria 20134Uploaded byAngel Mariano
- Fuente Conmutada2Uploaded byAngel Mariano
- Fuentes ConmutadasUploaded byAngel Mariano
- Simplicity Ai BrochureUploaded byAngel Mariano
- Guia de Bolsillo MXUploaded byAngel Mariano
- usermanual.pdfUploaded byAngel Mariano
- Nazca LinesUploaded byAngel Mariano
- Bascula GrsUploaded byAngel Mariano
- securedownload (1)Uploaded byAngel Mariano
- 0e1f4db901f06ed78610286dbb805832 5 ABB Application Manual Generator Protection REG650 1.2 ANSIUploaded byAngel Mariano
- HYSYS for UTM Degree ProgramUploaded byAngel Mariano
- RS_DS_ES_£_80774435_A_2013Uploaded byAngel Mariano
- Modelos Fricc Dinamica ARMUploaded byAngel Mariano
- 09_chapter_2.pdfUploaded byAngel Mariano
- Mass Air FlowsensorUploaded byAngel Mariano
- PID Control Implementation and TuningUploaded byAngel Mariano
- 2CSC441022B0201Uploaded byAngel Mariano
- EC00002E37ES_2012_SCREENUploaded byAngel Mariano
- PDF_042.pdfUploaded byAngel Mariano