Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
复制标题
用于具有确定性规范的部分观测的非确定性离散事件系统的双相似性控制的确定性监督器
DOI：
10.1587/transfun.2020map0004
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Takai Shigemasa
中科院分区：
文献类型：
--
作者：
Shimatani Kohei;Takai Shigemasa
