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

2013 年度 研究成果報告書

• 研究課題/領域番号: 23760387
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 制御工学
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 小林 孝一 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
• 研究期間 (年度): 2011 – 2013
• キーワード: 確率ハイブリッドシステム / 確率ブーリアンネットワーク / 最適制御 / 離散抽象化

研究概要

本研究課題では，確率ハイブリッドシステムの最適制御および離散抽象化，確率ブーリアンネットワークの制御に取り組んだ．主な成果として，確率ハイブリッドシステムの確率的拘束付き最適制御問題の解法，および有限時間区間における離散抽象化の手順を提案した．また，バイオシステムへの応用についても計算機実験により検討した．さらに，確率ブーリアンネットワークに対しては，複数薬剤の効果を考慮した制御手法や確率的モデル検査に基づく検証に関して新しい手法を提案した．

研究成果

• [雑誌論文] Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization (2014)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: The Scientific World Journal 巻: Vol. 2014 ページ: 8
  • URL: http://www.hindawi.com/journals/tswj/2014/968341/
  • 査読あり
• [雑誌論文] Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach (2014)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEEJ Transactions on Electrical and Electronic Engineering 巻: Vol. 9, No. 1 ページ: 56-61
  • 査読あり
• [雑誌論文] Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: Mathematical Problems in Engineering 巻: Vol. 2013 ページ: 9
  • URL: http://www.hindawi.com/journals/mpe/2013/916040/
  • 査読あり
• [雑誌論文] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: A Boolean Network Approach, BioMed Research International 巻: Vol. 2013 ページ: 11
  • URL: http://www.hindawi.com/journals/bmri/2013/246761
  • 査読あり
• [雑誌論文] Verification of Opacity and Diagnosability for Pushdown Systems (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: Journal of Applied Mathematics 巻: Vol. 2013 ページ: 10
  • URL: http://www.hindawi.com/journals/jam/2013/654059/
  • 査読あり
• [雑誌論文] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: Vol. E96-A,No. 5 ページ: 861-868
  • 査読あり
• [雑誌論文] Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: Journal of Applied Mathematics 巻: Vol. 2013 ページ: 9
  • URL: http://www.hindawi.com/journals/jam/2013/615060/
  • 査読あり
• [雑誌論文] Optimal Control of Boolean Biological Networks Modeled by Petri Nets (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics , Communications and Computer Sciences 巻: Vol. E96-A, No. 2 ページ: 532-539
  • 査読あり
• [雑誌論文] Symbolic approach to verification and control of deterministic/probabilistic Boolean networks (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IET Systems Biology 巻: Vol. 6, No. 6 ページ: 215-222
  • 査読あり
• [雑誌論文] Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems (2012)
  • 著者名/発表者名: Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
  • 雑誌名: International Journal of Control, Automation, and Systems 巻: Vol. 10, No. 5 ページ: 897-904
  • 査読あり
• [雑誌論文] Deterministic finite automata representation for model predictive control of hybrid systems (2012)
  • 著者名/発表者名: Koichi Kobayashi and Jun-ichi Imura
  • 雑誌名: Journal of Process Control 巻: Vol. 22 , No. 9 ページ: 1670-1680
  • 査読あり
• [雑誌論文] Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: Vol. E95-A, No. 9 ページ: 1512-1517
  • 査読あり
• [雑誌論文] Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: SICE Journal of Control, Measurement, and System Integration 巻: Vol. 5, No. 3 ページ: 184-189
  • 査読あり
• [雑誌論文] Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: Vol. E95-A, No. 4 ページ: 691-696
  • 査読あり
• [雑誌論文] 遷移関係に基づくハイブリッドシステムの近似双模倣 (2011)
  • 著者名/発表者名: 崔舜星,平石邦彦,小林孝一
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47,No. 12 ページ: 614-620
  • 査読あり
• [雑誌論文] 外部刺激を考慮した遺伝子ネットワークの最適制御 (2011)
  • 著者名/発表者名: 小林孝一,平石邦彦
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47,No. 11 ページ: 520-526
  • 査読あり
• [雑誌論文] Stabilization of Finite Automata with Application to Hybrid Systems Control (2011)
  • 著者名/発表者名: Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
  • 雑誌名: Discrete Event Dynamic Systems : Theory and Applications 巻: Vol. 21, No. 4 ページ: 519-545
  • 査読あり
• [学会発表] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming (2014)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 13th International Workshop on Advanced Motion Control
  • 発表場所: Yokohama
  • 年月日: 2014-03-16
• [学会発表] Optimal Control of Multi-Vehicle Systems with LTL Specifications (2013)
  • 著者名/発表者名: Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
  • 学会等名: 52nd IEEE Conference on Decision and Control
  • 発表場所: Florence, Italy
  • 年月日: 2013-12-13
• [学会発表] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation (2013)
  • 著者名/発表者名: Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
  • 学会等名: 52nd IEEE Conference on Decision and Control
  • 発表場所: Florence, Italy
  • 年月日: 2013-12-11
• [学会発表] A Petri Net-Based Approach to Control of Boolean Networks (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems
  • 発表場所: Okinawa
  • 年月日: 2013-12-06
• [学会発表] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 39th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Vienna, Austria
  • 年月日: 2013-11-13
• [学会発表] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 39th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Vienna, Austria
  • 年月日: 2013-11-13
• [学会発表] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems (2013)
  • 著者名/発表者名: Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
  • 学会等名: SICE Annual Conference 2013
  • 発表場所: Nagoya
  • 年月日: 2013-09-15
• [学会発表] An MDP Approach to Modeling and Control of Real-Time Pricing Systems (2013)
  • 著者名/発表者名: Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma
  • 学会等名: SICE Annual Conference 2013
  • 発表場所: Nagoya
  • 年月日: 2013-09-15
• [学会発表] Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 18th International Symposium on Artificial Life and Robotics
  • 発表場所: Daejeon, Korea
  • 年月日: 2013-01-31
• [学会発表] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 38th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Montreal, Canada
  • 年月日: 2012-10-27
• [学会発表] Design of Networked Control Systems Using a Stochastic Switching Systems Approach (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 38th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Montreal, Canada
  • 年月日: 2012-10-27
• [学会発表] On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 8th IEEE International Conference on Automation Science and Engineering
  • 発表場所: Seoul, Korea
  • 年月日: 2012-08-22
• [学会発表] Probabilistic Control of Boolean Networks with Multiple Dynamics , Towards Control of Gene Regulatory Networks (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 50th IEEE Conference on Decision and Control and European Control Conference
  • 発表場所: Orlando, USA
  • 年月日: 2011-12-14
• [学会発表] Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints (2011)
  • 著者名/発表者名: Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
  • 学会等名: 50th IEEE Conference on Decision and Control and European Control Conference
  • 発表場所: Orlando, USA
  • 年月日: 2011-12-13
• [学会発表] A Symbolic Approach to Probabilistic Verification of Boolean Networks (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 37th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Melbourne, Australia
  • 年月日: 2011-11-09
• [学会発表] Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: SICE Annual Conference 2011
  • 発表場所: Tokyo
  • 年月日: 2011-09-14
• [学会発表] Optimal Control of a Class of Networked Systems Based on MLD framework (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 18th IFAC World Congress
  • 発表場所: Milano, Italy
  • 年月日: 2011-08-29
• [学会発表] Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: International Workshop on Biological Processes & Petri Nets
  • 発表場所: Newcastle upon Tyne, UK
  • 年月日: 2011-06-20