Controller synthesis method for Discrete Event Systems

Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills some specifications like: avoid the deadlocks, reach or avoid the reaching of some given states, execute or avoid the execution of some given sequences of events, execute cyclically sequences of events with the shortest periods, etc. In the current study the plants are modeled by Delay Time Petri Nets (DTPN) and the controllers are Time Petri Nets (TPN) models. The controllers can be described by a particular Time Petri Net Language (TPNL). The TPNL descriptions can be transformed into Lisp descriptions. The latest are used by a Genetic Programming (GP) method for the controller synthesis such that DES meets most accurately the system requirements.