Controllability and control-invariance in discrete-event systems
作者:
TOSHIMITSU USHIO,
期刊:
International Journal of Control
(Taylor Available online 1989)
卷期:
Volume 50,
issue 4
页码: 1507-1515
ISSN:0020-7179
年代: 1989
DOI:10.1080/00207178908953442
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
Recently, for discrete-event systems modelled by automata, Ramadge and Wonham (1987 a, b) have proposed two control techniques called ‘supervisory control’ and ‘state feedback logic’. If control specifications are given in terms of predicates on the set of states, both techniques are applicable. This paper discusses the relationship between these techniques. It is shown that the language accepted by the discrete-event system with maximally permissive feedback is equal to the supremal controllable language if the predicate is control invariant. Moreover, it is shown that the predicate is control invariant if there exists a controllable language with a certain condition on the set of reachable states, but the converse does not hold in general
点击下载:
PDF (254KB)
返 回