Controller synthesis for some control problems in timed discrete-event systems

This paper presents a novel approach to systematic controller synthesis of control problems in real-time discrete-event systems. Specifically, this paper is interested in those systems which can be modeled by the framework proposed by the author in a previous publication. In addition, the system specifications can be expressed in terms of predicates. As this design approach does not rely on a search through the reachability graph of a real-time discrete-event system, it can effectively derive an appropriate controller for the intended control problem. This design advantage is demonstrated by an application example: the control of a small manufacturing system with moderate complexities.