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

基于相似性概念的非确定性离散事件系统的监督控制

基本信息

  • 批准号：
    18K04201
  • 负责人：
    TAKAI Shigemasa
  • 金额：
    $ 2.66万
  • 依托单位：
    Osaka University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-04-01 至 2023-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（28）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems
非确定性离散事件系统的最大许可非阻塞相似性控制
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Li Jinglun;Takai Shigemasa
  • 通讯作者：
    Takai Shigemasa
Deterministic Bisimilarity-Enforcing Supervisors for Nondeterministic Discrete Event Systems with Deterministic Specifications
具有确定性规范的非确定性离散事件系统的确定性双相似性强制监管器
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shimatani Kohei;Takai Shigemasa
  • 通讯作者：
    Takai Shigemasa
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
用于具有确定性规范的部分观测的非确定性离散事件系统的双相似性控制的确定性监督器
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference
Verification of reliable inference-diagnosability for decentralized diagnosis with single-level inference
通过单级推理验证分散诊断的可靠推理诊断性
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takumi Hamada;Shigemasa Takai
  • 通讯作者：
    Shigemasa Takai
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

TAKAI Shigemasa其他文献

TAKAI Shigemasa的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('TAKAI Shigemasa', 18)}}的其他基金

Supervisory Control for Design of Secure Discrete Event Systems
安全离散事件系统设计的监督控制
  • 批准号：
    21560462
  • 财政年份：
    2009
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Error Detection and Recovery Mechanisms for Fault-Tolerant Decentralized Supervisory Control Systems
容错分散监控系统的错误检测和恢复机制
  • 批准号：
    18560433
  • 财政年份：
    2006
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用
考虑事件同时发生的离散事件系统监控及其工程应用
  • 批准号：
    15760321
  • 财政年份：
    2003
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
モバイル通信機能をもつ複合離散事象システムのモデリングと分散スーパバイザ制御
具有移动通信功能的复杂离散事件系统的建模和分布式监控
  • 批准号：
    12875080
  • 财政年份：
    2000
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
分散ネットワークにおけるブロッキングを許容した有限状態スーパバイザ制御系の設計
允许分布式网络阻塞的有限状态监控系统的设计
  • 批准号：
    04750433
  • 财政年份：
    1992
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了