Flordal, HugoMalik, Robi2008-11-162008-11-162006Flordal, H. & Malik, R. (2006). Supervision equivalence. 8th Workshop on Discrete Event Systems 2006 (pp. 155-160). Ann Arbor, USA, 2006.https://hdl.handle.net/10289/1344This paper presents a general framework for modular 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.application/pdfenCopyright IEEE 2006computer scienceConference Contribution10.1109/WODES.2006.1678424