Title :
A new method for centralized and modular supervisory control of real-time discrete event systems
Author :
Ouédraogo, Lucien ; Nourelfath, Mustapha ; Khoumsi, Ahmed
Author_Institution :
Dept. Elect. & Comp. Eng., Sherbrooke Univ., Que.
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
Keywords :
control system synthesis; discrete event systems; finite state machines; real-time systems; centralized control; finite state automata; modular supervisory control; real-time discrete event systems; set-exp-automata; supervisor synthesis; timed automata; Automata; Automatic control; Clocks; Control system synthesis; Discrete event systems; Explosions; Real time systems; State-space methods; Supervisory control; Timing;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.1678426