Combined Controller Synthesis for a Class of Discrete Event Systems
一类离散事件系统的混合型控制器设计

This paper addresses a synthesis method of combined controller for state machines.Firstly,the increment observers and the state observers of the forbidden places are introduced.Secondly,the criterion for an admissible marking is obtained based on the markings of the observers.Furthermore,this criterion is utilized to construct the algorithm of calculating the maximally permissive control.An example illustrates the theoretic results.