部分观测下带事件强制的监督控制
Supervisory Control with Event Forcing Under Partial Observation
AI总结：
研究部分观测下离散事件系统带事件强制的监督控制问题，引入强制一致性概念作为监督器存在的充要条件，证明其与可强制概念的关系，为监督器综合奠定理论基础。
AI中文摘要：
本文研究离散事件系统中带事件强制的监督控制，尤其考虑了监督器的部分观测情况。与传统依赖事件启用和禁用的监督控制不同，强制机制允许监督器通过主动触发强制事件来抢占不需要的转移。在部分观测下，面临新挑战，即监督器的强制决策在所有不可区分的字符串上必须一致，同时通过抢占排除所有违规转移。引入强制一致性概念作为实现给定规范的监督器存在的充要条件。证明了强制一致性比可强制概念更强，且不像后者在并集下封闭。这些结果为存在强制机制和观测限制时的监督器综合奠定了理论基础。
英文摘要：
In this paper, we address supervisory control in discrete-event systems with event forcing. In particular, partial observation of the supervisor is considered. Unlike traditional supervisory control, which relies on event enablement and disablement, the forcing mechanism allows a supervisor to preempt unwanted transitions by actively triggering forcible events. Under partial observation, we face a new challenge where the supervisor's forcing decisions must be consistent across all indistinguishable strings meanwhile guarantee all violating transitions are excluded through preemption. We introduce the concept of forcing consistency as a necessary and sufficient condition for the existence of a supervisor that achieves a given specification. We prove that forcing consistency is strictly stronger than the notion of forcibility but, unlike the latter, is not closed under union. These results lay the theoretical foundation for supervisor synthesis in the presence of both forcing mechanisms and observation limitations.
