Wolfram 语言提供计算和验证线性系统的可控性和可观测性属性的一整套函数，以及使用预期的可控性和可观测性特征进行分解的高级函数.

可控和可观测属性

ControllableModelQ — 测试状态是否从输入可控

ObservableModelQ — 测试状态是否从输出可控

ControllabilityMatrix  ▪  ObservabilityMatrix  ▪  OutputControllableModelQ  ▪  OutputControllabilityMatrix  ▪  ControllabilityGramian  ▪  ObservabilityGramian

可控和可观测变换

MinimalStateSpaceModel — 给出可控并且可观测的子系统

InternallyBalancedDecomposition — 平衡状态可控性和可观测性

DualSystemsModel  ▪  ControllableDecomposition  ▪  ObservableDecomposition

普通变换

StateSpaceTransform — 模型状态的坐标转换

JordanModelDecomposition — 把状态矩阵转换为约旦形式

KroneckerModelDecomposition — 对快和慢两种子系统进行去耦