克罗内克分解（Kronecker Decomposition）

TransferFunctionModel 支持非真分传递函数（improper transfer functions）. 当转换至时间域时，非真分传递函数则会创建一个描述符 StateSpaceModel. 传递函数的真分（proper）和多项式（polynomial）部分则可用 KroneckerModelDecomposition 在状态空间模型（state-space model）去耦.

描述符矩阵（descriptor matrix）是带有一个真分子系统（proper subsystem）状态的单位矩阵和一个多项式子系统（polynomial subsystem）状态的幂零矩阵的分块对角矩阵（block diagonal）：

全系统的解法为两部分解法之和：