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

Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of Bisimilarity

Research Project

Project/Area Number 18K04201
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 21040:Control and system engineering-related
Research InstitutionOsaka University

Principal Investigator

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

Project Period (FY) 2018-04-01 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2019: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywords離散事象システム / スーパバイザ制御 / 双模倣制御 / 模倣制御 / 制御工学
Outline of Final Research Achievements

The bisimilarity control problem is a general control problem for a discrete event system and its control specification modeled as nondeterministic automata. As a necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem, a property that has to be satisfied by the system and its control specification is derived. Then, a systematic method for synthesizing a supervisor is developed. When there does not exist a solution to the bisimilarity control problem, the similarity control problem is solved by synthesizing a maximally permissive nonblocking supervisor.

Academic Significance and Societal Importance of the Research Achievements

非決定性オートマトンでモデル化された離散事象システムとその制御仕様に対して,双模倣制御問題の解となるスーパバイザの存在条件およびスーパバイザの一般的な構成法という基本的な問題が未解決であった.本研究成果は,この未解決問題を解決したという学術的意義がある.また,双模倣等価性という要求を緩和した模倣制御問題に対して,ノンブロッキングな最大許容スーパバイザの構成法を初めて開発した成果も,新規性および学術的意義がある.これらの成果は形式手法に基づく制御系設計理論の構築に貢献するものである.

Report

(6 results)
  • 2022 Annual Research Report   Final Research Report ( PDF )
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • Research Products

    (29 results)

All 2023 2022 2021 2020 2019 2018

All Journal Article (11 results) (of which Peer Reviewed: 11 results) Presentation (18 results) (of which Int'l Joint Research: 12 results)

  • [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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [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 Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      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
    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [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 Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      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
    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [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 Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      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
    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [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
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [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
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [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
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [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
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations2022

    • Author(s)
      Mouheeb Aous, Shigemasa Takai
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Related Report
      2021 Research-status Report
  • [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
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [Presentation] Maximally Permissive Similarity-Enforcing Supervisors for Nondeterministic Discrete Event Systems with Modular Specifications2020

    • Author(s)
      李 京倫,高井重昌
    • Organizer
      第63回自動制御連合講演会
    • Related Report
      2020 Research-status Report
  • [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
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 条件付き判断を用いた離散事象システムにおけるリライアブル共可診断性の検証2019

    • Author(s)
      濱田匠,高井重昌
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Related Report
      2019 Research-status Report
  • [Presentation] ローカルな状態推定を用いる離散事象システムの分散スーパバイザ制御2019

    • Author(s)
      早野彰人,高井重昌
    • Organizer
      第62回自動制御連合講演会
    • Related Report
      2019 Research-status Report
  • [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
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Similarity control of nondeterministic discrete event systems under partial observation2019

    • Author(s)
      Jinglun Li, Shigemasa Takai
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Related Report
      2018 Research-status Report
  • [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
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] 条件付き判断をもつ時間付き離散事象システムに対する分散スーパバイザの存在性2018

    • Author(s)
      三浦進平,高井重昌
    • Organizer
      第61回自動制御連合講演会
    • Related Report
      2018 Research-status Report

URL: 

Published: 2018-04-23   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi