期刊
INFORMATION SCIENCES
卷 465, 期 -, 页码 523-544出版社
ELSEVIER SCIENCE INC
DOI: 10.1016/j.ins.2018.07.025
关键词
Discrete-event system; Supervisory control; State-tree structure; Observability; Predicate
资金
- Alexander von Humboldt Foundation
- National Natural Science Foundation of China [61703322, 61374068, 61673309]
- Science and Technology Development Fund, MSAR [078/2015/A3]
Supervisory control of discrete-event systems (SCDES) is well developed to find a maximally permissive supervisor. As an extension to supervisory control theory, a new framework, state-tree structures (STS), has been deployed to manage the state explosion problem of SCDES. This paper aims to address this notorious issue of supervisory control with partial observation in the STS framework by state feedback control that calculates the controllers of the controllable-observable events only, which is realized by the following two steps. First, for a specification represented as a predicate, a supremal normal subpredicate that requires only the controllable-observable events enabled/disabled, is computed. Second, according to the new transition function constructed by the natural projection of the given STS, the supremal nonblocking, weakly controllable subpredicate is obtained from the supremal normal subpredicate. The proposed approach based on STS provides the possibility to supervise controllable events under partial observation in large-scale systems with the state explosion problem managed. An example with state size over 10(7) that leads to program crashes in SCDES can be solved in this paper. Moreover, in order to demonstrate the industrial applications of the contribution of this research, three examples are addressed. (C) 2018 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据