部分观测下的事件强制监督控制

摘要

本文研究了离散事件系统中带有事件强制机制的监督控制问题，特别考虑了监督者的部分观测情况。提出了强制一致性概念作为存在满足给定规范的监督者的充要条件，并证明强制一致性严格强于可强制性概念但并非对并集封闭。