• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2013 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 23760387
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

小林 孝一  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)

Keywordsブーリアンネットワーク / モデル検査 / 最適制御
Research Abstract

平成25年度は当初の計画通り,ブーリアンネットワークに基づく遺伝子ネットワークの制御に関する研究に取り組んだ.ブーリアンネットワークとは,遺伝子の発現量を0-1変数(ON/OFF)で表現し,その時間変化をブール関数で表現した数学モデルである.
まず,複数の薬剤の効果を考慮した制御手法の開発に取り組んだ.薬剤を投与すると,細胞は一定時間,影響を受ける.しかしながら,影響を与える時間は薬剤により異なる.また,薬剤が想定通りに影響するかどうかは確率的である.この点を考慮した新たな制御手法を提案した.
次に,文脈依存確率ブーリアンネットワークに対する解析・制御手法の開発に取り組んだ.文脈依存確率ブーリアンネットワークは遺伝子ネットワークに含まれるノイズを考慮した数学モデルである.ここでは,最適制御問題と検証問題を取り上げた.最適制御問題は多項式最適化問題に帰着させた.検証問題については,確率的モデル検査を利用した手法を提案した.
最後に,ブーリアンネットワークのアトラクターに着目した設計法を提案した.アトラクターとはブーリアンネットワークの定常状態のことであり,細胞の種類に対応している.したがって,指定したアトラクターをもつブーリアンネットワークを設計する問題は合成生物学やシステム生物学において重要となる.本研究では,望ましいアトラクターをもち,かつ望ましくないアトラクターをもたないブーリアンネットワークを求める手法を提案した.
研究期間全体を通じた研究成果について述べる.得られた成果は,(1)確率切替システムのモデリング,(2)確率ハイブリッドシステムの確率的拘束付き最適制御,(3)確率ハイブリッドシステムの離散抽象化,(4)ブーリアンネットワークに基づく遺伝子ネットワークの制御である.いずれの成果も基礎理論として重要であり,当初の目的を達成したと考えられる.

  • Research Products

    (18 results)

All 2014 2013 Other

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (12 results)

  • [Journal Article] Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization2014

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      The Scientific World Journal

      Volume: Vol. 2014 Pages: 8

    • URL

      http://www.hindawi.com/journals/tswj/2014/968341/

    • Peer Reviewed
  • [Journal Article] Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach2014

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      IEEJ Transactions on Electrical and Electronic Engineering

      Volume: Vol. 9, No. 1 Pages: 56-61

    • Peer Reviewed
  • [Journal Article] Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      Mathematical Problems in Engineering

      Volume: Vol. 2013 Pages: 9

    • URL

      http://www.hindawi.com/journals/mpe/2013/916040/

    • Peer Reviewed
  • [Journal Article] Verification of Opacity and Diagnosability for Pushdown Systems2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      Journal of Applied Mathematics

      Volume: Vol. 2013 Pages: 10

    • URL

      http://www.hindawi.com/journals/jam/2013/654059/

    • Peer Reviewed
  • [Journal Article] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: Vol. E96-A,No. 5 Pages: 861-868

    • Peer Reviewed
  • [Journal Article] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      BioMed Research International

      Volume: Vol. 2013, Article ID 246761 Pages: 1-11

    • Peer Reviewed
  • [Presentation] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems

    • Author(s)
      Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference 2013
    • Place of Presentation
      名古屋大学,名古屋
  • [Presentation] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      39th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Austria Center Vienna, Vienna, Austria
  • [Presentation] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      39th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Austria Center Vienna, Vienna, Austria
  • [Presentation] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation

    • Author(s)
      Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
    • Organizer
      52nd IEEE Conference on Decision and Control
    • Place of Presentation
      Palazzo dei Congressi, Florence, Italy
  • [Presentation] Optimal Control of Multi-Vehicle Systems with LTL Specifications

    • Author(s)
      Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
    • Organizer
      52nd IEEE Conference on Decision and Control
    • Place of Presentation
      Palazzo dei Congressi, Florence, Italy
  • [Presentation] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      13th International Workshop on Advanced Motion Control
    • Place of Presentation
      慶応義塾大学,横浜
  • [Presentation] 複数の不確かな遅延を有するネットワーク化制御システムの最適制御

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Place of Presentation
      熊本大学,熊本
  • [Presentation] 確率的モデル検査を用いた遺伝子ネットワークの解析

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会第53回離散事象システム研究会
    • Place of Presentation
      東京工業大学,東京
  • [Presentation] マルチホップ制御ネットワークのMLDシステム表現と最適制御

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会第25回回路とシステムワークショップ
    • Place of Presentation
      淡路夢舞台国際会議場,淡路
  • [Presentation] 遺伝子ネットワークの解析と制御のための計算手法 ~ブーリアンネットワークによるアプローチ~

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会ライフエンジニアリング部門シンポジウム2013
    • Place of Presentation
      慶応義塾大学,横浜
  • [Presentation] 混合論理動的システム表現に基づくマルチホップ制御ネットワークの最適制御

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会高信頼制御通信研究会
    • Place of Presentation
      大阪市立大学文化交流センターホール
  • [Presentation] アトラクターに着目したブーリアンネットワークの設計

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会第53回離散事象システム研究会
    • Place of Presentation
      石川県文教会館,金沢

URL: 

Published: 2015-05-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi