State-based control of timed discrete event systems using binary decision diagram

This thesis discusses a new synthesis approach to the supervisory control of Timed Discrete Event Systems (TDES).;The new approach is much more efficient than the existing synthesis approaches. Using this method, many practical systems can be synthesized using a personal computer. Besides, it is shown that the number of nodes in the Binary Decision Diagram (BDD) representing a TDES can be a better measurement of the complexity of the TDES than the number of states and transitions.;The structural information of the timers in a given TDES together with the reduction properties of BDDs are exploited to help this new method achieve more efficient performance. The algorithm is based on the fact that each flat structure can be divided into smaller structures.;The success of our new approach is illustrated with very large versions of existing examples taken from the literature.