DocumentCode
2409399
Title
Supervision equivalence [supervisor synthesis]
Author
Flordal, Hugo ; Malik, Robi
Author_Institution
Dept. of Signals & Syst., Chalmers Univ. of Technol., Gothenburg
fYear
2006
fDate
10-12 July 2006
Firstpage
155
Lastpage
160
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;
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.1678424
Filename
1678424
Link To Document