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

2011 Fiscal Year Research-status Report

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

Research Project

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

Principal Investigator

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

Project Period (FY) 2011-04-28 – 2014-03-31
Keywords確率ハイブリッドシステム / 確率的拘束
Research Abstract

本年度は,基礎的な理論研究として,(1) 確率切替システムのモデリング,(2) 確率ハイブリッドシステムの確率的拘束付き最適制御に取り組んだ.以下,それぞれの項目を説明する.(1) 確率切替システムのモデリング:確率切替システムとは,マルコフ連鎖に従ってダイナミクスが切り替わるシステムであり,確率ハイブリッドシステムのサブクラスである.バイオシステムやネットワーク化制御など幅広い応用が可能である.本研究では,不確かさを含む確率切替システムを混合論理動的システムで表現する方法を提案した.まず,状態の期待値の再帰的な表現を提案した.既存手法では,制御入力を含まない自律系のみを議論していたが,本研究では制御入力を含む場合の一般的な結果を導出した.さらに,再帰的な表現を基に,混合論理動的システムで表現する方法を導出した.また,ネットワーク化制御への応用も数値例を用いて議論し,提案手法の有用性を示した.(2) 確率ハイブリッドシステムの確率的拘束付き最適制御:確率的拘束(例えば,拘束を満足する確率が90%以上)を満足する最適制御入力を計算する方法を提案した.具体的には,危険状態の領域を定義し,その領域に到達する確率をある値以下にする制御入力を列挙する方法を提案した.この方法は,部分的な離散抽象化を行っていることに相当することから,一般の離散抽象化の基礎になると考えられる.また,列挙された制御入力は線形不等式として表現できることから,最適制御問題に容易に組み込むことが可能である.さらに,本研究では数値例により有効性を示した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

今年度取り組んだ確率切替システムのモデリングは,確率ハイブリッドシステムのモデリングの基礎である.したがって,研究目的を達成するために重要な基礎となっている.また,同様に,今年度取り組んだ確率的拘束付き最適制御の計算方法は,離散抽象化の基礎となっており,やはり研究目的の達成に必要不可欠な結果である.以上から,計画通りに進展していると考えられる.

Strategy for Future Research Activity

国内の研究会に積極的に参加・発表することで,多くの研究者から意見をいただけることが期待できる.また,自分の分野にとらわれず,幅広い分野の研究会に参加していくことで,広い視点をもって研究を推進していく.また,国際会議にも積極的な参加・発表することを検討していく.最新の研究動向を把握するためには,国際会議への参加は必要不可欠である.海外の研究者との交流を深めることは,研究を推進していく上で,非常に重要である.さらに,制御工学や最適化に関する書籍を購入し,基礎的内容を把握することにも努めていく.

Expenditure Plans for the Next FY Research Funding

以下の使用計画を考えている.・国内の研究会の旅費および参加費:5~6回を考えている.電子情報通信学会システム数理と応用研究会,計測自動制御学会離散事象システム研究会,システム制御情報学会学術講演会などの研究会への参加を検討している.・国際会議の旅費および参加費:1~2回を考えている.IEEE関係の国際会議への参加を検討している.・書籍の購入:5~6冊を考えている.制御工学や最適化関係の書籍の購入を検討している.・学術論文の別刷代:1~2編を考えている.投稿先は検討中である.

  • Research Products

    (23 results)

All 2012 2011

All Journal Article (4 results) (of which Peer Reviewed: 4 results) Presentation (19 results)

  • [Journal Article] Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems2012

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

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: Vol. E95-A, No. 4 Pages: 691-696

    • Peer Reviewed
  • [Journal Article] Stabilization of Finite Automata with Application to Hybrid Systems Control2011

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
    • Journal Title

      Discrete Event Dynamic Systems: Theory and Applications

      Volume: Vol. 21, No. 4 Pages: 519-545

    • Peer Reviewed
  • [Journal Article] 外部刺激を考慮した遺伝子ネットワークの最適制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Journal Title

      計測自動制御学会論文集

      Volume: Vol. 47,No. 11 Pages: 520-526

    • Peer Reviewed
  • [Journal Article] 遷移関係に基づくハイブリッドシステムの近似双模倣2011

    • Author(s)
      崔舜星,平石邦彦,小林孝一
    • Journal Title

      計測自動制御学会論文集

      Volume: Vol. 47,No. 12 Pages: 614-620

    • Peer Reviewed
  • [Presentation] 1ステップ予測区間の最適化によるSelf-Triggered制御2012

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会2012年総合大会
    • Place of Presentation
      岡山大学,岡山
    • Year and Date
      2012 – 0322
  • [Presentation] 離散モデルに基づく遺伝子ネットワークの解析と制御 ―最適化とモデル検査によるアプローチ―2012

    • Author(s)
      小林孝一
    • Organizer
      電子情報通信学会2012年総合大会(招待講演)
    • Place of Presentation
      岡山大学,岡山
    • Year and Date
      2012 – 0320
  • [Presentation] 複数の確率的遅延を有するネットワーク化システムの制御2012

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Place of Presentation
      高知市文化プラザかるぽーと,高知
    • Year and Date
      2012 – 0127
  • [Presentation] Control of Deterministic and Probabilistic Boolean Networks2012

    • Author(s)
      Koichi Kobayashi
    • Organizer
      Symposium on Developments in Control Theory towards Glocal Control(招待講演)
    • Place of Presentation
      The University of Tokyo, Tokyo, Japan
    • Year and Date
      2012 – 0106
  • [Presentation] Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks2011

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      50th IEEE Conference on Decision and Control and European Control Conference
    • Place of Presentation
      Hilton Orlando Bonnet Creek, Orlando, USA
    • Year and Date
      2011 – 1214
  • [Presentation] Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints2011

    • Author(s)
      Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
    • Organizer
      50th IEEE Conference on Decision and Control and European Control Conference
    • Place of Presentation
      Hilton Orlando Bonnet Creek, Orlando, USA
    • Year and Date
      2011 – 1213
  • [Presentation] 不確かなパラメータを有する確率切替システムのモデリングと制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会第50回離散事象システム研究会
    • Place of Presentation
      首都大学東京 秋葉原サテライトキャンパス,東京
    • Year and Date
      2011 – 1209
  • [Presentation] 不確かなパラメータを有する区分的アファインシステムのサンプル値最適制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会システム・情報部門学術講演会2011
    • Place of Presentation
      国立オリンピック記念青少年総合センター,東京
    • Year and Date
      2011 – 1122
  • [Presentation] ハイブリットシステムの遷移近似双模倣と最適制御への応用2011

    • Author(s)
      崔舜星,平石邦彦,小林孝一
    • Organizer
      計測自動制御学会システム・情報部門学術講演会2011
    • Place of Presentation
      国立オリンピック記念青少年総合センター,東京
    • Year and Date
      2011 – 1122
  • [Presentation] A Symbolic Approach to Probabilistic Verification of Boolean Networks2011

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      37th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Crown Conference Centre, Melbourne, Australia
    • Year and Date
      2011 – 1109
  • [Presentation] ネットワーク化制御系のためのSelf-Triggered最適制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      電子情報通信学会2011年度第2回高信頼制御通信研究会
    • Place of Presentation
      北九州市立大学,北九州
    • Year and Date
      2011 – 1101
  • [Presentation] 最適化を用いた線形システムのSelf-Triggered制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会第40回制御理論シンポジウム
    • Place of Presentation
      コスモスクエア国際交流センター,大阪
    • Year and Date
      2011 – 0926
  • [Presentation] Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty2011

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference 2011
    • Place of Presentation
      Waseda University, Tokyo, Japan
    • Year and Date
      2011 – 0914
  • [Presentation] Optimal Control of a Class of Networked Systems Based on MLD Framework2011

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      18th IFAC World Congress
    • Place of Presentation
      Universita Cattolica del Sacro Cuore, Milano, Italy
    • Year and Date
      2011 – 0829
  • [Presentation] 確率的拘束を有する確率ハイブリッドシステムのモデル予測制御2011

    • Author(s)
      小林孝一,間藤光一朗,平石邦彦
    • Organizer
      電子情報通信学会第24回回路とシステムワークショップ
    • Place of Presentation
      淡路夢舞台国際会議場,淡路
    • Year and Date
      2011 – 0801
  • [Presentation] ハイブリッドシステムにおけるモデル予測制御 ―遷移関係に基づく近似事前解法―2011

    • Author(s)
      崔舜星,平石邦彦,小林孝一
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Place of Presentation
      沖縄県青年会館,沖縄
    • Year and Date
      2011 – 0701
  • [Presentation] Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets2011

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      International Workshop on Biological Processes & Petri Nets
    • Place of Presentation
      Thistle County Hotel, Newcastle upon Tyne, UK
    • Year and Date
      2011 – 0620
  • [Presentation] ペトリネットで表現される非同期ブーリアンネットワークの最適制御2011

    • Author(s)
      小林孝一,平石邦彦
    • Organizer
      計測自動制御学会第49回離散事象システム研究会
    • Place of Presentation
      長岡技術科学大学,長岡
    • Year and Date
      2011 – 0603
  • [Presentation] ハイブリッドシステムのモデル予測制御: 離散ダイナミクスモデリングと近似解法2011

    • Author(s)
      小林孝一
    • Organizer
      計測自動制御学会中部支部 第1回制御理論ワーキングセミナー(招待講演)
    • Place of Presentation
      名古屋大学,名古屋
    • Year and Date
      2011 – 0530

URL: 

Published: 2013-07-10  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi