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

2010 Fiscal Year Final Research Report

Control Theory of Hybrid Systems Based on a New Model of Finite Automata

Research Project

  • PDF
Project/Area Number 20760278
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Control engineering
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

KOBAYASHI Koichi  Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教 (50452115)

Project Period (FY) 2008 – 2010
Keywordsハイブリッドシステム / モデル予測制御 / 遺伝子ネットワーク
Research Abstract

In this research, fast computation algorithms for hybrid systems control have been addressed. As important results, a stabilizing model predictive control method using stabilization of finite automata, and an approximate algorithm using both offline and online computations have been proposed. In addition, the effectiveness of the proposed methods has been shown by numerical examples. Furthermore, analysis and control of gene regulatory networks has been addressed using Boolean network models.

  • Research Products

    (44 results)

All 2011 2010 2009 2008

All Journal Article (7 results) (of which Peer Reviewed: 7 results) Presentation (37 results)

  • [Journal Article] An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks2011

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

      Automatica Vol.47,No.6

      Pages: 1260-1264

    • Peer Reviewed
  • [Journal Article] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010

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

      計測自動制御学会論文集 Vol.46,No.11

      Pages: 659-665

    • Peer Reviewed
  • [Journal Article] Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks2010

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

      EURASIP Journal on Bioinformatics and Systems Biology Vol.2010, Article ID 210685

      Pages: 12

    • Peer Reviewed
  • [Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • Author(s)
      Koichi Kbayashi, Kunihiko Hiraishi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.11

      Pages: 2745-2754

    • Peer Reviewed
  • [Journal Article] Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference2009

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.8

      Pages: 2046-2052

    • Peer Reviewed
  • [Journal Article] 有限時間区間に対するハイブリッドシステムの離散抽象化2008

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

      計測自動制御学会論文集 Vol.44,No.9

      Pages: 751-759

    • Peer Reviewed
  • [Journal Article] Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems2008

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

      SICE Journal of Control, Measurement, and System Integration Vol.1, No.5

      Pages: 376-382

    • Peer Reviewed
  • [Presentation] 外部刺激に基づく遺伝子ネットワークの最適制御2011

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会システム・情報部門学術講演会2010
    • Place of Presentation
      京都
    • Year and Date
      2011-11-24
  • [Presentation] 多項式最適化を用いた確率ブーリアンネットワークの最適制御2011

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第11回制御部門大会
    • Place of Presentation
      沖縄
    • Year and Date
      2011-03-16
  • [Presentation] 遷移関係に基づくハイブリッドモデル予測制御の近似事前解法2011

    • Author(s)
      崔舜星, 平石邦彦, 小林孝一
    • Organizer
      電子情報通信学会2011年総合大会講演論文集
    • Place of Presentation
      東京
    • Year and Date
      2011-03-15
  • [Presentation] 確率ハイブリッドシステムの確率拘束付き最適制御2011

    • Author(s)
      間藤光一朗, 小林孝一, 平石邦彦
    • Organizer
      電子情報通信学会2011年総合大会
    • Place of Presentation
      東京
    • Year and Date
      2011-03-15
  • [Presentation] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      49th IEEE Conference on Decision and Control
    • Place of Presentation
      Atlanta, USA
    • Year and Date
      2010-12-17
  • [Presentation] 混合整数計画法を用いたネットワーク化システムの最適制御2010

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第48回離散事象システム研究会
    • Place of Presentation
      名古屋
    • Year and Date
      2010-12-09
  • [Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • Author(s)
      平石邦彦, 小林孝一
    • Organizer
      計測自動制御学会第48回離散事象システム研究会
    • Place of Presentation
      名古屋
    • Year and Date
      2010-12-09
  • [Presentation] MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions2010

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      19th IEEE Conference on Control Applications
    • Place of Presentation
      Yokohama
    • Year and Date
      2010-09-09
  • [Presentation] Reachability Analysis of Probabilistic Boolean Networks using Model Checking2010

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference 2010
    • Place of Presentation
      Taipei, Taiwan
    • Year and Date
      2010-08-19
  • [Presentation] 可到達性解析を用いたプッシュダウンシステムの診断について2010

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第47回離散事象システム研究会
    • Place of Presentation
      金沢
    • Year and Date
      2010-08-03
  • [Presentation] ハイブリッドシステムに対する遷移近似双模倣2010

    • Author(s)
      崔舜星, 平石邦彦, 小林孝一
    • Organizer
      計測自動制御学会第47回離散事象システム研究会
    • Place of Presentation
      金沢
    • Year and Date
      2010-08-03
  • [Presentation] Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control2010

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura
    • Organizer
      19th International Symposium on Mathematical Theory of Networks and Systems
    • Place of Presentation
      Budapest, Hungary
    • Year and Date
      2010-07-05
  • [Presentation] An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks2010

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      2010American Control Conference
    • Place of Presentation
      Baltimore, USA
    • Year and Date
      2010-07-02
  • [Presentation] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      第54回システム制御情報学会研究発表講演会
    • Place of Presentation
      京都
    • Year and Date
      2010-05-21
  • [Presentation] 整数計画法を用いた文脈依存確率ブーリアンネットワークの制御2010

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第10回制御部門大会資料
    • Place of Presentation
      熊本
    • Year and Date
      2010-03-16
  • [Presentation] 確率ブーリアンネットワークの解析と制御のための計算手法2010

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      第20回バイオ情報学研究会
    • Place of Presentation
      石川
    • Year and Date
      2010-03-05
  • [Presentation] 離散確率ハイブリッドシステムのモデル予測制御2009

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第46回離散事象システム研究会
    • Place of Presentation
      東京
    • Year and Date
      2009-12-08
  • [Presentation] ハイブリッドシステムに対する区間法の適用について2009

    • Author(s)
      平石邦彦, 古今淳也, 小林孝一
    • Organizer
      計測自動制御学会第46回離散事象システム研究会
    • Place of Presentation
      東京
    • Year and Date
      2009-12-08
  • [Presentation] 整数計画法を用いた確率ブーリアンネットワークの制御2009

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会システム・情報部門学術講演会2009
    • Place of Presentation
      横浜
    • Year and Date
      2009-11-24
  • [Presentation] モデル予測制御における近似解法と離散ダイナミクスモデリング2009

    • Author(s)
      小林孝一, 井村順一, 平石邦彦
    • Organizer
      第52回自動制御連合講演会
    • Place of Presentation
      大阪
    • Year and Date
      2009-11-21
  • [Presentation] ハイブリッド制御における有限オートマトンモデルの関連性2009

    • Author(s)
      小林孝一, 井村順一
    • Organizer
      計測自動制御学会第45回離散事象システム研究会講演論文集
    • Place of Presentation
      新潟
    • Year and Date
      2009-09-14
  • [Presentation] ハイブリッドシステムにおける述語抽象化計算の高速化2009

    • Author(s)
      平石邦彦, 小林孝一
    • Organizer
      計測自動制御学会第45回離散事象システム研究会
    • Place of Presentation
      新潟
    • Year and Date
      2009-09-14
  • [Presentation] Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation2009

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura
    • Organizer
      European Control Conference 2009
    • Place of Presentation
      Budapest, Hungary
    • Year and Date
      2009-08-26
  • [Presentation] Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics2009

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
    • Organizer
      ICROS-SICE International Joint Conference 2009
    • Place of Presentation
      Fukuoka
    • Year and Date
      2009-08-21
  • [Presentation] Observability Analysis of Boolean Networks with Biological Applications2009

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura
    • Organizer
      ICROS-SICE International Joint Conference 2009
    • Place of Presentation
      Fukuoka
    • Year and Date
      2009-08-21
  • [Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • Author(s)
      Kunihiko Hiraishi, Koichi Kobayashi
    • Organizer
      ICROS-SICE International Joint Conference 2009
    • Place of Presentation
      Fukuoka
    • Year and Date
      2009-08-19
  • [Presentation] ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム2009

    • Author(s)
      小林孝一, 井村順一, 平石邦彦
    • Organizer
      電子情報通信学会コンカレント工学研究会
    • Place of Presentation
      東京
    • Year and Date
      2009-08-06
  • [Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      2009 American Control Conference
    • Place of Presentation
      St.Louis, USA
    • Year and Date
      2009-06-11
  • [Presentation] Polynomial-Time Controllability Analysis of Boolean Networks2009

    • Author(s)
      Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
    • Organizer
      2009 American Control Conference
    • Place of Presentation
      St.Louis, USA
    • Year and Date
      2009-06-10
  • [Presentation] 和分型状態方程式を用いた連続時間システムの部分空間同定法2009

    • Author(s)
      小林孝一, 田中秀幸
    • Organizer
      計測自動制御学会第9回制御部門大会
    • Place of Presentation
      広島
    • Year and Date
      2009-03-05
  • [Presentation] 制御 Lyapunov 関数を用いたハイブリッドシステムの安定化2009

    • Author(s)
      小林孝一, 井村順一, 平石邦彦
    • Organizer
      計測自動制御学会第9回制御部門大会
    • Place of Presentation
      広島
    • Year and Date
      2009-03-04
  • [Presentation] ハイブリッドシステムの解析と制御への区間法の適用2008

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第44回離散事象システム研究会
    • Place of Presentation
      宮崎
    • Year and Date
      2008-12-19
  • [Presentation] 区間法に基づくハイブリッドシステムの解析と制御2008

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      計測自動制御学会第37回制御理論シンポジウム
    • Place of Presentation
      霧島
    • Year and Date
      2008-09-18
  • [Presentation] Explicit Modeling of Mode Transition Constraints for Model Predictive Control2008

    • Author(s)
      Koichi Kobayashi, Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference 2008
    • Place of Presentation
      Chofu
    • Year and Date
      2008-08-20
  • [Presentation] On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems2008

    • Author(s)
      Koichi Kobayashi, Nguyen Van Tang, Kunihiko Hiraishi
    • Organizer
      23rd International Technical Conference on Circuits/Systems, Computers and Communications
    • Place of Presentation
      Shimonoseki
    • Year and Date
      2008-07-09
  • [Presentation] モード遷移拘束を陽に考慮したハイブリッドシステムのモデリング2008

    • Author(s)
      小林孝一, 平石邦彦
    • Organizer
      第52回システム制御情報学会研究発表講演会講演
    • Place of Presentation
      京都
    • Year and Date
      2008-05-17
  • [Presentation] ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析2008

    • Author(s)
      小林孝一, 井村順一, 平石邦彦
    • Organizer
      電子情報通信学会第21回回路とシステム軽井沢ワークショップ
    • Place of Presentation
      軽井沢
    • Year and Date
      2008-04-21

URL: 

Published: 2012-02-13   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi