確率ハイブリッドシステムの制御とシステムバイオロジーへの展開

Material type: 文書・図像類

Author: 小林, 孝一

Publisher: -

Publication date: 2014-06-01

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 本研究課題では，確率ハイブリッドシステムの最適制御および離散抽象化，確率ブーリアンネットワークの制御に取り組んだ．主な成果として，確率ハイブリッドシステムの確率的拘束付き最適制御問題の解法，および有限時間区間における離散抽象化の手順を提案した．また，バイオシステムへの応用についても計算機実験により検...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAIST Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 確率ハイブリッドシステムの制御とシステムバイオロジーへの展開
Author/Editor: 小林, 孝一
Author Heading: 小林, 孝一
Publication Date: 2014-06-01
Publication Date (W3CDTF): 2014-06-01
Alternative Title: Control of Stochastic Hybrid Systems and Its Applications to Systems Biology
Periodical title: 科学研究費助成事業研究成果報告書
Pages: 1-5
Text Language Code: jpn
Subject Heading: 確率ハイブリッドシステム
確率ブーリアンネットワーク
最適制御
離散抽象化
Target Audience: 一般
Note (General): 本研究課題では，確率ハイブリッドシステムの最適制御および離散抽象化，確率ブーリアンネットワークの制御に取り組んだ．主な成果として，確率ハイブリッドシステムの確率的拘束付き最適制御問題の解法，および有限時間区間における離散抽象化の手順を提案した．また，バイオシステムへの応用についても計算機実験により検討した．さらに，確率ブーリアンネットワークに対しては，複数薬剤の効果を考慮した制御手法や確率的モデル検査に基づく検証に関して新しい手法を提案した． : 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.
研究種目：若手研究(B)
研究期間：2011～2013
課題番号：23760387
研究者番号：50452115
研究分野：システム制御理論とその応用
科研費の分科・細目：電気電子工学・制御工学
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12182
Format (IMT): application/pdf
Source: https://dspace.jaist.ac.jp/dspace/bitstream/10119/12182/1/23760387seika.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/12182/1/23760387seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ