期刊
IEEE ACCESS
卷 6, 期 -, 页码 42084-42093出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/ACCESS.2018.2859798
关键词
Discrete-event systems; partial observation; normality; symbolic computation
资金
- National Natural Science Foundation of China [61603285, 61472295, 61672400]
- Recruitment Program of Global Experts
- Science and Technology Development Fund, MSAR [122/2017/A3, 106/2016/A3]
- Natural Sciences and Engineering Research Council (NSERC) of Canada [DG_480599]
This paper describes a state-based approach for supervisor synthesis of discrete-event systems under partial observation, based on predicates and predicate transformers. We focus on the normality property and provide an iterative algorithm for state-based normality synthesis. A condition is provided to simplify the algorithm. To bridge the gap between language-based normality synthesis and state-based normality synthesis, we prove that their synthesis results are mutually consistent. This paper also aims to build a useful foundation for non-blocking supervisor synthesis of partially-observed state tree structures, which is essentially a state-based approach. The proposed approach is illustrated with a Guideway example taken from the literature.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据