クロネッカー分解

TransferFunctionModelは，不正な伝達関数をサポートする．不正な伝達関数は，時間領域に変換されたときにディスクリプタStateSpaceModelを作成する．伝達関数の正しい多項式の部分は，KroneckerModelDecompositionを使って状態空間モデルで分断することができる．

ディスクリプタ行列は，正しい部分系の状態については恒等行列と，多項式の部分系の状態についてはベキ零行列とブロック対角である：
完全系の解は，2つの部分の解の総和である：