A new method for centralized and modular supervisory control of real-time discrete event systems

Abstract

In this paper, we first propose a centralized method for the synthesis of a supervisor that forces a given plant to conform to a given specification. Then, we extend this centralized method to the modular case, that is, for the synthesis of n supervisors that force the plant to conform to n given specifications, respectively. Timed automata (TA) with invariants is the model used to describe the plant and the specifications, and the synthesis approach is based on a transformation of TA into particular finite state automata called set-exp-automata