モデル検査を用いた確率ブーリアンネットワークの可到達性解析

小林 孝一; 平石 邦彦

doi:10.11509/sci.SCI10.0.324.0

第54回システム制御情報学会研究発表講演会

セッションID: F424

DOI https://doi.org/10.11509/sci.SCI10.0.324.0

会議情報

主催: システム制御情報学会

モデル検査を用いた確率ブーリアンネットワークの可到達性解析

*小林孝一, 平石邦彦

著者情報

キーワード: 確率ブーリアンネットワーク, 可到達性解析, モデル検査

会議録・要旨集フリー

詳細

抄録

遺伝子ネットワークのモデルの一つとして，ブーリアンネットワーク（BN）が知られており，さまざまな解析・制御手法が提案されている．BNの可到達性問題は一般にNP困難であるが，モデル検査を用いることで効率的に計算できることが知られている．本論文では，BNを拡張した確率的なBN（PBN）に対し，モデル検査を用いた可到達性解析手法を考える．とくに，確率モデル検査ツールPRISMを用いた実装方法を提案する．

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）