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

Reliable Decentralized Failure Diagnosis for Design of Discrete Event Systems

Research Project

Project/Area Number 24560547
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Control engineering
Research InstitutionOsaka University

Principal Investigator

TAKAI Shigemasa  大阪大学, 工学(系)研究科(研究院), 教授 (60243177)

Research Collaborator NOMURA Masashi  
YOKOTANI Misato  
NAM Vu TUNG  
KANAGAWA Naoki  
KIMURA Katsuyuki  
YAMAMOTO Takashi  
YOKOTA Shoichi  
Project Period (FY) 2012-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2014: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2012: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Keywordsシステム理論 / 離散事象システム / 分散型故障診断 / スーパバイザ制御 / リライアビリティ / 分散スーパバイザ制御
Outline of Final Research Achievements

Theoretical results have been obtained to establish a theory for reliable decentralized failure diagnosis of networked discrete event systems. It may be possible that some local diagnosis decisions are not available, due to some reasons including breakdown of local diagnosers and disconnection of the network. Motivated by this, an algorithm is developed for verifying whether the system is diagnosable even if some of the diagnosis decisions are not available. In addition, an algorithm is presented for computing the maximum detection delay of a failure in such a case. As related work, theoretical results on failure diagnosis subject to sensor failures and supervisory control have also been obtained.

Report

(4 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (15 results)

All 2015 2014 2013 Other

All Journal Article (9 results) (of which Peer Reviewed: 9 results,  Acknowledgement Compliant: 5 results) Presentation (6 results)

  • [Journal Article] トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性2015

    • Author(s)
      串 直紀,高井重昌
    • Journal Title

      電子情報通信学会論文誌

      Volume: J98-A巻 Pages: 255-266

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Robust prognosability for a set of partially observed discrete event systems2015

    • Author(s)
      Shigemasa Takai
    • Journal Title

      Automatica

      Volume: VOL.51 Pages: 123-130

    • DOI

      10.1016/j.automatica.2014.10.104

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture2014

    • Author(s)
      Takashi Yamamoto, Shigemasa Takai
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E97.A Issue: 7 Pages: 1605-1614

    • DOI

      10.1587/transfun.E97.A.1605

    • NAID

      130004519188

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations2014

    • Author(s)
      Katsuyuki Kimura, Shigemasa Takai
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E97.A Issue: 7 Pages: 1500-1507

    • DOI

      10.1587/transfun.E97.A.1500

    • NAID

      130004519177

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations2014

    • Author(s)
      Katsuyuki Kimura, Shigemasa Takai
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E97.D Issue: 5 Pages: 1140-1148

    • DOI

      10.1587/transinf.E97.D.1140

    • NAID

      130004519229

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 出力フィードバックによるトランジションシステムの模倣制御2014

    • Author(s)
      ブートゥンナム,高井重昌
    • Journal Title

      電子情報通信学会論文誌A

      Volume: J97-A巻 Pages: 140-149

    • NAID

      10031204496

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Reliable decentralized failure diagnosis of discrete event systems2013

    • Author(s)
      Shuhei Nakata, Shigemasa Takai
    • Journal Title

      SICE Journal of Control, Measurement, and System Integration

      Volume: VOL. 6 Pages: 353-359

    • NAID

      10031199686

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems2013

    • Author(s)
      Masashi Nomura, Shigemasa Takai
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E96.A Issue: 4 Pages: 835-839

    • DOI

      10.1587/transfun.E96.A.835

    • NAID

      10031182796

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems2013

    • Author(s)
      Masashi Nomura, Shigemasa Takai
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E96.A Issue: 1 Pages: 345-355

    • DOI

      10.1587/transfun.E96.A.345

    • NAID

      10031167125

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions2014

    • Author(s)
      Shoichi Yokota
    • Organizer
      The 53rd IEEE Conference on Decision and Control
    • Place of Presentation
      JW Marriott Los Angeles L.A. LIVE(ロサンゼルス,アメリカ)
    • Year and Date
      2014-12-15 – 2014-12-17
    • Related Report
      2014 Annual Research Report
  • [Presentation] Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures2014

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 19th IEEE International Conference on Emerging Technologies and Factory Automation
    • Place of Presentation
      Barcelona School of Mathematics and Statistics(バルセロナ,スペイン)
    • Year and Date
      2014-09-16 – 2014-09-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Conjunctive decentralized diagnosis of discrete event systems

    • Author(s)
      Takashi Yamamoto
    • Organizer
      The 4th IFAC Workshop on Dependable Control of Discrete Systems
    • Place of Presentation
      ヨーク大学(ヨーク,イギリス)
    • Related Report
      2013 Research-status Report
  • [Presentation] Abstraction-based verification of observability for discrete event systems

    • Author(s)
      Shigemasa Takai
    • Organizer
      The SICE Annual Conference 2013
    • Place of Presentation
      名古屋大学(愛知県名古屋市千種区)
    • Related Report
      2013 Research-status Report
  • [Presentation] Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations

    • Author(s)
      Katsuyuki Kimura
    • Organizer
      The 11th International Workshop on Discrete Event Systems
    • Place of Presentation
      Hotel de Mendoza (グアダラハラ,メキシコ)
    • Related Report
      2012 Research-status Report
  • [Presentation] Robust failure prognosis of partially observed discrete event systems

    • Author(s)
      Shigemasa Takai
    • Organizer
      The 2012 American Control Conference
    • Place of Presentation
      Fairmont Queen Elizabeth (モントリオール,カナダ)
    • Related Report
      2012 Research-status Report

URL: 

Published: 2013-05-31   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi