確率ハイブリッドシステムの離散抽象化－遺伝子トグルスイッチの解析への適用

摘要

離散抽象化とは，動的システムの振る舞いを離散状態システムに変換する手法である．本論文では，確率ハイブリッドシステムに対する有限時間区間における離散抽象化手法を提案する．また，遺伝子トグルスイッチの解析への適用についても考察し，離散抽象化が簡単な制御の実現に有用であることを説明する．