<p>In hierarchical supervisory control of discrete event systems, the observer property of the reporter map ensures that the high-level supervisor can rely on the occurrence of any event that is eligible in the high-level plant to implement a nonblocking closed-loop system. When combined with strict output control consistency and marking consistency, the observer property is a sufficient but not necessary condition for strong hierarchical consistency, which guarantees that the high-level model maintains the necessary information to achieve optimal nonblocking supervisory control for any high-level specification. Aiming to weaken the observer condition, this paper introduces the definitions of prefix-closing alphabet and of reliable events. The first main result demonstrates that it is sufficient to verify if the subset of reliable events is prefix-closing for the high-level controllable specification. A second result proves that nonblocking hierarchical supervision is ensured for any high-level specification if the set of uncontrollable high-level events is reliable and prefix-closing for the high-level plant. The application to the hierarchical structure of a valve circuit in process control where the reporter map is not an observer demonstrates that the novel conditions can be useful in practice.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Hierarchical supervisory control of discrete event systems based on reliable events

  • Rafael Garlet de Oliveira,
  • Max Hering de Queiroz,
  • José Eduardo Ribeiro Cury

摘要

In hierarchical supervisory control of discrete event systems, the observer property of the reporter map ensures that the high-level supervisor can rely on the occurrence of any event that is eligible in the high-level plant to implement a nonblocking closed-loop system. When combined with strict output control consistency and marking consistency, the observer property is a sufficient but not necessary condition for strong hierarchical consistency, which guarantees that the high-level model maintains the necessary information to achieve optimal nonblocking supervisory control for any high-level specification. Aiming to weaken the observer condition, this paper introduces the definitions of prefix-closing alphabet and of reliable events. The first main result demonstrates that it is sufficient to verify if the subset of reliable events is prefix-closing for the high-level controllable specification. A second result proves that nonblocking hierarchical supervision is ensured for any high-level specification if the set of uncontrollable high-level events is reliable and prefix-closing for the high-level plant. The application to the hierarchical structure of a valve circuit in process control where the reporter map is not an observer demonstrates that the novel conditions can be useful in practice.