Flordal, H., Malik, R., Fabian, M. & Akesson, K.(2007). Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems, 17(4), 475-504.
Permanent Research Commons link: https://hdl.handle.net/10289/1992
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. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis.
This is an author’s version of an article published in the journal: Discrete Event Dynamic Systems. ©2007 Springer Netherlands. The original publication is available at http://www.springerlink.com.