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

• 研究課題/領域番号: 23760387
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 制御工学
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 小林 孝一 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
• 研究期間 (年度): 2011 – 2013
• 研究課題ステータス: 完了 (2013年度)
• 配分額: 3,510千円 (直接経費: 2,700千円、間接経費: 810千円); 2013年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
• キーワード: 確率ハイブリッドシステム / 確率ブーリアンネットワーク / 最適制御 / 離散抽象化 / ブーリアンネットワーク / モデル検査 / 確率的拘束

研究概要

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

研究成果

• [雑誌論文] 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-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-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-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-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
  • NAID: 10031193760
  • 査読あり
• [雑誌論文] 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-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
  • NAID: 10031167152
  • 査読あり
• [雑誌論文] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: BioMed Research International 巻: Vol. 2013, Article ID 246761 ページ: 1-11
  • 査読あり
• [雑誌論文] 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
  • NAID: 10031167152
  • 査読あり
• [雑誌論文] 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
  • NAID: 120005316237
  • 査読あり
• [雑誌論文] 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
  • NAID: 120005316238
  • 査読あり
• [雑誌論文] 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
  • NAID: 10031142537
  • 査読あり
• [雑誌論文] 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
  • NAID: 10031140133
  • 査読あり
• [雑誌論文] 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
  • NAID: 10030937725
  • 査読あり
• [雑誌論文] 遷移関係に基づくハイブリッドシステムの近似双模倣 (2011)
  • 著者名/発表者名: 崔舜星,平石邦彦,小林孝一
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47,No. 12 ページ: 614-620
  • NAID: 10030165675
  • 査読あり
• [雑誌論文] 外部刺激を考慮した遺伝子ネットワークの最適制御 (2011)
  • 著者名/発表者名: 小林孝一,平石邦彦
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47,No. 11 ページ: 520-526
  • NAID: 10030165490
  • 査読あり
• [雑誌論文] 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
  • NAID: 120004754583
  • 査読あり
• [雑誌論文] 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
  • NAID: 120004754583
  • 査読あり
• [雑誌論文] 外部刺激を考慮した遺伝子ネットワークの最適制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47，No. 11 ページ: 520-526
  • NAID: 10030165490
  • 査読あり
• [雑誌論文] 遷移関係に基づくハイブリッドシステムの近似双模倣 (2011)
  • 著者名/発表者名: 崔舜星，平石邦彦，小林孝一
  • 雑誌名: 計測自動制御学会論文集 巻: Vol. 47，No. 12 ページ: 614-620
  • NAID: 10030165675
  • 査読あり
• [学会発表] 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 Optimal Control Based on Optimization with Prediction Horizon One (2013)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 18th International Symposium on Artificial Life and Robotics
  • 発表場所: Daejeon Convention Center, Daejeon, Korea
• [学会発表] 時相論理による拘束をもつマルチビークルシステムの最適制御 (2013)
  • 著者名/発表者名: 永見琢朗，小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第50回離散事象システム研究会
  • 発表場所: 大阪国際会議場，大阪
• [学会発表] 1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御 (2013)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 大阪国際会議場，大阪
• [学会発表] 確率ハイブリッドシステムの離散抽象化 ～遺伝子トグルスイッチの解析への適用～ (2013)
  • 著者名/発表者名: 福井康仁，小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 休暇村志賀島，福岡
• [学会発表] 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
• [学会発表] 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
  • 発表場所: Grand Hyatt Hotel, Seoul, Korea
• [学会発表] 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
  • 発表場所: ETS, Montreal, Canada
• [学会発表] 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
  • 発表場所: ETS, Montreal, Canada
• [学会発表] A Petri Net-Based Approach to Control of Boolean Networks (2012)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems
  • 発表場所: Tiruru, Okinawa, Japan
• [学会発表] Self-Triggered制御のための1ステップ予測区間最適化問題の解法 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 第56回システム制御情報学会研究発表講演会
  • 発表場所: 京都テルサ，京都
• [学会発表] プッシュダウンオートマトンで表現される離散事象システムのオパシティと可診断性について (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第51回離散事象システム研究会
  • 発表場所: 宮崎県婦人会館，宮崎
• [学会発表] 離散値入力をもつ大規模システムに対する最適制御問題の一解法 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 京都リサーチパーク，京都
• [学会発表] ネットワーク化制御系のためのSelf-Triggeredモデル予測制御 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会第25回回路とシステムワークショップ
  • 発表場所: 淡路夢舞台国際会議場，淡路
• [学会発表] ワイルドカード文字を含むNグラムモデルを用いた確率離散事象システムの故障診断 (2012)
  • 著者名/発表者名: 平石邦彦，吉本美和，小林孝一
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 岩手大学，盛岡
• [学会発表] 状態離散化を用いたマルチエージェントシステムの最適制御 (2012)
  • 著者名/発表者名: 永見琢朗，小林孝一，平石邦彦
  • 学会等名: 第55回自動制御連合講演会
  • 発表場所: 京都大学，京都
• [学会発表] 確率ハイブリッドシステムの離散抽象化と最適制御 (2012)
  • 著者名/発表者名: 小林孝一，福井康仁，平石邦彦
  • 学会等名: 第55回自動制御連合講演会
  • 発表場所: 京都大学，京都
• [学会発表] 離散値入力をもつ大規模システムに対する量子化誤差を考慮した最適制御 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会システム・情報部門学術講演会2012
  • 発表場所: ウィル愛知，名古屋
• [学会発表] 有限時間区間における確率ハイブリッドシステムの離散抽象化 (2012)
  • 著者名/発表者名: 福井康仁，小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会システム・情報部門学術講演会2012
  • 発表場所: ウィル愛知，名古屋
• [学会発表] Control of Deterministic and Probabilistic Boolean Networks (2012)
  • 著者名/発表者名: Koichi Kobayashi
  • 学会等名: Symposium on Developments in Control Theory towards Glocal Control(招待講演)
  • 発表場所: The University of Tokyo, Tokyo, Japan
• [学会発表] 複数の確率的遅延を有するネットワーク化システムの制御 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 高知市文化プラザかるぽーと，高知
• [学会発表] 離散モデルに基づく遺伝子ネットワークの解析と制御 ―最適化とモデル検査によるアプローチ― (2012)
  • 著者名/発表者名: 小林孝一
  • 学会等名: 電子情報通信学会2012年総合大会(招待講演)
  • 発表場所: 岡山大学，岡山
• [学会発表] 1ステップ予測区間の最適化によるSelf-Triggered制御 (2012)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会2012年総合大会
  • 発表場所: 岡山大学，岡山
• [学会発表] 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
• [学会発表] Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: International Workshop on Biological Processes & Petri Nets
  • 発表場所: Thistle County Hotel, Newcastle upon Tyne, UK
• [学会発表] Optimal Control of a Class of Networked Systems Based on MLD Framework (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 18th IFAC World Congress
  • 発表場所: Universita Cattolica del Sacro Cuore, Milano, Italy
• [学会発表] Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: SICE Annual Conference 2011
  • 発表場所: Waseda University, Tokyo, Japan
• [学会発表] A Symbolic Approach to Probabilistic Verification of Boolean Networks (2011)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 37th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Crown Conference Centre, Melbourne, Australia
• [学会発表] 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
  • 発表場所: Hilton Orlando Bonnet Creek, Orlando, USA
• [学会発表] 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
  • 発表場所: Hilton Orlando Bonnet Creek, Orlando, USA
• [学会発表] ハイブリッドシステムのモデル予測制御： 離散ダイナミクスモデリングと近似解法 (2011)
  • 著者名/発表者名: 小林孝一
  • 学会等名: 計測自動制御学会中部支部 第1回制御理論ワーキングセミナー(招待講演)
  • 発表場所: 名古屋大学，名古屋
• [学会発表] ペトリネットで表現される非同期ブーリアンネットワークの最適制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第49回離散事象システム研究会
  • 発表場所: 長岡技術科学大学，長岡
• [学会発表] ハイブリッドシステムにおけるモデル予測制御 ―遷移関係に基づく近似事前解法― (2011)
  • 著者名/発表者名: 崔舜星，平石邦彦，小林孝一
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 沖縄県青年会館，沖縄
• [学会発表] 確率的拘束を有する確率ハイブリッドシステムのモデル予測制御 (2011)
  • 著者名/発表者名: 小林孝一，間藤光一朗，平石邦彦
  • 学会等名: 電子情報通信学会第24回回路とシステムワークショップ
  • 発表場所: 淡路夢舞台国際会議場，淡路
• [学会発表] 最適化を用いた線形システムのSelf-Triggered制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第40回制御理論シンポジウム
  • 発表場所: コスモスクエア国際交流センター，大阪
• [学会発表] ネットワーク化制御系のためのSelf-Triggered最適制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会2011年度第2回高信頼制御通信研究会
  • 発表場所: 北九州市立大学，北九州
• [学会発表] 不確かなパラメータを有する区分的アファインシステムのサンプル値最適制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会システム・情報部門学術講演会2011
  • 発表場所: 国立オリンピック記念青少年総合センター，東京
• [学会発表] ハイブリットシステムの遷移近似双模倣と最適制御への応用 (2011)
  • 著者名/発表者名: 崔舜星，平石邦彦，小林孝一
  • 学会等名: 計測自動制御学会システム・情報部門学術講演会2011
  • 発表場所: 国立オリンピック記念青少年総合センター，東京
• [学会発表] 不確かなパラメータを有する確率切替システムのモデリングと制御 (2011)
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第50回離散事象システム研究会
  • 発表場所: 首都大学東京 秋葉原サテライトキャンパス，東京
• [学会発表] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems
  • 著者名/発表者名: Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
  • 学会等名: SICE Annual Conference 2013
  • 発表場所: 名古屋大学，名古屋
• [学会発表] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 39th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Austria Center Vienna, Vienna, Austria
• [学会発表] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 39th Annual Conference of the IEEE Industrial Electronics Society
  • 発表場所: Austria Center Vienna, Vienna, Austria
• [学会発表] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
  • 著者名/発表者名: Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
  • 学会等名: 52nd IEEE Conference on Decision and Control
  • 発表場所: Palazzo dei Congressi, Florence, Italy
• [学会発表] Optimal Control of Multi-Vehicle Systems with LTL Specifications
  • 著者名/発表者名: Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
  • 学会等名: 52nd IEEE Conference on Decision and Control
  • 発表場所: Palazzo dei Congressi, Florence, Italy
• [学会発表] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 13th International Workshop on Advanced Motion Control
  • 発表場所: 慶応義塾大学，横浜
• [学会発表] 複数の不確かな遅延を有するネットワーク化制御システムの最適制御
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 熊本大学，熊本
• [学会発表] 確率的モデル検査を用いた遺伝子ネットワークの解析
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第53回離散事象システム研究会
  • 発表場所: 東京工業大学，東京
• [学会発表] マルチホップ制御ネットワークのMLDシステム表現と最適制御
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会第25回回路とシステムワークショップ
  • 発表場所: 淡路夢舞台国際会議場，淡路
• [学会発表] 遺伝子ネットワークの解析と制御のための計算手法 ～ブーリアンネットワークによるアプローチ～
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会ライフエンジニアリング部門シンポジウム2013
  • 発表場所: 慶応義塾大学，横浜
• [学会発表] 混合論理動的システム表現に基づくマルチホップ制御ネットワークの最適制御
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 電子情報通信学会高信頼制御通信研究会
  • 発表場所: 大阪市立大学文化交流センターホール
• [学会発表] アトラクターに着目したブーリアンネットワークの設計
  • 著者名/発表者名: 小林孝一，平石邦彦
  • 学会等名: 計測自動制御学会第53回離散事象システム研究会
  • 発表場所: 石川県文教会館，金沢