Flordal, H. & Malik, R. (2006). Supervision equivalence. 8th Workshop on Discrete Event Systems 2006 (pp. 155-160). Ann Arbor, USA, 2006.
Permanent Research Commons link: http://hdl.handle.net/10289/1344
This 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.
Copyright IEEE 2006