Extension based limited lookahead control for discrete event systems

被引:0
作者
Kumari, R
Cheung, HM
Marcus, SI
机构
来源
PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 1996年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Supervisory control of discrete event systems using limited lookahead has been studied by Chung-Lafortunc-Lin, where control is computed by truncating the plant behavior up to the limited lookahead window. We present a modification of this approach iu which the control is computed by extending the plant behavior by arbitrary traces beyond the limited lookahead window. The proposed supervisor avoids the notion of pending traces. Consequently the need for considering either a conservative or an optimistic attitude regarding pending traces (as in the work of Chung-Lafortunc-Lin) does not arise. It was shown that an optimistic attitude may re suit in violation of the desired specifications. We demonstrate here that a conservative attitude may result in a restrictive control policy by showing that in general the proposed supervisor is less restrictive than the conservative attitude based supervisor. Moreover, the proposed approach uses the notion of relative closure to construct the supervisor so that it is non-blocking even when the desired behavior is not relative closed (Chung-Lafortunc-Lin assume relative closure). Finally, the proposed supervisor possesses all the desirable properties that a conservative attitude based supervisor of Chung-Lafortunc-Lin possesses.
引用
收藏
页码:2225 / 2230
页数:6
相关论文
empty
未找到相关数据