講演名 2013-03-07
確率ハイブリッドシステムの離散抽象化 : 遺伝子トグルスイッチの解析への適用
福井 康仁, 小林 孝一, 平石 邦彦,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 離散抽象化とは,動的システムの振る舞いを離散状態システムに変換する手法である.本論文では,確率ハイブリッドシステムに対する有限時間区間における離散抽象化手法を提案する.また,遺伝子トグルスイッチの解析への適用についても考察し,離散抽象化が簡単な制御の実現に有用であることを説明する.
抄録(英) In this paper, for a class of stochastic hybrid systems, a computation method of discrete abstractions is proposed based on bounded bisimulation. In this computation method, the state space is partitioned to a finite set, and behavior of a given system is expressed by transitions between sets. Furthermore, an application to analysis of genetic toggle switches is also discussed. By using a discrete abstraction, switching behavior can be found.
キーワード(和) 遺伝子トグルスイッチ / 確率ハイブリッドシステム / 有界双模倣 / 離散抽象化
キーワード(英) bounded bisimulation / discrete abstraction / genetic toggle switches / stochastic hybrid systems
資料番号 MSS2012-72,SS2012-72
発行日

研究会情報
研究会 MSS
開催期間 2013/2/27(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Mathematical Systems Science and its applications(MSS)
本文の言語 JPN
タイトル(和) 確率ハイブリッドシステムの離散抽象化 : 遺伝子トグルスイッチの解析への適用
サブタイトル(和)
タイトル(英) Discrete Abstraction of Stochastic Hybrid Systems : Application to Analysis of Genetic Toggle Switches
サブタイトル(和)
キーワード(1)(和/英) 遺伝子トグルスイッチ / bounded bisimulation
キーワード(2)(和/英) 確率ハイブリッドシステム / discrete abstraction
キーワード(3)(和/英) 有界双模倣 / genetic toggle switches
キーワード(4)(和/英) 離散抽象化 / stochastic hybrid systems
第 1 著者 氏名(和/英) 福井 康仁 / Yasuhito FUKUI
第 1 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
第 2 著者 氏名(和/英) 小林 孝一 / Koichi KOBAYASHi
第 2 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
第 3 著者 氏名(和/英) 平石 邦彦 / Kunihiko HIRAISHI
第 3 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
発表年月日 2013-03-07
資料番号 MSS2012-72,SS2012-72
巻番号(vol) vol.112
号番号(no) 457
ページ範囲 pp.-
ページ数 5
発行日