A New Method for Centralized and Modular Supervisory Control of Real-Time Discrete Event Systems
Lucien Ouédraogo, Mustapha Nourelfath, Ahmed Khoumsi · 2006
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