一类离散事件系统的动态监督控制

Dynamically Supervisory Control of a Class of Discrete Event Systems

本文将影响控制信号的离散事件用所谓限制条件表示,并得出一种最简表示方法。在此基础上,提出一种求解 k-SSSP 的动态监控方法,它通过把限制条件可能影响到的系统状态记录在一个静态知识库中,然后用黑板记录限制条件的动态出现,从而实现对系统的动态监控。

In supervisory control problems of discrete event systems. if the controls are completely determined by at most k preceedingly occurred events, the task to design such a supervisor is then called k - step supervisor synthesis problem (or briefly k -SSSP). A closely related problem is how to represent so - called constraints that play an important role in supervisions. In this paper, we first achieve a neat expression of constraints through compatible and equivalent relations among different constraints. Then, a new methodology to solve k-SSSP is suggested, which is called dynamic supervision. To realize dynamic supervision, we first keep in a static knowledge base all the states on which some constraints may have potential effect and then arrange on each of the states a blackboard to record all the constraints that will dynamically occur in the evolution of the controlled system.