DARE コマンドは離散時間代数リカッチ方程式の解を求めます。

オプション行列の引数 S は、零行列のデフォルトの値となります。

このルーチンは実数の浮動小数点の領域内で動作します。したがって、行列の引数内での入力は必ず numeric の型である必要があります。さらに、計算はハードウェアの浮動小数点モードで実行されます。つまり、Digits の値が evalhf(Digits) を超えるときには実行することができません。

output=value

X - 方程式を解く行列

L - シンプレクティック行列 H の閉ループ固有値のベクトル

rcond - X によって解を求めた系の条件数の逆数

G -   であるゲイン行列

コンストラクタ オプションは、結果を作成する行列またはベクトルコンストラクタに追加情報(読み出し専用[readonly]、形態[shape]、保存[storage]、順序[order]、データ種別[datatype]、および属性[attributes]) を提供します。これらのオプションは outputoptions[o]=[...], の形式でも提供される場合があり、このとき [...] は Maple リストを表します。コンストラクタオプションが、直接的な使い方と outputoptions[o] オプションの両方で提供される場合、(順序にかかわらず)後者が優先します。

with(LinearAlgebra):

a := Matrix(2,2,[[0,1],[0,0]]);

b := Matrix(2,2,[[0.5,0.7],[1,0]]);

q := Matrix(3,2,[[1,0],[0,1],[0,0]]);

r := Matrix(1,1,[[1]]);

DARE(a,b,q,r);

DARE(a,b,q,r,output=X);

DARE(a,b,q,r,<<1,0>|<0,1>>);

DARE(a,b,q,r,output=[X,L,G,rcond]);