高井重昌 Takai Sigemasa

研究者番号	60243177
その他のID
外部サイト
所属 (現在)	2025年度: 大阪大学, 大学院工学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 大阪大学, 大学院工学研究科, 教授 2016年度 – 2021年度: 大阪大学, 工学研究科, 教授 2012年度 – 2015年度: 大阪大学, 工学(系)研究科(研究院), 教授 2011年度: 大阪大学, 大学院・工学研究科, 教授 2009年度 – 2010年度: 大阪大学, 工学研究科, 教授 … もっと見る 2007年度 – 2008年度: 京都工芸繊維大学, 大学院・工芸科学研究科, 准教授 2007年度 – 2008年度: 京都工芸繊維大学, 工芸科学研究科, 准教授 2006年度: 京都工芸繊維大学, 大学院工芸科学研究科, 助教授 2006年度: 京都工芸繊維大学, 工芸科学研究科, 助教授 2004年度 – 2005年度: 京都工芸繊維大学, 工芸学部, 助教授 1999年度 – 2003年度: 和歌山大学, システム工学部, 助教授 1998年度: 和歌山大学, システム工学部, 講師 1994年度 – 1997年度: 大阪大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者制御工学 / 計測・制御工学 / 小区分21040:制御およびシステム工学関連 / 制御工学 / 制御・システム工学研究代表者以外制御工学 / 制御工学
キーワード	研究代表者離散事象システム / スーパバイザ制御 / 制御工学 / システム理論 / 分散制御 / ス-パバイザ制御 / 同時進行性 / 状態フィードバック制御 / 模倣制御 / 双模倣制御 … もっと見る / 非決定性 / 非決定性状態遷移 / 分散スーパバイザ制御 / リライアビリティ / 分散型故障診断 / リアルタイムシステム / 診断 / セキュアシステム / ペトリネット / オートマトン / フォールトトレランス / 故障診断 / ノンブロッキングスーパバイザ / 分散スーパバイザ / ロバスト制御 / Max-Plus代数 / 状態フィードバック … もっと見る研究代表者以外状態フィードバック / オートマトン / エネルギーアウェアネス / 言語測度 / 動的再構成可能デバイス / 多目的最適化問題 / Qos公平化制御 / ハイブリッドオートマトン / スケジューリング / 弾性タスクモデル / 動的リソース配分 / QoS公平化制御 / 低消費電力 / 組み込みシステム / 監視機構 / サンプル値制御 / スーパバイザ制御 / 安定解析 / モデリング / 非線形現象 / ハイブリッドシステム隠す

双模倣性に基づく時間付き非決定性離散事象システムのスーパバイザ制御研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分21040:制御およびシステム工学関連
- 研究機関
  大阪大学
双模倣性の概念に基づく非決定性離散事象システムのスーパバイザ制御研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分21040:制御およびシステム工学関連
- 研究機関
  大阪大学
不確かな環境下で動作する非決定性離散事象システムのスーパバイザ制御研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御・システム工学
- 研究機関
  大阪大学
高信頼な離散事象システム設計のためのリライアブルな分散型故障診断研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
セキュアな離散事象システム設計のためのスーパバイザ制御研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
フォールトトレラントな分散スーパバイザ制御系のためのエラー検出とリカバリ機能研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  京都工芸繊維大学
離散事象システム理論に基づく組み込み型制御系のエネルギーアウェアな監視機構設計
- 研究代表者
  
  潮俊光
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  若手研究(B)
- 研究分野
  
  制御工学
- 研究機関
  京都工芸繊維大学
   和歌山大学
離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  若手研究(B)
- 研究分野
  
  制御工学
- 研究機関
  和歌山大学
リアルタイム制御の新展開-ハイブリッドダイナミカルシステム理論の体系化
- 研究代表者
  
  潮俊光
- 研究期間 (年度)
  2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  制御工学
- 研究機関
  大阪大学
離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  制御工学
- 研究機関
  和歌山大学
Max-Plus代数による離散事象システムの制御とその生産システムへの応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計測・制御工学
- 研究機関
  和歌山大学
   大阪大学
大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計測・制御工学
- 研究機関
  大阪大学
事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計測・制御工学
- 研究機関
  大阪大学
同時進行性をもつ離散事象システムの状態フィードバック制御とそのFMSへの応用研究代表者
- 研究代表者
  
  高井重昌
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計測・制御工学
- 研究機関
  大阪大学

[雑誌論文] A general architecture for intersection-based decentralized supervisory control of discrete event systems2024
- 著者名/発表者名
  Akihito Hayano, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: 69 号: 1 ページ: 674-680
- DOI
  10.1109/tac.2023.3299552
- 査読あり
- データソース
  KAKENHI-PROJECT-22K04167
[雑誌論文] Maximally permissive supervisors for nonblocking similarity control of nondeterministic discrete event systems2023
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: 68 号: 6 ページ: 3529-3544
- DOI
  10.1109/tac.2022.3195152
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications2023
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  Automatica
  
  巻: 152 ページ: 110940-110940
- DOI
  10.1016/j.automatica.2023.110940
- 査読あり
- データソース
  KAKENHI-PROJECT-22K04167
[雑誌論文] Synthesis of Maximally Permissive Supervisors for Similarity Control of Partially Observed Nondeterministic Discrete Event Systems2022
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 雑誌名
  
  Automatica
  
  巻: 135 ページ: 109978-109978
- DOI
  10.1016/j.automatica.2021.109978
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems2022
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 雑誌名
  
  IEEE Control Systems Letters
  
  巻: 6 ページ: 2305-2310
- DOI
  10.1109/lcsys.2022.3149132
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications2022
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 雑誌名
  
  IEEE Control Systems Letters
  
  巻: 6 ページ: 1358-1363
- DOI
  10.1109/lcsys.2021.3093834
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Decentralized diagnosis of discrete event systems subject to permanent sensor failures2022
- 著者名/発表者名
  Akihito Wada, Shigemasa Takai
- 雑誌名
  
  Discrete Event Dynamic Systems: Theory and Applications
  
  巻: 32 号: 2 ページ: 159-193
- DOI
  10.1007/s10626-021-00353-1
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications2021
- 著者名/発表者名
  Shimatani Kohei, Takai Shigemasa
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E104.A 号: 2 ページ: 438-446
- DOI
  10.1587/transfun.2020MAP0004
- NAID
  130007978979
- ISSN
  0916-8508, 1745-1337
- 年月日
  2021-02-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] A General Framework for Diagnosis of Discrete Event Systems Subject to Sensor Failures2021
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  Automatica
  
  巻: 129 ページ: 109669-109669
- DOI
  10.1016/j.automatica.2021.109669
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events2020
- 著者名/発表者名
  Shimpei Miura, Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E103.A 号: 2 ページ: 417-427
- DOI
  10.1587/transfun.2019MAP0006
- NAID
  130007793354
- ISSN
  0916-8508, 1745-1337
- 年月日
  2020-02-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems with Nondeterministic Specifications2020
- 著者名/発表者名
  Takai Shigemasa
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: - 号: 7 ページ: 3197-3204
- DOI
  10.1109/tac.2020.3015453
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations2019
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E102.A 号: 2 ページ: 399-403
- DOI
  10.1587/transfun.E102.A.399
- NAID
  130007588781
- ISSN
  0916-8508, 1745-1337
- 年月日
  2019-02-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications2019
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  Automatica
  
  巻: 108 ページ: 1-11
- DOI
  10.1016/j.automatica.2019.06.022
- 査読あり
- データソース
  KAKENHI-PROJECT-18K04201
[雑誌論文] Implementation of inference-based diagnosis: Computing delay bound and ambiguity levels2018
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 雑誌名
  
  Discrete Event Dynamic Systems: Theory and Applications
  
  巻: 28 号: 2 ページ: 315-348
- DOI
  10.1007/s10626-017-0253-x
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations2018
- 著者名/発表者名
  Hiroki Yamada, Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E101.A 号: 2 ページ: 328-337
- DOI
  10.1587/transfun.E101.A.328
- NAID
  130006327972
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Synthesis of similarity enforcing supervisors for nondeterministic discrete event systems2018
- 著者名/発表者名
  Naoki Kushi, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: 63 号: 5 ページ: 1457-1464
- DOI
  10.1109/tac.2017.2747408
- 査読あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications2017
- 著者名/発表者名
  Masanori Hoshino, Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E100.A 号: 2 ページ: 395-405
- DOI
  10.1587/transfun.E100.A.395
- NAID
  130005306040
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making2017
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: 62 号: 6 ページ: 2778-2793
- DOI
  10.1109/tac.2016.2624422
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions2017
- 著者名/発表者名
  Shoichi Yokota, Takashi Yamamoto, Shigemasa Takai
- 雑誌名
  
  Discrete Event Dynamic Systems: Theory and Applications
  
  巻: 27 号: 1 ページ: 45-84
- DOI
  10.1007/s10626-016-0229-2
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Abstraction-based verification and synthesis for prognosis of discrete event systems2016
- 著者名/発表者名
  Misato Yokotani, Tetsuya Kondo, Shigemasa Takai
- 雑誌名
  
  Asian Journal of Control
  
  巻: 18 号: 4 ページ: 1279-1288
- DOI
  10.1002/asjc.1210
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Nonblocking supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions2016
- 著者名/発表者名
  Toshimitsu Ushio, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: VOL. 61 号: 3 ページ: 799-804
- DOI
  10.1109/tac.2015.2449051
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems2016
- 著者名/発表者名
  Nam Tung Vu, Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E99.A 号: 2 ページ: 483-490
- DOI
  10.1587/transfun.E99.A.483
- NAID
  130005121536
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] 条件付き判断をもつ分散スーパバイザの許容性の改善2016
- 著者名/発表者名
  吉田　翔，高井重昌
- 雑誌名
  
  電子情報通信学会論文誌A分冊
  
  巻: J99-A ページ: 361-373
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K06140
[雑誌論文] 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
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性2015
- 著者名/発表者名
  串　直紀，高井重昌
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J98-A巻ページ: 255-266
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 出力フィードバックによるトランジションシステムの模倣制御2014
- 著者名/発表者名
  ブートゥンナム，高井重昌
- 雑誌名
  
  電子情報通信学会論文誌A
  
  巻: J97-A巻ページ: 140-149
- NAID
  10031204496
- 査読あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 査読あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] 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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-24560547
[雑誌論文] Distributed failure prognosis of discrete event systems with bounded-delay communications2012
- 著者名/発表者名
  higemasa Takai, Ratnesh Kumar
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: Vol.57, No.5 号: 5 ページ: 1259-1265
- DOI
  10.1109/tac.2011.2173419
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions2012
- 著者名/発表者名
  Shigemasa Takai, Toshimitsu Ushio
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: Vol.57, No.3 号: 3 ページ: 798-804
- DOI
  10.1109/tac.2012.2185881
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462, KAKENHI-PROJECT-21560464
[雑誌論文] Inference-based decentralized prognosis in discrete event systems2011
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: Vol.56, No.1 号: 1 ページ: 165-171
- DOI
  10.1109/tac.2010.2085590
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Inference-based decentralized prognosis in discrete event systems2011
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: VOL 56 ページ: 165-171
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Decentralized Supervisory Control of Timed Discrete Event Systems2011
- 著者名/発表者名
  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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems2011
- 著者名/発表者名
  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
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Modular synthesis of maximally permissive opacity-enforcing supervisors for discrete event systems2011
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals
  
  巻: VOL E94-A ページ: 1041-1044
- NAID
  10028230193
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Decentralized prognosis of failures in discrete event systems2010
- 著者名/発表者名
  Ratnesh Kumar, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: Vol.55, No.1 号: 1 ページ: 48-59
- DOI
  10.1109/tac.2009.2034216
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Decentralized control of discrete event systems with multiple local specifications2010
- 著者名/発表者名
  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
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems2010
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 雑誌名
  
  IEEE Transactions on Automatic Control
  
  巻: Vol.55, No.8 号: 8 ページ: 1881-1887
- DOI
  10.1109/tac.2010.2048634
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断2010
- 著者名/発表者名
  高井重昌
- 雑誌名
  
  システム制御情報学会論文誌
  
  巻: 23巻ページ: 128-135
- NAID
  10027615165
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management2010
- 著者名/発表者名
  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
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] Inference-based ambiguity management in decentralized decision-making : Decentralized diagnosis of discrete-event systems2009
- 著者名/発表者名
  Ratnesh Kumar, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automation Science and Engineering
  
  巻: Vol.6, No.3 号: 3 ページ: 479-491
- DOI
  10.1109/tase.2009.2021330
- 査読あり
- データソース
  KAKENHI-PROJECT-21560462
[雑誌論文] 事象センサの故障を考慮した離散事象システムの診断2009
- 著者名/発表者名
  河本大, 高井重昌
- 雑誌名
  
  電子情報通信学会論文誌 vol.J92-A(印刷中)
- NAID
  110007360250
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] Synthesis of inference-based decentralized control for discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 雑誌名
  
  IEEE Transactions on Automatic Control vol.53
  
  ページ: 522-534
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] Synthesis of inference-based decentralized control for discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control 53
  
  ページ: 522-534
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] A Formula for the Supremal Controllable and Opaque Sublanguage Arising in Supervisory Control2008
- 著者名/発表者名
  Shigemasa Takai, Yusuke Oka
- 雑誌名
  
  SICE Journal of Control, Measurement, and System Integration vol.1
  
  ページ: 307-311
- NAID
  10024292063
- 査読あり
- データソース
  KAKENHI-PROJECT-17360198
[雑誌論文] Inference-based ambiguity management in decentralized decision-making : Decentralized control of discrete event systems2007
- 著者名/発表者名
  Ratnesh Kumar, Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control vol.52
  
  ページ: 1783-1794
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件2007
- 著者名/発表者名
  北村敦司, 高井重昌, 森武宏
- 雑誌名
  
  電子情報通信学会論文誌 vol.J90-A
  
  ページ: 742-749
- NAID
  110007382521
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals E89-A・11
  
  ページ: 3250-3253
- NAID
  110007537818
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006
- 著者名/発表者名
  Shigemasa Takai, Yongming Bai
- 雑誌名
  
  IEICE Transactions on Fundamentals vol.E89-A
  
  ページ: 3250-3253
- NAID
  110007537818
- 査読あり
- データソース
  KAKENHI-PROJECT-18560433
[雑誌論文] Supervisory control of a class of concurrent discrete event systems under partial observation2005
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  Discrete Event Dynamic Systems : Theory and Applications 15・1
  
  ページ: 7-32
- NAID
  130005017921
- データソース
  KAKENHI-PROJECT-15760321
[雑誌論文] Characterization of co-observable languages and formulas for their super/sublanguages2005
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEEE Transactions on Automatic Control 50・4
  
  ページ: 434-447
- データソース
  KAKENHI-PROJECT-15760321
[雑誌論文] Decentralized supervisory control of discrete event systems using dynamic default control2005
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals E88-A・11
  
  ページ: 2982-2988
- NAID
  110003500452
- データソース
  KAKENHI-PROJECT-15760321
[雑誌論文] Supervisory control of a class of concurrent discrete event systems2004
- 著者名/発表者名
  Shigemasa Takai
- 雑誌名
  
  IEICE Transactions on Fundamentals E87-A・4
  
  ページ: 850-855
- NAID
  110003212971
- データソース
  KAKENHI-PROJECT-15760321
[学会発表] 非決定性離散事象システムの双模倣制御における決定性スーパバイザの存在性に関する一考察2023
- 著者名/発表者名
  高井重昌
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-22K04167
[学会発表] Codiagnosability for intersection-based decentralized diagnosis of discrete event systems2023
- 著者名/発表者名
  Shigemasa Takai, Takashi Yamamoto
- 学会等名
  The 22nd IFAC World Congress
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K04167
[学会発表] Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations2022
- 著者名/発表者名
  Mouheeb Aous, Shigemasa Takai
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Reliable diagnosability for decentralized diagnosis of discrete event systems with single-level inference2022
- 著者名/発表者名
  Takumi Hamada, Shigemasa Takai
- 学会等名
  The 2022 American Control Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Verification of reliable inference-diagnosability for decentralized diagnosis with single-level inference2022
- 著者名/発表者名
  Takumi Hamada, Shigemasa Takai
- 学会等名
  The 16th International Workshop on Discrete Event Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] A general intersection-based architecture for decentralized supervisory control of discrete event systems2022
- 著者名/発表者名
  Akihito Hayano, Shigemasa Takai
- 学会等名
  The 61st IEEE Conference on Decision and Control
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Decentralized control of nondeterministic discrete event systems with deterministic specifications2022
- 著者名/発表者名
  Akari Kimura, Shigemasa Takai
- 学会等名
  The 37th International Technical Conference on Circuits/Systems, Computers and Communications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Maximally Permissive Similarity-Enforcing Supervisors for Nondeterministic Discrete Event Systems with Modular Specifications2020
- 著者名/発表者名
  李　京倫，高井重昌
- 学会等名
  第63回自動制御連合講演会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems2020
- 著者名/発表者名
  Li Jinglun, Takai Shigemasa
- 学会等名
  The 59th IEEE Conference on Decision and Control
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Deterministic Bisimilarity-Enforcing Supervisors for Nondeterministic Discrete Event Systems with Deterministic Specifications2020
- 著者名/発表者名
  Shimatani Kohei, Takai Shigemasa
- 学会等名
  The 35th International Technical Conference on Circuits/Systems, Computers and Communications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures2020
- 著者名/発表者名
  Takai Shigemasa
- 学会等名
  The 15th International Workshop on Discrete Event Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Sufficient condition for state attraction of discrete event systems under partial observation2019
- 著者名/発表者名
  Ryoma Sawasaki, Shigemasa Takai
- 学会等名
  The SICE Annual Conference 2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Similarity control of nondeterministic discrete event systems under partial observation2019
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Verification of codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures2019
- 著者名/発表者名
  Akihito Wada, Shigemasa Takai
- 学会等名
  The 2019 European Control Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] 条件付き判断を用いた離散事象システムにおけるリライアブル共可診断性の検証2019
- 著者名/発表者名
  濱田匠，高井重昌
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] ローカルな状態推定を用いる離散事象システムの分散スーパバイザ制御2019
- 著者名/発表者名
  早野彰人，高井重昌
- 学会等名
  第62回自動制御連合講演会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Maximally permissive similarity enforcing supervisors for nondeterministic discrete event systems under partial observation2019
- 著者名/発表者名
  Jinglun Li, Shigemasa Takai
- 学会等名
  The 58th IEEE Conference on Decision and Control
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems2018
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 14th International Workshop on Discrete Event Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Decentralized supervisor synthesis for composite nondeterministic discrete event systems with local specifications2018
- 著者名/発表者名
  Itsuki Okubo, Shigemasa Takai
- 学会等名
  The SICE Annual Conference 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] オブザーバを用いた非決定離散事象システムの分散型模倣制御2018
- 著者名/発表者名
  大久保樹，高井重昌
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] 決定性の仕様をもつ部分観測非決定離散事象システムの双模倣制御2018
- 著者名/発表者名
  中郷勇輝，高井重昌
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specifications2018
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 57th IEEE Conference on Decision and Control
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Decentralized control of timed discrete event systems with conditional decisions for enforcement of forcible events2018
- 著者名/発表者名
  Shimpei Miura and Shigemasa Takai
- 学会等名
  The 57th IEEE Conference on Decision and Control
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] 条件付き判断をもつ時間付き離散事象システムに対する分散スーパバイザの存在性2018
- 著者名/発表者名
  三浦進平，高井重昌
- 学会等名
  第61回自動制御連合講演会
- データソース
  KAKENHI-PROJECT-18K04201
[学会発表] Codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures2018
- 著者名/発表者名
  Akihito Wada, Nadda Chawalarat, Shigemasa Takai
- 学会等名
  The SICE Annual Conference 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] 離散事象システムにおける繰返し故障に対する共可診断性の検証2017
- 著者名/発表者名
  伊藤貴紀，高井重昌
- 学会等名
  2017年電子情報通信学会基礎・境界ソサイエティ/NOLTA ソサイエティ大会
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] A generalized inference-based prognosis framework for discrete event systems2017
- 著者名/発表者名
  Shigemasa Takai, Ratnesh Kumar
- 学会等名
  The 20th IFAC World Congress
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations2017
- 著者名/発表者名
  Hiroki Yamada, Shigemasa Takai
- 学会等名
  SICE Annual Conference 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] 事象の強制に条件付き判断を用いた時間付き離散事象システムの分散スーパバイザ制御2017
- 著者名/発表者名
  三浦進平，高井重昌
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Delay bound of inference-based decentralized diagnosis in discrete event systems2016
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 13th International Workshop on Discrete Event Systems
- 発表場所
  西安（中華人民共和国）
- 年月日
  2016-05-30
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making2015
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 54th IEEE Conference on Decision and Control
- 発表場所
  大阪国際会議場（大阪府大阪市）
- 年月日
  2015-12-15
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Verification of generalized inference diagnosability for decentralized diagnosis of discrete event systems2015
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 20th IEEE International Conference on Emerging Technologies and Factory Automation
- 発表場所
  ルクセンブルク（ルクセンブルク）
- 年月日
  2015-09-08
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K06140
[学会発表] Robust failure diagnosis of partially observed discrete event systems2010
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 10th International Workshop on Discrete Event Systems
- 発表場所
  Technische Universitat Berlin(Berlin, Germany)
- 年月日
  2010-08-31
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions2010
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2010 American Control Conference
- 発表場所
  Baltimore Marriot Waterfront(Baltimore, USA)
- 年月日
  2010-07-01
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] Verification and synthesis for secrecy in discrete-event systems2009
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2009 American Control Conference
- 発表場所
  Hyatt Regency St. Louis Riverfront (Saint Louis, USA)
- 年月日
  2009-06-12
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] Verification and synthesis for secrecy in discrete-event systems2009
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2009 American Control Conference
- 発表場所
  Hyatt Regency St. Louis Riverfront(Saint Louis, USA)
- 年月日
  2009-06-12
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] Distributed prognosis of discrete event systems under bounded-delay communications2009
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 48th IEEE Conference on Decision and Control, and the 28th Chinese Control Conference
- 発表場所
  上海国際会議センター(上海,中国)
- 年月日
  2009-12-16
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] Distributed prognosis of discrete event systems under bounded-delay communications2009
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 48th IEEE Conference on Decision and Control, and the 28th Chinese Control Conference
- 発表場所
  上海国際会議センター (中国上海)
- 年月日
  2009-12-16
- データソース
  KAKENHI-PROJECT-21560462
[学会発表] A formula for the supremal controllable and opaque sublanguage in discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai, Yusuke Oka
- 学会等名
  The 2008 International Symposium on Nonlinear Theory and its Applications
- 発表場所
  Budapest, Hungary
- 年月日
  2008-09-10
- データソース
  KAKENHI-PROJECT-17360198
[学会発表] Decentralized prognosis of failures in discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 9th International Workshop on Discrete Event Systems
- 発表場所
  Goteborg, Sweden
- 年月日
  2008-05-30
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] A sufficient condition for diagnosability of large-scale discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 23rd International Technical Conference on Circuits/Systems, Computers and Communications
- 発表場所
  下関
- 年月日
  2008-07-07
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Inference-based decentralized prognosis in discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 47th IEEE Conference on Decision and Control
- 発表場所
  Cancun, Mexico
- 年月日
  2008-12-09
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] A sufficient condition for diagnosability of large-scale discrete event systems2008
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 23rd International Technical Conference on Circuits/Systems, Computers and Communications
- 発表場所
  山口
- 年月日
  2008-07-07
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Inference-diagnosability : Nonconvergence and other complexity results2007
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The SICE Annual Conference
- 発表場所
  高松
- 年月日
  2007-09-18
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems2007
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2007 American Control Conference
- 発表場所
  New York, USA
- 年月日
  2007-07-13
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems2007
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  2007 American Control Conference
- 発表場所
  New York, USA
- 年月日
  2007-07-13
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management2006
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 8th International Workshop on Discrete Event Systems
- 発表場所
  Ann Arbor, USA
- 年月日
  2006-07-11
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Synthesis of inference-based decentralized control for discrete event systems2006
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 45th IEEE Conference on Decision and Control
- 発表場所
  San Diego, USA
- 年月日
  2006-12-13
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Computation of controllable sublanguages for unbounded Petri nets using their approximation models2006
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2006 International Symposium on Nonlinear Theory and its Applications
- 発表場所
  Bologna, Italy
- 年月日
  2006-09-12
- データソース
  KAKENHI-PROJECT-18560433
[学会発表] Robust failure prognosis of partially observed discrete event systems
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The 2012 American Control Conference
- 発表場所
  Fairmont Queen Elizabeth （モントリオール，カナダ）
- データソース
  KAKENHI-PROJECT-24560547
[学会発表] Abstraction-based verification of observability for discrete event systems
- 著者名/発表者名
  Shigemasa Takai
- 学会等名
  The SICE Annual Conference 2013
- 発表場所
  名古屋大学（愛知県名古屋市千種区）
- データソース
  KAKENHI-PROJECT-24560547
[学会発表] Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures
- 著者名/発表者名
  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
- データソース
  KAKENHI-PROJECT-24560547

1. 潮俊光 (30184998)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 宮本俊幸 (00294041)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 山崎達志 (00368458)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 熊谷貞俊 (10093410)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 井村順一 (50252474)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 小林啓吾 (10314395)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 山本茂 (70220465)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 土居伸二 (50217600)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. ラトネッシュクマール

共同の研究課題数: 1件

共同の研究成果数: 2件
10. 野村雅司

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 横谷美怜

共同の研究課題数: 1件

共同の研究成果数: 0件
12. ナムブートゥン

共同の研究課題数: 1件

共同の研究成果数: 1件
13. 金川直樹

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 木村克行

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 山本聖

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 横田翔一

共同の研究課題数: 1件

共同の研究成果数: 0件

高井 重昌 Takai Sigemasa

研究課題

研究成果

共同研究者

双模倣性に基づく時間付き非決定性離散事象システムのスーパバイザ制御研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

双模倣性の概念に基づく非決定性離散事象システムのスーパバイザ制御研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

不確かな環境下で動作する非決定性離散事象システムのスーパバイザ制御研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

離散事象システム理論に基づく組み込み型制御系のエネルギーアウェアな監視機構設計

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

リアルタイム制御の新展開-ハイブリッドダイナミカルシステム理論の体系化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

Max-Plus代数による離散事象システムの制御とその生産システムへの応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用研究代表者

研究代表者

研究期間 (年度)

研究種目

高井重昌 Takai Sigemasa