確率反応ネットワークの最適制御問題を動的計画法を用いて解き、特に単分子反応ネットワークの場合には非標準のリカッチ微分方程式の解として最適制御則を得ることができる。また、外乱に対する頑健性を考慮したH∞制御問題についても同様の手法で解くことができる。
本論文は、離散時間および連続時間の確率的動的システムにおける安全な確率的不変性の検証のための包括的なフレームワークを提案する。目的は、与えられた安全集合および初期状態集合に対する生存確率の下限および上限を確定することである。
