セキュアな離散事象システム設計のためのスーパバイザ制御

• 研究課題/領域番号: 21560462
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 制御工学
• 研究機関: 大阪大学
• 研究代表者: 高井 重昌 大阪大学, 大学院・工学研究科, 教授 (60243177)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円); 2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2009年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: システム理論 / 離散事象システム / セキュアシステム / スーパバイザ制御 / 診断 / リアルタイムシステム / 制御工学

研究概要

離散事象システムのスーパバイザ制御理論を応用したセキュアなシステム設計の基礎となる理論的成果が得られた.秘匿性を保証するスーパバイザの設計アルゴリズムを開発し,ある条件のもとで,そのようなスーパバイザのモジュラ設計が可能であることを明らかにした.さらに,それらの成果をネットワーク化システム,リアルタイムシステムへ適用するために必要となる離散事象システムの分散制御,リアルタイム制御に関する成果も得られた.

研究成果

• [雑誌論文] Distributed failure prognosis of discrete event systems with bounded-delay communications (2012)
  • 著者名/発表者名: higemasa Takai, Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automatic Control 巻: Vol.57, No.5 号: 5 ページ: 1259-1265
  • DOI: 10.1109/tac.2011.2173419
  • 査読あり
• [雑誌論文] Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions (2012)
  • 著者名/発表者名: Shigemasa Takai, Toshimitsu Ushio
  • 雑誌名: IEEE Transactions on Automatic Control 巻: Vol.57, No.3 号: 3 ページ: 798-804
  • DOI: 10.1109/tac.2012.2185881
  • 査読あり
• [雑誌論文] Decentralized Supervisory Control of Timed Discrete Event Systems (2011)
  • 著者名/発表者名: Masashi Nomura, Shigemasa Takai
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E94-A 号: 12 ページ: 2802-2809
  • DOI: 10.1587/transfun.E94.A.2802
  • NAID: 10030534133
  • ISSN: 0916-8508, 1745-1337
  • 査読あり
• [雑誌論文] Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems (2011)
  • 著者名/発表者名: Shigemasa Takai, Yuta Watanabe
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E94-A 号: 3 ページ: 1041-1044
  • DOI: 10.1587/transfun.E94.A.1041
  • NAID: 10028230193
  • ISSN: 0916-8508, 1745-1337
  • 査読あり
• [雑誌論文] Inference-based decentralized prognosis in discrete event systems (2011)
  • 著者名/発表者名: Shigemasa Takai, Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automatic Control 巻: Vol.56, No.1 号: 1 ページ: 165-171
  • DOI: 10.1109/tac.2010.2085590
  • 査読あり
• [雑誌論文] Inference-based decentralized prognosis in discrete event systems (2011)
  • 著者名/発表者名: Shigemasa Takai
  • 雑誌名: IEEE Transactions on Automatic Control 巻: VOL 56 ページ: 165-171
  • 査読あり
• [雑誌論文] Modular synthesis of maximally permissive opacity-enforcing supervisors for discrete event systems (2011)
  • 著者名/発表者名: Shigemasa Takai
  • 雑誌名: IEICE Transactions on Fundamentals 巻: VOL E94-A ページ: 1041-1044
  • NAID: 10028230193
  • 査読あり
• [雑誌論文] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems (2010)
  • 著者名/発表者名: Shigemasa Takai, Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automatic Control 巻: Vol.55, No.8 号: 8 ページ: 1881-1887
  • DOI: 10.1109/tac.2010.2048634
  • 査読あり
• [雑誌論文] Decentralized control of discrete event systems with multiple local specifications (2010)
  • 著者名/発表者名: Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu
  • 雑誌名: IEEE Transactions on Automation Science and Engineering 巻: Vol.7, No.3 号: 3 ページ: 512-522
  • DOI: 10.1109/tase.2009.2025865
• [雑誌論文] Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management (2010)
  • 著者名/発表者名: Shigemasa Takai, Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Systems, Man, and Cybernetics-Part A : Systems and Humans 巻: Vol.40, No.2 号: 2 ページ: 406-412
  • DOI: 10.1109/tsmca.2009.2036939
  • 査読あり
• [雑誌論文] Decentralized prognosis of failures in discrete event systems (2010)
  • 著者名/発表者名: Ratnesh Kumar, Shigemasa Takai
  • 雑誌名: IEEE Transactions on Automatic Control 巻: Vol.55, No.1 号: 1 ページ: 48-59
  • DOI: 10.1109/tac.2009.2034216
  • 査読あり
• [雑誌論文] 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断 (2010)
  • 著者名/発表者名: 高井重昌
  • 雑誌名: システム制御情報学会論文誌 巻: 23巻 ページ: 128-135
  • NAID: 10027615165
  • 査読あり
• [雑誌論文] Decentralized prognosis of failures in discrete event systems (2010)
  • 著者名/発表者名: Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automatic Control VOL. 55 ページ: 48-59
  • 査読あり
• [雑誌論文] Inference-based ambiguity management in decentralized decision-making : Decentralized diagnosis of discrete-event systems (2009)
  • 著者名/発表者名: Ratnesh Kumar, Shigemasa Takai
  • 雑誌名: IEEE Transactions on Automation Science and Engineering 巻: Vol.6, No.3 号: 3 ページ: 479-491
  • DOI: 10.1109/tase.2009.2021330
  • 査読あり
• [雑誌論文] Inference-based ambiguity management in decentralized decision-making : Decentralized diagnosis of discrete-event systems (2009)
  • 著者名/発表者名: Ratnesh Kumar
  • 雑誌名: IEEE Transactions on Automation Science and Engineering VOL. 6 ページ: 479-491
  • 査読あり
• [学会発表] A new forcing mechanism for decentralized supervisory control of timed discrete event systems (2011)
  • 著者名/発表者名: Masashi Nomura
  • 学会等名: The 26th International Technical Conference on Circuits/ Systems, Computers and Communications
  • 発表場所: Hyundai Hotel(Gyeongju, Korea)
  • 年月日: 2011-06-20
• [学会発表] A new forcing mechanism for decentralized supervisory control of timed discrete event systems (2011)
  • 著者名/発表者名: Masashi Nomura
  • 学会等名: The 26th International Technical Conference on Circuits/Systems, Computers and Communications
  • 発表場所: Hyundai Hotel (Gyeongju, Korea)
  • 年月日: 2011-06-20
• [学会発表] Robust failure diagnosis of partially observed discrete event systems (2010)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 10th International Workshop on Discrete Event Systems
  • 発表場所: Technische Universitat Berlin(Berlin, Germany)
  • 年月日: 2010-08-31
• [学会発表] Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions (2010)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 2010 American Control Conference
  • 発表場所: Baltimore Marriot Waterfront(Baltimore, USA)
  • 年月日: 2010-07-01
• [学会発表] Distributed prognosis of discrete event systems under bounded-delay communications (2009)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 48th IEEE Conference on Decision and Control, and the 28th Chinese Control Conference
  • 発表場所: 上海国際会議センター(上海,中国)
  • 年月日: 2009-12-16
• [学会発表] Distributed prognosis of discrete event systems under bounded-delay communications (2009)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 48th IEEE Conference on Decision and Control, and the 28th Chinese Control Conference
  • 発表場所: 上海国際会議センター (中国 上海)
  • 年月日: 2009-12-16
• [学会発表] Verification and synthesis for secrecy in discrete-event systems (2009)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 2009 American Control Conference
  • 発表場所: Hyatt Regency St. Louis Riverfront(Saint Louis, USA)
  • 年月日: 2009-06-12
• [学会発表] Verification and synthesis for secrecy in discrete-event systems (2009)
  • 著者名/発表者名: Shigemasa Takai
  • 学会等名: The 2009 American Control Conference
  • 発表場所: Hyatt Regency St. Louis Riverfront (Saint Louis, USA)
  • 年月日: 2009-06-12
• [備考]
  • URL: http://is.eei.eng.osaka-u.ac.jp/takai/