Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of Bisimilarity
Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of Bisimilarity
批准号:
18K04201
负责人:
TAKAI Shigemasa
金额:
$2.66万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2018
资助国家:
日本
项目状态:
已结题
起止时间:
2018-04-01 至 2023-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(28)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems
非确定性离散事件系统的最大许可非阻塞相似性控制
DOI:
--
发表时间:
2020
期刊:
影响因子:
--
作者:
[Li Jinglun, Takai Shigemasa]
通讯作者:
Takai Shigemasa
Deterministic Bisimilarity-Enforcing Supervisors for Nondeterministic Discrete Event Systems with Deterministic Specifications
具有确定性规范的非确定性离散事件系统的确定性双相似性强制监管器
DOI:
--
发表时间:
2020
期刊:
影响因子:
--
作者:
[Shimatani Kohei, Takai Shigemasa]
通讯作者:
Takai Shigemasa
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
用于具有确定性规范的部分观测的非确定性离散事件系统的双相似性控制的确定性监督器
DOI:
10.1587/transfun.2020map0004
发表时间:
2021
期刊:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子:
--
作者:
[Shimatani Kohei, Takai Shigemasa]
通讯作者:
Takai Shigemasa
DOI:
10.23919/acc53348.2022.9867608
发表时间:
2022-06
期刊:
2022 American Control Conference (ACC)
影响因子:
--
作者:
[Takumi Hamada;S. Takai]
通讯作者:
Takumi Hamada;S. Takai
Verification of reliable inference-diagnosability for decentralized diagnosis with single-level inference
通过单级推理验证分散诊断的可靠推理诊断性
DOI:
--
发表时间:
2022
期刊:
影响因子:
--
作者:
[Takumi Hamada, Shigemasa Takai]
通讯作者:
Shigemasa Takai
共 27 条
Supervisory Control for Design of Secure Discrete Event Systems
-
批准号:21560462
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.58万
-
财政年份:2009
-
负责人:TAKAI Shigemasa
-
依托单位:
Error Detection and Recovery Mechanisms for Fault-Tolerant Decentralized Supervisory Control Systems
-
批准号:18560433
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:2006
-
负责人:TAKAI Shigemasa
-
依托单位:
海外基金