Control of Stochastic Hybrid Systems and Its Applications to Systems Biology
Project/Area Number |
23760387
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Control engineering
|
Research Institution | Japan Advanced Institute of Science and Technology |
Principal Investigator |
KOBAYASHI Koichi 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
|
Project Period (FY) |
2011 – 2013
|
Project Status |
Completed (Fiscal Year 2013)
|
Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | 確率ハイブリッドシステム / 確率ブーリアンネットワーク / 最適制御 / 離散抽象化 / ブーリアンネットワーク / モデル検査 / 確率的拘束 |
Research Abstract |
In this research, optimal control and discrete abstraction for stochastic hybrid systems have been addressed. Control of probabilistic Boolean networks has also been addressed. As main results, a solution method of the optimal control problem with probabilistic constraints, and a discrete abstraction method in finite time interval have been proposed. In addition, an application to biological systems has also been discussed based on numerical simulations. Furthermore, for a probabilistic Boolean network, a control method under multiple drugs and a verification method using a probabilistic model checker have been proposed.
|
Report
(4 results)
Research Products
(88 results)