DocumentCode
2409447
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.
fYear
2006
fDate
10-12 July 2006
Firstpage
168
Lastpage
175
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.1678426
Filename
1678426
Link To Document