\(\newcommand{\footnotename}{footnote}\)
\(\def \LWRfootnote {1}\)
\(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\let \LWRorighspace \hspace \)
\(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\)
\(\newcommand {\mathnormal }[1]{{#1}}\)
\(\newcommand \ensuremath [1]{#1}\)
\(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \)
\(\newcommand {\setlength }[2]{}\)
\(\newcommand {\addtolength }[2]{}\)
\(\newcommand {\setcounter }[2]{}\)
\(\newcommand {\addtocounter }[2]{}\)
\(\newcommand {\arabic }[1]{}\)
\(\newcommand {\number }[1]{}\)
\(\newcommand {\noalign }[1]{\text {#1}\notag \\}\)
\(\newcommand {\cline }[1]{}\)
\(\newcommand {\directlua }[1]{\text {(directlua)}}\)
\(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\)
\(\newcommand {\protect }{}\)
\(\def \LWRabsorbnumber #1 {}\)
\(\def \LWRabsorbquotenumber "#1 {}\)
\(\newcommand {\LWRabsorboption }[1][]{}\)
\(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\)
\(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\)
\(\def \mathcode #1={\mathchar }\)
\(\let \delcode \mathcode \)
\(\let \delimiter \mathchar \)
\(\def \oe {\unicode {x0153}}\)
\(\def \OE {\unicode {x0152}}\)
\(\def \ae {\unicode {x00E6}}\)
\(\def \AE {\unicode {x00C6}}\)
\(\def \aa {\unicode {x00E5}}\)
\(\def \AA {\unicode {x00C5}}\)
\(\def \o {\unicode {x00F8}}\)
\(\def \O {\unicode {x00D8}}\)
\(\def \l {\unicode {x0142}}\)
\(\def \L {\unicode {x0141}}\)
\(\def \ss {\unicode {x00DF}}\)
\(\def \SS {\unicode {x1E9E}}\)
\(\def \dag {\unicode {x2020}}\)
\(\def \ddag {\unicode {x2021}}\)
\(\def \P {\unicode {x00B6}}\)
\(\def \copyright {\unicode {x00A9}}\)
\(\def \pounds {\unicode {x00A3}}\)
\(\let \LWRref \ref \)
\(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\)
\( \newcommand {\multicolumn }[3]{#3}\)
\(\require {textcomp}\)
\(\newcommand {\intertext }[1]{\text {#1}\notag \\}\)
\(\let \Hat \hat \)
\(\let \Check \check \)
\(\let \Tilde \tilde \)
\(\let \Acute \acute \)
\(\let \Grave \grave \)
\(\let \Dot \dot \)
\(\let \Ddot \ddot \)
\(\let \Breve \breve \)
\(\let \Bar \bar \)
\(\let \Vec \vec \)
\(\require {mathtools}\)
\(\newenvironment {crampedsubarray}[1]{}{}\)
\(\newcommand {\smashoperator }[2][]{#2\limits }\)
\(\newcommand {\SwapAboveDisplaySkip }{}\)
\(\newcommand {\LaTeXunderbrace }[1]{\underbrace {#1}}\)
\(\newcommand {\LaTeXoverbrace }[1]{\overbrace {#1}}\)
\(\newcommand {\LWRmultlined }[1][]{\begin {multline*}}\)
\(\newenvironment {multlined}[1][]{\LWRmultlined }{\end {multline*}}\)
\(\let \LWRorigshoveleft \shoveleft \)
\(\renewcommand {\shoveleft }[1][]{\LWRorigshoveleft }\)
\(\let \LWRorigshoveright \shoveright \)
\(\renewcommand {\shoveright }[1][]{\LWRorigshoveright }\)
\(\newcommand {\shortintertext }[1]{\text {#1}\notag \\}\)
\(\newcommand {\vcentcolon }{\mathrel {\unicode {x2236}}}\)
\(\newcommand {\mC }{\mathbb C}\)
\(\newcommand {\mR }{\mathbb R}\)
\(\newcommand {\mN }{\mathbb N}\)
\(\newcommand {\mZ }{\mathbb Z}\)
\(\newcommand {\mL }{\mathcal L}\)
\(\newcommand {\mF }{\mathcal F}\)
\(\newcommand {\ipd }[2]{\langle #1 , #2 \rangle }\)
\(\newcommand {\Ipd }[2]{\left \langle #1 , #2 \right \rangle }\)
\(\newcommand {\sbm }[1]{\left [\begin {smallmatrix}#1\end {smallmatrix}\right ]}\)
\(\newcommand {\bbm }[1]{\begin {bmatrix}#1\end {bmatrix}}\)
\(\newcommand {\re }{{\rm Re}}\)
\(\newcommand {\imag }{{\rm Im}}\)
\(\newcommand {\e }{{\rm e}}\)
\(\newcommand {\HS }{{\rm HS}}\)
\(\newcommand {\cl }{{\rm cl}}\)
\(\newcommand {\wt }{\widetilde {w}}\)
\(\newcommand {\zt }{\widetilde {z}}\)
\(\newcommand {\xu }{\underline {x}}\)
\(\newcommand {\uu }{\underline {u}}\)
\(\DeclareMathOperator {\vecc }{vec}\)
\(\DeclareMathOperator {\trace }{trace}\)
\(\)
Chapter H Problem Sheet 8 (Lectures 16–17)
-
1. Consider the state-output system \(\dot {x}=Ax\), \(y=Cx\) with
\[ A=\bbm {1&0\\0&-1}\qquad C=\bbm {1&0}. \]
-
(a) Use the Hautus observability matrix to show that this system is detectable and not observable.
-
(b) Show using only the definitions of detectability and observability that this system is detectable and not observable.
-
2. Consider
\(\seteqnumber{0}{H.}{0}\)
\begin{align*}
\ddot {q}_1+2\dot {q}_1+q_1&=0,\\ \ddot {q}_2+q_2&=u.
\end{align*}
The equations can be written in first order form \(\dot {x}=Ax+Bu\) with
\[ x=\bbm {q_1\\\dot {q}_1\\q_2\\\dot {q}_2},\qquad A=\bbm {0&1&0&0\\-1&-2\zeta &0&0\\ 0&0&0&1\\0&0&-1&0},\qquad B=\bbm {0\\0\\0\\1}. \]
-
(a) Use the Hautus controllability matrix to show that the system is stabilizable and not controllable.
-
(b) Show using only the definitions of stabilizability and controllability that this system is stabilizable and not controllable.
-
3. Consider the input-state-output system \(\dot {x}=Ax+Bu\), \(y=Cx\) where
\[ A=\bbm {-1&0\\1&3},\qquad B=\bbm {0\\1},\qquad C=\bbm {2&1}. \]
Show that an observer-based stabilizing controller exists without explicitly calculating such a controller.