Takai Sigemasa 高井重昌

… Alternative Names

TAKAI Shigemasa 高井重昌

Less

Researcher Number	60243177
Other IDs
External Links
Affiliation (Current)	2025: 大阪大学, 大学院工学研究科, 教授
Affiliation (based on the past Project Information) *help	2022 – 2023: 大阪大学, 大学院工学研究科, 教授 2016 – 2021: 大阪大学, 工学研究科, 教授 2012 – 2015: 大阪大学, 工学(系)研究科(研究院), 教授 2011: 大阪大学, 大学院・工学研究科, 教授 2009 – 2010: Osaka University, 工学研究科, 教授 … More 2007 – 2008: 京都工芸繊維大学, 大学院・工芸科学研究科, 准教授 2007 – 2008: Kyoto Institute of Technology, 工芸科学研究科, 准教授 2006: 京都工芸繊維大学, 大学院工芸科学研究科, 助教授 2006: 京都工芸繊維大学, 工芸科学研究科, 助教授 2004 – 2005: 京都工芸繊維大学, 工芸学部, 助教授 1999 – 2003: 和歌山大学, システム工学部, 助教授 1998: 和歌山大学, システム工学部, 講師 1994 – 1997: 大阪大学, 工学部, 助手 Less
Review Section/Research Field	Principal Investigator Control engineering / 計測・制御工学 / Basic Section 21040:Control and system engineering-related / Control engineering / Control engineering/System engineering Except Principal Investigator Control engineering / Control engineering
Keywords	Principal Investigator 離散事象システム / スーパバイザ制御 / 制御工学 / システム理論 / 分散制御 / ス-パバイザ制御 / 同時進行性 / 状態フィードバック制御 / 模倣制御 / 双模倣制御 … More / 非決定性 / 非決定性状態遷移 / 分散スーパバイザ制御 / リライアビリティ / 分散型故障診断 / リアルタイムシステム / 診断 / セキュアシステム / ペトリネット / オートマトン / フォールトトレランス / 故障診断 / ノンブロッキングスーパバイザ / 分散スーパバイザ / ロバスト制御 / Max-Plus代数 / 状態フィードバック … More Except Principal Investigator 状態フィードバック / オートマトン / エネルギーアウェアネス / 言語測度 / 動的再構成可能デバイス / 多目的最適化問題 / Qos公平化制御 / ハイブリッドオートマトン / スケジューリング / 弾性タスクモデル / 動的リソース配分 / QoS公平化制御 / 低消費電力 / 組み込みシステム / 監視機構 / サンプル値制御 / スーパバイザ制御 / 安定解析 / モデリング / 非線形現象 / ハイブリッドシステム Less

Supervisory Control of Timed Discrete Event Systems Based on BisimulationPrincipal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 21040:Control and system engineering-related
- Research Institution
  Osaka University
Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of BisimilarityPrincipal Investigator
- Principal Investigator
  
  TAKAI Shigemasa
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 21040:Control and system engineering-related
- Research Institution
  Osaka University
Supervisory Control of Nondeterministic Discrete Event Systems Operating in Uncertain EnvironmentsPrincipal Investigator
- Principal Investigator
  
  Takai Shigemasa
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering/System engineering
- Research Institution
  Osaka University
Reliable Decentralized Failure Diagnosis for Design of Discrete Event SystemsPrincipal Investigator
- Principal Investigator
  
  TAKAI Shigemasa
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
Supervisory Control for Design of Secure Discrete Event SystemsPrincipal Investigator
- Principal Investigator
  
  TAKAI Shigemasa
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
Error Detection and Recovery Mechanisms for Fault-Tolerant Decentralized Supervisory Control SystemsPrincipal Investigator
- Principal Investigator
  
  TAKAI Shigemasa
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Kyoto Institute of Technology
Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory
- Principal Investigator
  
  USHIO Toshimitsu
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Control engineering
- Research Institution
  Kyoto Institute of Technology
  Wakayama University
離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Control engineering
- Research Institution
  Wakayama University
リアルタイム制御の新展開-ハイブリッドダイナミカルシステム理論の体系化
- Principal Investigator
  
  USHIO Toshimitsu
- Project Period (FY)
  2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Osaka University
離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Control engineering
- Research Institution
  Wakayama University
Max-Plus代数による離散事象システムの制御とその生産システムへの応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計測・制御工学
- Research Institution
  Wakayama University
  Osaka University
大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計測・制御工学
- Research Institution
  Osaka University
事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計測・制御工学
- Research Institution
  Osaka University
同時進行性をもつ離散事象システムの状態フィードバック制御とそのFMSへの応用Principal Investigator
- Principal Investigator
  
  高井重昌
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計測・制御工学
- Research Institution
  Osaka University

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

1. USHIO Toshimitsu (30184998)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. MIYAMOTO Toshiyuki (00294041)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. YAMASAKI Tatsushi (00368458)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. KUMAGAI Sadatoshi (10093410)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 井村順一 (50252474)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 小林啓吾 (10314395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 山本茂 (70220465)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 土居伸二 (50217600)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. RATNESH Kumar

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
10. NOMURA Masashi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. YOKOTANI Misato

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. NAM Vu TUNG

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. KANAGAWA Naoki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. KIMURA Katsuyuki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. YAMAMOTO Takashi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YOKOTA Shoichi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Takai Sigemasa 高井 重昌

TAKAI Shigemasa 高井 重昌

Research Projects

Research Products

Co-Researchers

Supervisory Control of Timed Discrete Event Systems Based on BisimulationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of BisimilarityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Supervisory Control of Nondeterministic Discrete Event Systems Operating in Uncertain EnvironmentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reliable Decentralized Failure Diagnosis for Design of Discrete Event SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Supervisory Control for Design of Secure Discrete Event SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Takai Sigemasa 高井重昌

TAKAI Shigemasa 高井重昌