带有必要事件的相似性控制问题
The Similarity Control Problem with Required Events
AI总结：
本文针对需满足安全性和特定状态事件启用要求的监督系统，引入必要事件概念，重新考虑相似性控制问题，建立求解条件并提供最大许可监督器合成方法。
摘要：
为确保监督系统满足规范的安全要求以及某些状态下必须启用的事件要求，本文针对离散事件系统引入必要事件，并在考虑所有规范要求的情况下重新考虑相似性控制问题。采用比传统模拟更精细的协变-逆变模拟概念作为监督控制理论的行为关系。建立了该问题可解的必要且充分条件，并提供了一种合成最大许可监督器的方法。
英文摘要：
In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enabled, this paper introduces required events for discrete event systems and reconsiders the similarity control problem while taking all requirements from the specification into account. The notion of a covariant-contravariant simulation, which is finer than the conventional notion of simulation, is adopted to act as the behavioral relation of supervisory control theory. A necessary and sufficient condition for the solvability of this problem is established and a method for synthesizing a maximally permissive supervisor is provided.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
