Mathematica は線形系の可制御性と可観測性の計算と検証に必要な関数一式すべてと,希望の可制御性と可観測性での分解を生成する高度な関数を提供する.
ControllableModelQ — モデルが制御可能であるかどうかを検証する
OutputControllableModelQ — モデルが出力制御可能であるかどうかを検証する
ObservableModelQ — モデルが観測可能であるかどうかを検証する
MinimalStateSpaceModel — 制御および観測が可能な部分空間を与える