A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
复制标题
一种紧凑统一的方法，用于综合离散事件系统的基于状态的属性执行监督器
DOI：
10.1109/tac.2021.3103918
复制
发表时间：
2022
影响因子：
6.8
通讯作者：
Lafortune, Stephane
中科院分区：
文献类型：
--
作者：
Meira-Goes, Romulo;Weitze, Jack;Lafortune, Stephane
