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

2013 Fiscal Year Final Research Report

Control of Stochastic Hybrid Systems and Its Applications to Systems Biology

Research Project

  • PDF
Project/Area Number 23760387
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Control engineering
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

KOBAYASHI Koichi  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)

Project Period (FY) 2011 – 2013
Keywords確率ハイブリッドシステム / 確率ブーリアンネットワーク / 最適制御 / 離散抽象化
Research Abstract

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.

  • Research Products

    (35 results)

All 2014 2013 2012 2011

All Journal Article (17 results) (of which Peer Reviewed: 17 results) Presentation (18 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] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs2013

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

      A Boolean Network Approach, BioMed Research International

      Volume: Vol. 2013 Pages: 11

    • URL

      http://www.hindawi.com/journals/bmri/2013/246761

    • 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] Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs2013

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

      Journal of Applied Mathematics

      Volume: Vol. 2013 Pages: 9

    • URL

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

    • Peer Reviewed
  • [Journal Article] Optimal Control of Boolean Biological Networks Modeled by Petri Nets2013

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

      IEICE Transactions on Fundamentals of Electronics , Communications and Computer Sciences

      Volume: Vol. E96-A, No. 2 Pages: 532-539

    • Peer Reviewed
  • [Journal Article] Symbolic approach to verification and control of deterministic/probabilistic Boolean networks2012

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

      IET Systems Biology

      Volume: Vol. 6, No. 6 Pages: 215-222

    • Peer Reviewed
  • [Journal Article] Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems2012

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

      International Journal of Control, Automation, and Systems

      Volume: Vol. 10, No. 5 Pages: 897-904

    • Peer Reviewed
  • [Journal Article] Deterministic finite automata representation for model predictive control of hybrid systems2012

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

      Journal of Process Control

      Volume: Vol. 22 , No. 9 Pages: 1670-1680

    • Peer Reviewed
  • [Journal Article] Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization2012

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

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: Vol. E95-A, No. 9 Pages: 1512-1517

    • Peer Reviewed
  • [Journal Article] Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems2012

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

      SICE Journal of Control, Measurement, and System Integration

      Volume: Vol. 5, No. 3 Pages: 184-189

    • Peer Reviewed
  • [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] 遷移関係に基づくハイブリッドシステムの近似双模倣2011

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

      計測自動制御学会論文集

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

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

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

      計測自動制御学会論文集

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

    • 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
  • [Presentation] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming2014

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      13th International Workshop on Advanced Motion Control
    • Place of Presentation
      Yokohama
    • Year and Date
      2014-03-16
  • [Presentation] Optimal Control of Multi-Vehicle Systems with LTL Specifications2013

    • Author(s)
      Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
    • Organizer
      52nd IEEE Conference on Decision and Control
    • Place of Presentation
      Florence, Italy
    • Year and Date
      2013-12-13
  • [Presentation] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation2013

    • Author(s)
      Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
    • Organizer
      52nd IEEE Conference on Decision and Control
    • Place of Presentation
      Florence, Italy
    • Year and Date
      2013-12-11
  • [Presentation] A Petri Net-Based Approach to Control of Boolean Networks2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems
    • Place of Presentation
      Okinawa
    • Year and Date
      2013-12-06
  • [Presentation] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      39th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2013-11-13
  • [Presentation] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      39th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2013-11-13
  • [Presentation] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems2013

    • Author(s)
      Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference 2013
    • Place of Presentation
      Nagoya
    • Year and Date
      2013-09-15
  • [Presentation] An MDP Approach to Modeling and Control of Real-Time Pricing Systems2013

    • Author(s)
      Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma
    • Organizer
      SICE Annual Conference 2013
    • Place of Presentation
      Nagoya
    • Year and Date
      2013-09-15
  • [Presentation] Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One2013

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      18th International Symposium on Artificial Life and Robotics
    • Place of Presentation
      Daejeon, Korea
    • Year and Date
      2013-01-31
  • [Presentation] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems2012

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      38th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Montreal, Canada
    • Year and Date
      2012-10-27
  • [Presentation] Design of Networked Control Systems Using a Stochastic Switching Systems Approach2012

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      38th Annual Conference of the IEEE Industrial Electronics Society
    • Place of Presentation
      Montreal, Canada
    • Year and Date
      2012-10-27
  • [Presentation] On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata2012

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      8th IEEE International Conference on Automation Science and Engineering
    • Place of Presentation
      Seoul, Korea
    • Year and Date
      2012-08-22
  • [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
      Orlando, USA
    • Year and Date
      2011-12-14
  • [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
      Orlando, USA
    • Year and Date
      2011-12-13
  • [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
      Melbourne, Australia
    • Year and Date
      2011-11-09
  • [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
      Tokyo
    • Year and Date
      2011-09-14
  • [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
      Milano, Italy
    • Year and Date
      2011-08-29
  • [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
      Newcastle upon Tyne, UK
    • Year and Date
      2011-06-20

URL: 

Published: 2015-06-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi