13
13
<refentry xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:svg="http://www.w3.org/2000/svg" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:db="http://docbook.org/ns/docbook" version="5.0-subset Scilab" xml:lang="ja" xml:id="cainv">
15
<refname>cainv</refname>
16
<refpurpose>abinvの双対</refpurpose>
20
<synopsis>[X,dims,J,Y,k,Z]=cainv(Sl,alfa,beta,flag)</synopsis>
29
行列 <literal>[A,B,C,D]</literal>を含む<literal>syslin</literal> リスト.
36
<para>実数の数値またはベクトル (複素数となる場合もある,閉ループ極の位置)</para>
42
<para>実数の数値またはベクトル (複素数となる場合もある,閉ループ極の位置)</para>
49
(オプションの) 文字列 <literal>'ge'</literal> (default)または <literal>'st'</literal> または <literal>'pp'</literal>
56
<para>大きさ nx (状態空間の次元)の直交行列.</para>
63
整数行ベクトル <literal>dims=[nd1,nu1,dimS,dimSg,dimN]</literal> (5エントリ
65
<literal>flag='st'</literal>
66
(もしくは<literal>'pp'</literal>)の場合, <literal>dims</literal> は 4
74
<para>実数行列 (出力)</para>
80
<para>大きさnyの直交行列 (出力空間の次元).</para>
87
整数 (<literal>Sl</literal>のランク)
95
正則な線形システム (<literal>syslin</literal> リスト)
104
<literal>cainv</literal> は
105
(状態空間および出力状態応答の)基底 <literal>(X,Y)</literal>を見つけます.
106
基底を (X,Y)とする行列 Slは以下のように表示されます:
108
<programlisting role=""><![CDATA[
15
<refname>cainv</refname>
16
<refpurpose>abinvの双対</refpurpose>
20
<synopsis>[X,dims,J,Y,k,Z]=cainv(Sl,alfa,beta,flag)</synopsis>
29
行列 <literal>[A,B,C,D]</literal>を含む<literal>syslin</literal> リスト.
36
<para>実数の数値またはベクトル (複素数となる場合もある,閉ループ極の位置)</para>
42
<para>実数の数値またはベクトル (複素数となる場合もある,閉ループ極の位置)</para>
49
(オプションの) 文字列 <literal>'ge'</literal> (default)または <literal>'st'</literal> または <literal>'pp'</literal>
56
<para>大きさ nx (状態空間の次元)の直交行列.</para>
63
整数行ベクトル <literal>dims=[nd1,nu1,dimS,dimSg,dimN]</literal> (5エントリ
65
<literal>flag='st'</literal>
66
(もしくは<literal>'pp'</literal>)の場合, <literal>dims</literal> は 4
74
<para>実数行列 (出力)</para>
80
<para>大きさnyの直交行列 (出力空間の次元).</para>
87
整数 (<literal>Sl</literal>のランク)
95
正則な線形システム (<literal>syslin</literal> リスト)
104
<literal>cainv</literal> は
105
(状態空間および出力状態応答の)基底 <literal>(X,Y)</literal>を見つけます.
106
基底を (X,Y)とする行列 Slは以下のように表示されます:
108
<programlisting role=""><![CDATA[
109
109
[A11,*,*,*,*,*] [*]
110
110
[0,A22,*,*,*,*] [*]
111
111
X'*(A+J*C)*X = [0,0,A33,*,*,*] X'*(B+J*D) = [*]
116
116
Y*C*X = [0,0,C13,*,*,*] Y*D = [*]
117
117
[0,0,0,0,0,C26] [0]
118
118
]]></programlisting>
120
The partition of <literal>X</literal>の分割は
121
ベクトル<literal>dims=[nd1,nu1,dimS,dimSg,dimN]</literal>により定義され,
122
<literal>Y</literal>の分割は<literal>k</literal>により定義されます.
125
<literal>A11</literal><literal>(nd1 x nd1)</literal> の固有値は不安定です.
126
<literal>A22</literal> <literal>(nu1-nd1 x nu1-nd1)</literal>の固有値は安定です.
129
対 <literal>(A33, C13)</literal> <literal>(dimS-nu1 x dimS-nu1, k x dimS-nu1)</literal>は
130
可観測, <literal>A33</literal>の固有値は <literal>alfa</literal>に設定されます.
133
行列 <literal>A44</literal> <literal>(dimSg-dimS x dimSg-dimS)</literal> は不安定です.
134
行列 <literal>A55</literal> <literal>(dimN-dimSg,dimN-dimSg)</literal> は安定です.
137
対 <literal>(A66,C26)</literal> <literal>(nx-dimN x nx-dimN)</literal> は可観測,
138
<literal>A66</literal>の固有値は<literal>beta</literal>に設定されます.
141
<literal>X</literal>の最初の<literal>dimS</literal>列は,
142
Im(B)を含む不変部分空間 S= smallest (C,A) に広がり,
143
<literal>X</literal>の最初の<literal>dimSg</literal>列は,
144
<literal>Sl</literal>の最大"相補可検出部分空間" Sg に広がります.
147
<literal>X</literal>の最初の<literal>dimN</literal>列は,
148
<literal>Sl</literal> の最大"相補可観測部分空間"に広がります.
149
(B(ker(D))=0の場合,<literal>dimS=0</literal>)
152
<literal>flag='st'</literal> が指定された場合,
154
<literal>dims</literal>は4つの要素を有します.
155
<literal>flag='pp'</literal>が指定された場合,
156
4個の分割ブロックが返されます(abinv参照).
159
この関数は次のように未知入力オブザーバを計算する際に使用することができます:
161
<programlisting role=""><![CDATA[
120
The partition of <literal>X</literal>の分割は
121
ベクトル<literal>dims=[nd1,nu1,dimS,dimSg,dimN]</literal>により定義され,
122
<literal>Y</literal>の分割は<literal>k</literal>により定義されます.
125
<literal>A11</literal><literal>(nd1 x nd1)</literal> の固有値は不安定です.
126
<literal>A22</literal> <literal>(nu1-nd1 x nu1-nd1)</literal>の固有値は安定です.
129
対 <literal>(A33, C13)</literal> <literal>(dimS-nu1 x dimS-nu1, k x dimS-nu1)</literal>は
130
可観測, <literal>A33</literal>の固有値は <literal>alfa</literal>に設定されます.
133
行列 <literal>A44</literal> <literal>(dimSg-dimS x dimSg-dimS)</literal> は不安定です.
134
行列 <literal>A55</literal> <literal>(dimN-dimSg,dimN-dimSg)</literal> は安定です.
137
対 <literal>(A66,C26)</literal> <literal>(nx-dimN x nx-dimN)</literal> は可観測,
138
<literal>A66</literal>の固有値は<literal>beta</literal>に設定されます.
141
<literal>X</literal>の最初の<literal>dimS</literal>列は,
142
Im(B)を含む不変部分空間 S= smallest (C,A) に広がり,
143
<literal>X</literal>の最初の<literal>dimSg</literal>列は,
144
<literal>Sl</literal>の最大"相補可検出部分空間" Sg に広がります.
147
<literal>X</literal>の最初の<literal>dimN</literal>列は,
148
<literal>Sl</literal> の最大"相補可観測部分空間"に広がります.
149
(B(ker(D))=0の場合,<literal>dimS=0</literal>)
152
<literal>flag='st'</literal> が指定された場合,
154
<literal>dims</literal>は4つの要素を有します.
155
<literal>flag='pp'</literal>が指定された場合,
156
4個の分割ブロックが返されます(abinv参照).
159
この関数は次のように未知入力オブザーバを計算する際に使用することができます:
161
<programlisting role=""><![CDATA[
162
162
// DDEP: dot(x)=A x + Bu + Gd
163
163
// y= Cx (observation)
164
164
// z= Hx (z=variable to be estimated, d=disturbance)
172
172
// [Xp(1:dimSg,:);C]*W = [0 | *] one has
173
173
// H*W = [0 | *] (with at least as many aero columns as above).
174
174
]]></programlisting>
176
<refsection role="see also">
178
<simplelist type="inline">
180
<link linkend="abinv">abinv</link>
183
<link linkend="dt_ility">dt_ility</link>
186
<link linkend="ui_observer">ui_observer</link>
176
<refsection role="see also">
178
<simplelist type="inline">
180
<link linkend="abinv">abinv</link>
183
<link linkend="dt_ility">dt_ility</link>
186
<link linkend="ui_observer">ui_observer</link>