2012 Volume 5 Issue 3 Pages 139-146
In order to construct a rational framework of designing discrete event control systems, it is necessary to develop the method of modeling concurrent systems, describing control objectives, and synthesizing controllers based on the plant models and control objectives. If the control of discrete events is viewed as the manipulation of event occurrences, the role of a controller is to enable and inhibit the occurrences of events. This paper presents a framework for control of discrete event systems so as to achieve the desired behavior specified as a control objective. For this purpose, by using condition/event nets (C/E nets) as a modeling tool for discrete event systems and partial languages as a behavioral description tool for C/E nets, we formulate a control problem to synthesize a controller which guarantees that all and only the desired behaviors described by a partial language is possible. We then present the solvability and solution techniques of the formulated problem, together with the discussion about the design of discrete event control systems with uncontrollable and unobservable events.