具有强迫事件的DES的事件反馈控制

Event Feedback Control of Discrete Event Systems with Forced Events

在系统与监控器的优先同步运行下 ,讨论了具有强迫事件的 DES的事件反馈控制 ;在预先给定的闭环系统的行为规范条件下 ,不仅得到了监控器存在的充分必要条件 。

This paper introduces the event feedback control theory of discrete event systems with forced events in the setting of concurrency by prior synchronization.Necessary and sufficient conditions for the existence of a supervisory controller are shown through a prescribed language.A supervisory controller is presented to prove the theorem.