Control of Stochastic Hybrid Systems and Its Applications to Systems Biology

随机混合系统的控制及其在系统生物学中的应用

• 批准号: 23760387
• 负责人: KOBAYASHI Koichi
• 金额: $ 2.25万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23760387/
• 关键词: 確率ハイブリッドシステム; 確率ブーリアンネットワーク; 最適制御; 離散抽象化; ブーリアンネットワーク; モデル検査; 確率的拘束

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.

在这项研究中，已经解决了随机混合系统的最佳控制和离散抽象。也已经解决了对概率布尔网络的控制。作为主要结果，已经提出了一种具有概率约束的最佳控制问题的解决方案方法，并提出了有限时间间隔中的离散抽象方法。此外，还基于数值模拟讨论了生物系统的应用。此外，对于概率布尔网络，已经提出了一种使用概率模型检查器的多种药物的控制方法和一种使用验证方法。

项目成果

A Petri Net-Based Approach to Control of Boolean Networks

基于Petri网的布尔网络控制方法

• 发表时间: 2013
• 作者: 五十嵐智香;李春鶴;笠見智大;Koichi Kobayashi and Kunihiko Hiraishi
• 通讯作者: Koichi Kobayashi and Kunihiko Hiraishi

時相論理による拘束をもつマルチビークルシステムの最適制御

时态逻辑约束的多车辆系统最优控制

• 发表时间: 2013
• 作者: Koichi Kobayashi;Ichiro Maruta;Kazunori Sakurama;and Shun-ichi Azuma;Koichi Kobayashi and Kunihiko Hiraishi;Koichi Kobayashi and Kunihiko Hiraishi;永見琢朗，小林孝一，平石邦彦
• 通讯作者: 永見琢朗，小林孝一，平石邦彦

離散モデルに基づく遺伝子ネットワークの解析と制御 ―最適化とモデル検査によるアプローチ―

基于离散模型的基因网络分析和控制-一种使用优化和模型检查的方法-

• 发表时间: 2012
• 作者: 伊藤始;石田雅大;高畠依里;若井航;小林孝一，平石邦彦;寺地悠紀，内田慎哉，鎌田敏郎，田中伸幸，伊藤幸広;伊藤始;木下真一,内田慎哉,鎌田敏郎,田中伸幸;小林孝一
• 通讯作者: 小林孝一

最適化を用いた線形システムのSelf-Triggered制御

使用优化的线性系统自触发控制

• 发表时间: 2011
• 作者: Koichi Kobayashi;Koichiro Matou;and Kunihiko Hiraishi;内田慎哉,鎌田敏郎,伊藤幸広,出水 享,松田 浩,田中伸幸;Koichi Kobayashi and Kunihiko Hiraishi;鎌田敏郎,内田慎哉,田中伸幸;小林孝一;関 翔太,内田慎哉,鎌田敏郎,田中伸幸;小林孝一，平石邦彦;田中伸幸,内田慎哉,鎌田敏郎;崔舜星，平石邦彦，小林孝一;田中伸幸,内田慎哉,鎌田敏郎,関 翔太;小林孝一，間藤光一朗，平石邦彦;小林孝一，平石邦彦
• 通讯作者: 小林孝一，平石邦彦

外部刺激を考慮した遺伝子ネットワークの最適制御

考虑外部刺激的基因网络的最优控制

• 发表时间: 2011
• 期刊: 計測自動制御学会論文集
• 作者: 横塚清規;半井健一郎;李春鶴;横塚清規，半井健一郎，李春鶴;小林孝一,平石邦彦
• 通讯作者: 小林孝一,平石邦彦