フォールトトレラントな分散スーパバイザ制御系のためのエラー検出とリカバリ機能

2008 年度 研究成果報告書

• 研究課題/領域番号: 18560433
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 制御工学
• 研究機関: 京都工芸繊維大学
• 研究代表者: 高井 重昌 京都工芸繊維大学, 工芸科学研究科, 准教授 (60243177)
• 研究協力者: ラトネッシュ クマール アイオワ州立大学, 工学部, 教授
• 研究期間 (年度): 2006 – 2008
• キーワード: 制御工学 / 離散事象システム / 故障診断 / スーパバイザ制御 / フォールトトレランス

研究概要

大規模離散事象システムに対して, 故障診断の機能とリカバリ制御の機能を備えた, フォールトトレラントな分散スーパバイザ制御系を設計するための基礎理論を構築した. まず, 故障診断機能に関して, システムにおける故障事象の生起を有限時間内に検出できるための条件, およびその判定法などを明らかにした. そしてリカバリ動作を実現するためのスーパバイザ制御に関して, 制御判断の曖昧さを陽に取り扱う分散スーパバイザ制御法などの成果を得た.

研究成果

• [雑誌論文] 事象センサの故障を考慮した離散事象システムの診断 (2009)
  • 著者名/発表者名: 河本大, 高井重昌
  • 雑誌名: 電子情報通信学会論文誌 vol.J92-A(印刷中)
  • 査読あり
• [雑誌論文] Synthesis of inference-based decentralized control for discrete event systems (2008)
  • 著者名/発表者名: Shigemasa Takai, Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automatic Control vol.53 ページ: 522-534
  • 査読あり
• [雑誌論文] Inference-based ambiguity management in decentralized decision-making : Decentralized control of discrete event systems (2007)
  • 著者名/発表者名: Ratnesh Kumar, Shigemasa Takai
  • 雑誌名: IEEE Transactions on Automatic Control vol.52 ページ: 1783-1794
  • 査読あり
• [雑誌論文] コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件 (2007)
  • 著者名/発表者名: 北村敦司, 高井重昌, 森武宏
  • 雑誌名: 電子情報通信学会論文誌 vol.J90-A ページ: 742-749
  • 査読あり
• [雑誌論文] Computation of controllable sublanguages for unbounded Petri nets using their approximation models (2006)
  • 著者名/発表者名: Shigemasa Takai, Yongming Bai
  • 雑誌名: IEICE Transactions on Fundamentals vol.E89-A ページ: 3250-3253
  • 査読あり
• [学会発表] Inference-based decentralized prognosis in discrete event systems (2008)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 47th IEEE Conference on Decision and Control
  • 発表場所: Cancun, Mexico
  • 年月日: 2008-12-09
• [学会発表] A sufficient condition for diagnosability of large-scale discrete event systems (2008)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 23rd International Technical Conference on Circuits/Systems, Computers and Communications
  • 発表場所: 山口
  • 年月日: 2008-07-07
• [学会発表] Decentralized prognosis of failures in discrete event systems (2008)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 9th International Workshop on Discrete Event Systems
  • 発表場所: Goteborg, Sweden
  • 年月日: 2008-05-30
• [学会発表] Inference-diagnosability : Nonconvergence and other complexity results (2007)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The SICE Annual Conference
  • 発表場所: 高松
  • 年月日: 2007-09-18
• [学会発表] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems (2007)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 2007 American Control Conference
  • 発表場所: New York, USA
  • 年月日: 2007-07-13
• [学会発表] Synthesis of inference-based decentralized control for discrete event systems (2006)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 45th IEEE Conference on Decision and Control
  • 発表場所: San Diego, USA
  • 年月日: 2006-12-13
• [学会発表] Computation of controllable sublanguages for unbounded Petri nets using their approximation models (2006)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 2006 International Symposium on Nonlinear Theory and its Applications
  • 発表場所: Bologna, Italy
  • 年月日: 2006-09-12
• [学会発表] Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management (2006)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 8th International Workshop on Discrete Event Systems
  • 発表場所: Ann Arbor, USA
  • 年月日: 2006-07-11
• [学会発表] Inference-based ambiguity management in decentralized decision-making : Decentralized diagnosis of discrete event systems (2006)
  • 著者名/発表者名: Ratnesh Kumar
  • 学会等名: The 2006 American Control Conference
  • 発表場所: Minneapolis, USA
  • 年月日: 2006-06-16