Title :
Supervision equivalence [supervisor synthesis]
Author :
Flordal, Hugo ; Malik, Robi
Author_Institution :
Dept. of Signals & Syst., Chalmers Univ. of Technol., Gothenburg
Abstract :
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. Its result is a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated to reduce the number of states to be constructed for a simple manufacturing example, and the framework is proven to be sound
Keywords :
control system synthesis; controllability; discrete event systems; compositional minimization; controllability; discrete event systems; least restrictive supervisor; nonblocking; process equivalence; supervision equivalence; supervisor synthesis; Automata; Automatic control; Computer science; Control system synthesis; Controllability; Discrete event systems; Explosions; Manufacturing; Signal synthesis; Supervisory control;
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.1678424
