next up previous
Next: 特異値による感度解析 Up: ロバスト制御 (Robust Control) Previous: ロバスト制御とは


システム感度(Sensitivity)

軌道感度基準

ある与えられたプラント

\begin{displaymath}
\dot{\mbox{\boldmath$x$}}=\mbox{\boldmath$Ax$}+\mbox{\boldmath$Bu$}
\end{displaymath} (2.602)

のパラメータ 、 $\mbox{\boldmath$A$}$, $\mbox{\boldmath$B$}$が変動をすると、その特性が変化する。このパラメータ変動に対する 特性の変化を感度(Sensitivity)という。一般に制御系においては特性の変化のないことが望ましい から感度が小さい方が良い。

二つのシステムの感度を比較するに際して、パラメータが変動する前、すなわち基準値 (これをノミナル値という)において、二つのシステムが等しい特性を有している必要 がある。(これをノミナル値等価という)パラメータ変動後両システムに同一の入力 を加えたとき出力の基準状態に対する変動分の大きさによって感度を比較するとき軌道 感度という。

いまノミナル値等価な開ループ系と閉ループ系の感度を比較してみる。そのため前者には 添字$o$を後者には$c$を付すことにし、ノミナル値において同一入力を加えたときの 出力を $\mbox{\boldmath$x$}_0(t)$, $\mbox{\boldmath$x$}_c(t)$とする。このとき $\mbox{\boldmath$x$}_0(t)=\mbox{\boldmath$x$}_c(t)$である。 パラメータ変動後、同じ入力を加えた場合の出力を $\mbox{\boldmath$x$}'_0(t)$, $\mbox{\boldmath$x$}'_c(t)$ としたとき、変動分はそれぞれ

\begin{displaymath}
\delta\mbox{\boldmath$x$}_0(t)= \mbox{\boldmath$x$}'_0(t)-\mbox{\boldmath$x$}_0(t)
\end{displaymath} (2.603)


\begin{displaymath}
\delta\mbox{\boldmath$x$}_c(t)= \mbox{\boldmath$x$}'_c(t)-\mbox{\boldmath$x$}_c(t)
\end{displaymath} (2.604)

で表せる。両システムの軌道感度基準は、総ての$t_1>0$に対して
\begin{displaymath}
I_{M_0} = \int^{t_1}_0\delta\mbox{\boldmath$x$}^T_0(t)\mbox{\boldmath$Z$}\delta\mbox{\boldmath$x$}_0(t)dt
\end{displaymath} (2.605)


\begin{displaymath}
I_{M_c} = \int^{t_1}_0\delta\mbox{\boldmath$x$}^T_c(t)\mbox{\boldmath$Z$}\delta\mbox{\boldmath$x$}_c(t)dt
\end{displaymath} (2.606)

で定義される。ここで $\mbox{\boldmath$Z$}$は対称正定または準正定な重み行列である。
もし
\begin{displaymath}
\int^{t_1}_0\delta\mbox{\boldmath$x$}^T_c(t)\mbox{\boldmath...
...$x$}^T_0(t)\mbox{\boldmath$Z$}\delta\mbox{\boldmath$x$}_0(t)dt
\end{displaymath} (2.607)

であれば閉ループ系が開ループ系より感度が減少していることを意味している。
(2.619)式に$Parseval$の定理を適用すると
\begin{displaymath}
\int^{\infty}_{-\infty}\delta\mbox{\boldmath$x$}^T_c(-j\omeg...
...\mbox{\boldmath$Z$}\delta\mbox{\boldmath$x$}_0(j\omega)d\omega
\end{displaymath} (2.608)

となり、周波数領域で示した軌道感度比較を示している。

開ループ系と閉ループ系の関係

図 2.36: 開ループ系と閉ループ系
\begin{figure}\begin{center}
\psbox[scale=0.60]{eps/2-11-1.eps} \end{center} \end{figure}

いま図2.36に示すノミナル値等価な開ループ系と閉ループ系を考える。ノミナル値 等価であるので $\mbox{\boldmath$x$}_0(s)=\mbox{\boldmath$x$}_c(s)$, $\mbox{\boldmath$u$}_0(s)=\mbox{\boldmath$u$}_c(s)$ である。パラメータ変動による出力変動は開ループ系の場合、 $\mbox{\boldmath$u$}'_0(s)=\mbox{\boldmath$u$}_0(s)$ であるので、

$\displaystyle \delta\mbox{\boldmath$x$}_0(s)$ $\textstyle =$ $\displaystyle \mbox{\boldmath$x$}'_0(s)-\mbox{\boldmath$x$}_0(s) = \mbox{\boldm...
...G$}'(s)\mbox{\boldmath$u$}'_0(s)-\mbox{\boldmath$G$}(s)\mbox{\boldmath$u$}_0(s)$  
  $\textstyle =$ $\displaystyle [\mbox{\boldmath$G$}'(s)-\mbox{\boldmath$G$}(s)]\mbox{\boldmath$u$}_0(s)$ (2.609)

であり、閉ループ系の場合は
$\displaystyle \mbox{\boldmath$u$}'_c(s)$ $\textstyle =$ $\displaystyle \mbox{\boldmath$r$}(s)-\mbox{\boldmath$F$}(s)\mbox{\boldmath$x$}'_c(s)$  
  $\textstyle =$ $\displaystyle \mbox{\boldmath$r$}(s)-\mbox{\boldmath$F$}(s)\mbox{\boldmath$x$}_c(s)-\mbox{\boldmath$F$}(s)\{\mbox{\boldmath$x$}'_c(s)-\mbox{\boldmath$x$}_c(s)\}$  
  $\textstyle =$ $\displaystyle \mbox{\boldmath$u$}_c(s)-\mbox{\boldmath$F$}(s)\{\mbox{\boldmath$x$}'_c(s)-\mbox{\boldmath$x$}_c(s)\}$ (2.610)

にな、るので、
$\displaystyle \delta\mbox{\boldmath$x$}_c(s)$ $\textstyle =$ $\displaystyle \mbox{\boldmath$x$}'_c(s)-\mbox{\boldmath$x$}_c(s)=\mbox{\boldmath$G$}'(s)\mbox{\boldmath$u$}'_c(s)-\mbox{\boldmath$G$}(s)\mbox{\boldmath$u$}_c(s)$  
  $\textstyle =$ $\displaystyle \mbox{\boldmath$G$}'(s)\mbox{\boldmath$u$}_c(s)-\mbox{\boldmath$G...
...c(s)-\mbox{\boldmath$x$}_c(s)\}-
\mbox{\boldmath$G$}(s)\mbox{\boldmath$u$}_c(s)$  
  $\textstyle =$ $\displaystyle -\mbox{\boldmath$G$}'(s)\mbox{\boldmath$F$}(s)\delta\mbox{\boldma...
...}_c(s)+[\mbox{\boldmath$G$}'(s)-\mbox{\boldmath$G$}(s)]\mbox{\boldmath$u$}_c(s)$ (2.611)

となり、 $\delta\mbox{\boldmath$x$}_0(s)$ $\delta\mbox{\boldmath$x$}_c(s)$との関係は
$\displaystyle \delta\mbox{\boldmath$x$}_c(s)$ $\textstyle =$ $\displaystyle [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}'(s)\mbox{\boldmath$F$}(s)]^{-1}[\mbox{\boldmath$G$}'(s)-\mbox{\boldmath$G$}(s)]\mbox{\boldmath$u$}_c(s)$  
  $\textstyle =$ $\displaystyle [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}'(s)\mbox{\boldmath$F$}(s)]^{-1}\delta \mbox{\boldmath$x$}_0(s)$ (2.612)

になる。
\begin{displaymath}
\mbox{\boldmath$S$}(s) = [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}'(s)\mbox{\boldmath$F$}(s)]^{-1}
\end{displaymath} (2.613)

としたとき、これを比較感度行列といい、その逆行列
\begin{displaymath}
\mbox{\boldmath$T$}(s) = [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}'(s)\mbox{\boldmath$F$}(s)]
\end{displaymath} (2.614)

を還送差(Return Difference)という。

ここで、パラメータ変動が小さく、かつ $\mbox{\boldmath$x$}_c(s),\mbox{\boldmath$x$}_0(s)$および $\mbox{\boldmath$G$}(s)$ がパラメータに連続的に依存するとした場合、(2.625)、(2.626)式 は近似的に

$\displaystyle \mbox{\boldmath$S$}(s)$ $\textstyle =$ $\displaystyle [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}(s)\mbox{\boldmath$F$}(s)]^{-1}$ (2.615)
$\displaystyle \mbox{\boldmath$T$}(s)$ $\textstyle =$ $\displaystyle [\mbox{\boldmath$I$}+\mbox{\boldmath$G$}(s)\mbox{\boldmath$F$}(s)]$ (2.616)

とおくことができる。これは次の理由による。

いま $\mbox{\boldmath$G$}$の中で変動するパラメータのパラメータ・ベクトルを

\begin{displaymath}
\mbox{\boldmath$\alpha$} = [\alpha_1,\alpha_2,\cdots,\alpha_k]^T
\end{displaymath} (2.617)

とする。 $\mbox{\boldmath$\alpha$}$をノミナルの時の値としたとき、(2.614)式 のプラントの状態方程式を
\begin{displaymath}
\dot{\mbox{\boldmath$x$}}(t)= \mbox{\boldmath$Ax$}(t)+\mbox{...
...{\boldmath$f$}(\mbox{\boldmath$x$},t,\mbox{\boldmath$\alpha$})
\end{displaymath} (2.618)

とし、パラメータが $\mbox{\boldmath$\alpha$}$から $\mbox{\boldmath$\alpha$}'$に変化したとき
\begin{displaymath}
\dot{\mbox{\boldmath$x$}'}(t) = \mbox{\boldmath$A$}'\mbox{\b...
...\boldmath$f$}(\mbox{\boldmath$x$},t,\mbox{\boldmath$\alpha$}')
\end{displaymath} (2.619)

とする。この式を $\mbox{\boldmath$\alpha$}$の点に関してテーラー展開をすると
$\displaystyle \dot{\mbox{\boldmath$x$}'}(t)$ $\textstyle =$ $\displaystyle \mbox{\boldmath$f$}(\mbox{\boldmath$x$},t,\mbox{\boldmath$\alpha$...
...{\boldmath$\alpha$}} \cdot (\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})$  
    $\displaystyle +\frac{1}{2!}\left.\frac{\partial^2\mbox{\boldmath$f$}(\mbox{\bol...
...\alpha$}} \cdot (\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})^2 + \cdots$ (2.620)

になる。パラメータ変化分 $(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})$が小さいとき上式は次のように近似される。
\begin{displaymath}
\dot{\mbox{\boldmath$x$}'}(t) \simeq \mbox{\boldmath$f$}(\mb...
...}}
\cdot (\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})
\end{displaymath} (2.621)

したがって(2.633)式から(2.630)式を引くと
\begin{displaymath}
\delta\dot{\mbox{\boldmath$x$}}'(t) = \dot{\mbox{\boldmath$x...
...$}} \cdot (\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})
\end{displaymath} (2.622)

となる。上式を初期値を0として積分すると
$\displaystyle \delta\mbox{\boldmath$x$}(t)$ $\textstyle =$ $\displaystyle \left.\frac{\partial[\int\mbox{\boldmath$f$}(\mbox{\boldmath$x$},...
...{\boldmath$\alpha$}} \cdot
(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})$  
  $\textstyle =$ $\displaystyle \left.\frac{\partial\mbox{\boldmath$x$}(t)}
{\partial\mbox{\boldm...
...{\boldmath$\alpha$}} \cdot
(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})$ (2.623)

になる。

開ループ系に対し、この式をs領域で表示すると

\begin{displaymath}
\delta\mbox{\boldmath$x$}_0(s) = \left.\frac{\partial\mbox{\...
...h$u$}_0(s)(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})
\end{displaymath} (2.624)

となり、閉ループ系に対しては
$\displaystyle \delta\mbox{\boldmath$x$}_c(s)$ $\textstyle =$ $\displaystyle \left.\frac{\partial\mbox{\boldmath$x$}_c(s)}{\partial\mbox{\bold...
...x{\boldmath$\alpha$}}
\cdot(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})$  
  $\textstyle =$ $\displaystyle \{ \left.\frac{\partial\mbox{\boldmath$G$}(s)}{\partial\mbox{\bol...
...h$\alpha$}} \} \cdot
(\mbox{\boldmath$\alpha$}'-\mbox{\boldmath$\alpha$})\qquad$ (2.625)

となる。 $\mbox{\boldmath$u$}_c(s) = \mbox{\boldmath$u$}_0(s)$であり、かつ
\begin{displaymath}
\left. \frac{\partial\mbox{\boldmath$u$}_c}{\partial\mbox{\b...
...ox{\boldmath$\alpha$}} \right\vert _{\mbox{\boldmath$\alpha$}}
\end{displaymath} (2.626)

であるから
\begin{displaymath}
\delta\mbox{\boldmath$x$}_c(s) = \delta\mbox{\boldmath$x$}_0...
...ath$G$}(s)\mbox{\boldmath$F$}(s)\delta\mbox{\boldmath$x$}_c(s)
\end{displaymath} (2.627)

すなわち
\begin{displaymath}
\delta\mbox{\boldmath$x$}_0(s) = [\mbox{\boldmath$I$}+\mbox{...
...th$G$}(s)\mbox{\boldmath$F$}(s)]\delta\mbox{\boldmath$x$}_c(s)
\end{displaymath} (2.628)

になり、(2.627)式、(2.628)式と置いても良いことが云える。

2.640)式を、(2.620)式に代入すると

$\displaystyle \int^{\infty}_{-\infty}\delta\mbox{\boldmath$x$}^T_c(-j\omega)[(\...
...mbox{\boldmath$G$}(-j\omega)\mbox{\boldmath$F$}(-j\omega))^T\mbox{\boldmath$Z$}$      
$\displaystyle \times (\mbox{\boldmath$I$}+\mbox{\boldmath$G$}(j\omega)\mbox{\bo...
...a))-\mbox{\boldmath$Z$}]\delta\mbox{\boldmath$x$}_c(j\omega)\cdot d\omega \ge 0$     (2.629)

になり、この式が成立するための十分条件は
\begin{displaymath}[\mbox{\boldmath$I$}+\mbox{\boldmath$G$}(-j\omega)\mbox{\bold...
...(j\omega)\mbox{\boldmath$F$}(j\omega)] \ge \mbox{\boldmath$Z$}
\end{displaymath} (2.630)

である。この式が成立するときは閉ループ系が開ループ系より感度が減少する。

最適制御系の感度減少

閉ループ系の場合、フィードバックゲイン $\mbox{\boldmath$K$}$を次の評価関数を最小とする最適 フィードバックにとるものとする。

\begin{displaymath}
J = \frac{1}{2}\int^{\infty}_{0}\{\mbox{\boldmath$x$}^T(t)\m...
...th$Qx$}(t)+\mbox{\boldmath$u$}^T(t)\mbox{\boldmath$Ru$}(t)\}dt
\end{displaymath} (2.631)

この時 $\mbox{\boldmath$K$}$は次のリカッチ形方程式
\begin{displaymath}
\mbox{\boldmath$PA$}+\mbox{\boldmath$A$}^T\mbox{\boldmath$P$...
...mbox{\boldmath$B$}^T\mbox{\boldmath$P$}+\mbox{\boldmath$Q$} =0
\end{displaymath} (2.632)

の解 $\mbox{\boldmath$P$}$より
\begin{displaymath}
\mbox{\boldmath$K$} = \mbox{\boldmath$R$}^{-1}\mbox{\boldmath$B$}^T\mbox{\boldmath$P$}
\end{displaymath} (2.633)

として求められる。(2.644)式に $s\mbox{\boldmath$P$}$ を加え、かつ引き、 (2.645)式を適用すると
\begin{displaymath}
\mbox{\boldmath$P$}(s\mbox{\boldmath$I$}-\mbox{\boldmath$A$}...
...mbox{\boldmath$K$}^T\mbox{\boldmath$RK$} = \mbox{\boldmath$Q$}
\end{displaymath} (2.634)

となる。この式に左から $\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\boldmath$B$}^T(-s\mbox{\boldmath$I$}-\mbox{\boldmath$A$}^T)^{-1}$を、 右から $(s\mbox{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}$を掛け両辺に $\mbox{\boldmath$I$}$を加えると
    $\displaystyle \mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\bold...
...x{\boldmath$I$}-\mbox{\boldmath$A$}^T)^{-1}\mbox{\boldmath$PBR$}^{-\frac{1}{2}}$  
    $\displaystyle +\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\boldmath$B$}^T\mbox{\bo...
...mbox{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}$  
    $\displaystyle +\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\boldmath$B$}^T(-s\mbox{...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}
\mbox{\boldmath$BR$}^{-\frac{1}{2}}$  
  $\textstyle =$ $\displaystyle \mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\bold...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}
\mbox{\boldmath$BR$}^{-\frac{1}{2}}$  

となる。上式の左辺は、(2.645)式を代入すると
$\displaystyle \mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\bold...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}+$      
$\displaystyle \mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\boldmath$B$}^T(-s\mbox{\...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}
\mbox{\boldmath$BR$}^{-\frac{1}{2}}$      
$\displaystyle = [\mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{\frac{1}{2}}\mbox{\bo...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}]$      

になるので、これを(2.647)式に代入し、$s=j\omega$とすると
$\displaystyle [\mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{\frac{1}{2}}\mbox{\bold...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}]$      
$\displaystyle = \mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\bo...
...box{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}
\mbox{\boldmath$BR$}^{-\frac{1}{2}}$      

となる。

一方(2.642)式において, $\mbox{\boldmath$G$}(j\omega)=(j\omega\mbox{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}\mbox{\boldmath$B$}$ $\mbox{\boldmath$F$}(j\omega) = \mbox{\boldmath$K$}$とし、かつ

\begin{displaymath}
\mbox{\boldmath$Z$} = \mbox{\boldmath$K$}^T\mbox{\boldmath$RK$}
\end{displaymath} (2.635)

とおいたとき
$\displaystyle [\mbox{\boldmath$I$}+(-j\omega\mbox{\boldmath$I$}-\mbox{\boldmath...
...I$}+(j\omega\mbox{\boldmath$I$}-\mbox{\boldmath$A$})^{-1}
\mbox{\boldmath$BK$}]$      
$\displaystyle \ge \mbox{\boldmath$K$}^T\mbox{\boldmath$RK$}$     (2.636)

になる。これは書き直すと
$\mbox{\boldmath$K$}^T\mbox{\boldmath$R$}^{\frac{1}{2}}[\mbox{\boldmath$I$}+\mbo...
...x{\boldmath$A$}^T)^{-1}
\mbox{\boldmath$K$}^T\mbox{\boldmath$R$}^{\frac{1}{2}}]$
$\times [\mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{\frac{1}{2}}\mbox{\boldmath$K$...
...1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}]
 V{R}^{\frac{1}{2}}\mbox{\boldmath$K$}$
$\ge \mbox{\boldmath$K$}^T\mbox{\boldmath$RK$}$
より

\begin{displaymath}[\mbox{\boldmath$I$}+\mbox{\boldmath$R$}^{\frac{1}{2}}\mbox{\...
...1}\mbox{\boldmath$BR$}^{-\frac{1}{2}}]
\ge \mbox{\boldmath$I$}
\end{displaymath} (2.637)

となる。(2.652)式の左辺とノミナル値のときの(2.649)式の 左辺は等しいので
\begin{displaymath}
\mbox{\boldmath$R$}^{-\frac{1}{2}}\mbox{\boldmath$B$}^T(-j\o...
...{\boldmath$A$})^{-1}
\mbox{\boldmath$BR$}^{-\frac{1}{2}} \ge 0
\end{displaymath} (2.638)

になる。この式は恒等的に成立する。したがって、閉ループのフィードバックを最適 制御にとった場合、(2.650)式の重みのもとで閉ループ系の感度は開ループ系の感度より減少する。

2.653)式において $\mbox{\boldmath$Q$}$を大きくとる程その不等性が大きくなり、 すなわちより感度を減少することができる。


next up previous
Next: 特異値による感度解析 Up: ロバスト制御 (Robust Control) Previous: ロバスト制御とは
Yasunari SHIDAMA
平成15年5月12日