Control of Stochastic Hybrid Systems and Its Applications to Systems Biology

点击翻译按钮获取中文摘要

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.