| 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)
|
|---|
| 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.
|
