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

Error Detection and Recovery Mechanisms for Fault-Tolerant Decentralized Supervisory Control Systems

Research Project

Project/Area Number 18560433
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Control engineering
Research InstitutionKyoto Institute of Technology

Principal Investigator

TAKAI Shigemasa  Kyoto Institute of Technology, 工芸科学研究科, 准教授 (60243177)

Research Collaborator RATNESH Kumar  アイオワ州立大学, 工学部, 教授
Project Period (FY) 2006 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥3,600,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords制御工学 / 離散事象システム / 故障診断 / スーパバイザ制御 / フォールトトレランス / 分散制御 / 同時進行性 / オートマトン / ペトリネット
Research Abstract

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

Report

(4 results)
  • 2008 Annual Research Report   Final Research Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (22 results)

All 2009 2008 2007 2006

All Journal Article (11 results) (of which Peer Reviewed: 9 results) Presentation (11 results)

  • [Journal Article] 事象センサの故障を考慮した離散事象システムの診断2009

    • Author(s)
      河本大, 高井重昌
    • Journal Title

      電子情報通信学会論文誌 vol.J92-A(印刷中)

    • NAID

      110007360250

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] 事象センサの故障を考慮した離散事象システムの診断2009

    • Author(s)
      河本大
    • Journal Title

      電子情報通信学会論文誌 J92-A(印刷中)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Synthesis of inference-based decentralized control for discrete event systems2008

    • Author(s)
      Shigemasa Takai, Ratnesh Kumar
    • Journal Title

      IEEE Transactions on Automatic Control vol.53

      Pages: 522-534

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Synthesis of inference-based decentralized control for discrete event systems2008

    • Author(s)
      Shigemasa Takai
    • Journal Title

      IEEE Transactions on Automatic Control 53

      Pages: 522-534

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Inference-based ambiguity management in decentralized decision-making : Decentralized control of discrete event systems2007

    • Author(s)
      Ratnesh Kumar, Shigemasa Takai
    • Journal Title

      IEEE Transactions on Automatic Control vol.52

      Pages: 1783-1794

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件2007

    • Author(s)
      北村敦司, 高井重昌, 森武宏
    • Journal Title

      電子情報通信学会論文誌 vol.J90-A

      Pages: 742-749

    • NAID

      110007382521

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems2007

    • Author(s)
      Ratnesh Kumar
    • Journal Title

      IEEE Transactions on Automatic Control 52

      Pages: 1783-1794

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件2007

    • Author(s)
      北村敦司
    • Journal Title

      電子情報通信学会論文誌分冊A J90-A

      Pages: 742-749

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006

    • Author(s)
      Shigemasa Takai, Yongming Bai
    • Journal Title

      IEICE Transactions on Fundamentals vol.E89-A

      Pages: 3250-3253

    • NAID

      110007537818

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用2006

    • Author(s)
      梁瀬 裕行
    • Journal Title

      電子情報通信学会論文誌分冊A J89-A・5

      Pages: 333-339

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006

    • Author(s)
      Shigemasa Takai
    • Journal Title

      IEICE Transactions on Fundamentals E89-A・11

      Pages: 3250-3253

    • NAID

      110007537818

    • Related Report
      2006 Annual Research Report
  • [Presentation] Inference-based decentralized prognosis in discrete event systems2008

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 47th IEEE Conference on Decision and Control
    • Place of Presentation
      Cancun, Mexico
    • Year and Date
      2008-12-09
    • Related Report
      2008 Annual Research Report 2008 Final Research Report
  • [Presentation] A sufficient condition for diagnosability of large-scale discrete event systems2008

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 23rd International Technical Conference on Circuits/Systems, Computers and Communications
    • Place of Presentation
      山口
    • Year and Date
      2008-07-07
    • Related Report
      2008 Final Research Report
  • [Presentation] A sufficient condition for diagnosability of large-scale discrete event systems2008

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 23rd International Technical Conference on Circuits/Systems, Computers and Communications
    • Place of Presentation
      下関
    • Year and Date
      2008-07-07
    • Related Report
      2008 Annual Research Report
  • [Presentation] Decentralized prognosis of failures in discrete event systems2008

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 9th International Workshop on Discrete Event Systems
    • Place of Presentation
      Goteborg, Sweden
    • Year and Date
      2008-05-30
    • Related Report
      2008 Annual Research Report 2008 Final Research Report
  • [Presentation] Inference-diagnosability : Nonconvergence and other complexity results2007

    • Author(s)
      Shigemasa Takai
    • Organizer
      The SICE Annual Conference
    • Place of Presentation
      高松
    • Year and Date
      2007-09-18
    • Related Report
      2008 Final Research Report
  • [Presentation] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems2007

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 2007 American Control Conference
    • Place of Presentation
      New York, USA
    • Year and Date
      2007-07-13
    • Related Report
      2008 Final Research Report
  • [Presentation] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems2007

    • Author(s)
      Shigemasa Takai
    • Organizer
      2007 American Control Conference
    • Place of Presentation
      New York, USA
    • Year and Date
      2007-07-13
    • Related Report
      2007 Annual Research Report
  • [Presentation] Synthesis of inference-based decentralized control for discrete event systems2006

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 45th IEEE Conference on Decision and Control
    • Place of Presentation
      San Diego, USA
    • Year and Date
      2006-12-13
    • Related Report
      2008 Final Research Report
  • [Presentation] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 2006 International Symposium on Nonlinear Theory and its Applications
    • Place of Presentation
      Bologna, Italy
    • Year and Date
      2006-09-12
    • Related Report
      2008 Final Research Report
  • [Presentation] Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management2006

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 8th International Workshop on Discrete Event Systems
    • Place of Presentation
      Ann Arbor, USA
    • Year and Date
      2006-07-11
    • Related Report
      2008 Final Research Report
  • [Presentation] Inference-based ambiguity management in decentralized decision-making : Decentralized diagnosis of discrete event systems2006

    • Author(s)
      Ratnesh Kumar
    • Organizer
      The 2006 American Control Conference
    • Place of Presentation
      Minneapolis, USA
    • Year and Date
      2006-06-16
    • Related Report
      2008 Final Research Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi