• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高信頼な離散事象システム設計のためのリライアブルな分散型故障診断

研究課題

研究課題/領域番号 24560547
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 制御工学
研究機関大阪大学

研究代表者

高井 重昌  大阪大学, 工学(系)研究科(研究院), 教授 (60243177)

研究協力者 野村 雅司  
横谷 美怜  
ナム ブートゥン  
金川 直樹  
木村 克行  
山本 聖  
横田 翔一  
研究期間 (年度) 2012-04-01 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
2014年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2013年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2012年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
キーワードシステム理論 / 離散事象システム / 分散型故障診断 / スーパバイザ制御 / リライアビリティ / 分散スーパバイザ制御
研究成果の概要

ネットワーク化された離散事象システムに対するリライアブルな分散型故障診断法を確立するための理論的成果が得られた.ネットワークの不具合,ローカル診断器自体の故障などにより,幾つかのローカル診断器の判断が利用できなくなった状況を考慮した可診断性の検証アルゴリズム,故障の発生からその検出までの最長ステップ数を計算するアルゴリズムを開発した.また関連して,事象センサの故障を考慮した故障診断,スーパバイザ制御に関する理論的成果が得られた.

報告書

(4件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実施状況報告書
  • 2012 実施状況報告書
  • 研究成果

    (15件)

すべて 2015 2014 2013 その他

すべて 雑誌論文 (9件) (うち査読あり 9件、 謝辞記載あり 5件) 学会発表 (6件)

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

    • 著者名/発表者名
      串 直紀,高井重昌
    • 雑誌名

      電子情報通信学会論文誌

      巻: J98-A巻 ページ: 255-266

    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Robust prognosability for a set of partially observed discrete event systems2015

    • 著者名/発表者名
      Shigemasa Takai
    • 雑誌名

      Automatica

      巻: VOL.51 ページ: 123-130

    • DOI

      10.1016/j.automatica.2014.10.104

    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture2014

    • 著者名/発表者名
      Takashi Yamamoto, Shigemasa Takai
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E97.A 号: 7 ページ: 1605-1614

    • DOI

      10.1587/transfun.E97.A.1605

    • NAID

      130004519188

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations2014

    • 著者名/発表者名
      Katsuyuki Kimura, Shigemasa Takai
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E97.A 号: 7 ページ: 1500-1507

    • DOI

      10.1587/transfun.E97.A.1500

    • NAID

      130004519177

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations2014

    • 著者名/発表者名
      Katsuyuki Kimura, Shigemasa Takai
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E97.D 号: 5 ページ: 1140-1148

    • DOI

      10.1587/transinf.E97.D.1140

    • NAID

      130004519229

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] 出力フィードバックによるトランジションシステムの模倣制御2014

    • 著者名/発表者名
      ブートゥンナム,高井重昌
    • 雑誌名

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

      巻: J97-A巻 ページ: 140-149

    • NAID

      10031204496

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] Reliable decentralized failure diagnosis of discrete event systems2013

    • 著者名/発表者名
      Shuhei Nakata, Shigemasa Takai
    • 雑誌名

      SICE Journal of Control, Measurement, and System Integration

      巻: VOL. 6 ページ: 353-359

    • NAID

      10031199686

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems2013

    • 著者名/発表者名
      Masashi Nomura, Shigemasa Takai
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E96.A 号: 4 ページ: 835-839

    • DOI

      10.1587/transfun.E96.A.835

    • NAID

      10031182796

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems2013

    • 著者名/発表者名
      Masashi Nomura, Shigemasa Takai
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E96.A 号: 1 ページ: 345-355

    • DOI

      10.1587/transfun.E96.A.345

    • NAID

      10031167125

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [学会発表] Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions2014

    • 著者名/発表者名
      Shoichi Yokota
    • 学会等名
      The 53rd IEEE Conference on Decision and Control
    • 発表場所
      JW Marriott Los Angeles L.A. LIVE(ロサンゼルス,アメリカ)
    • 年月日
      2014-12-15 – 2014-12-17
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures2014

    • 著者名/発表者名
      Shigemasa Takai
    • 学会等名
      The 19th IEEE International Conference on Emerging Technologies and Factory Automation
    • 発表場所
      Barcelona School of Mathematics and Statistics(バルセロナ,スペイン)
    • 年月日
      2014-09-16 – 2014-09-19
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Conjunctive decentralized diagnosis of discrete event systems

    • 著者名/発表者名
      Takashi Yamamoto
    • 学会等名
      The 4th IFAC Workshop on Dependable Control of Discrete Systems
    • 発表場所
      ヨーク大学(ヨーク,イギリス)
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Abstraction-based verification of observability for discrete event systems

    • 著者名/発表者名
      Shigemasa Takai
    • 学会等名
      The SICE Annual Conference 2013
    • 発表場所
      名古屋大学(愛知県名古屋市千種区)
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations

    • 著者名/発表者名
      Katsuyuki Kimura
    • 学会等名
      The 11th International Workshop on Discrete Event Systems
    • 発表場所
      Hotel de Mendoza (グアダラハラ,メキシコ)
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] Robust failure prognosis of partially observed discrete event systems

    • 著者名/発表者名
      Shigemasa Takai
    • 学会等名
      The 2012 American Control Conference
    • 発表場所
      Fairmont Queen Elizabeth (モントリオール,カナダ)
    • 関連する報告書
      2012 実施状況報告書

URL: 

公開日: 2013-05-31   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi