Compositional synthesis of maximally permissive supervisors using supervision equivalence
Files
Citation
Export citationFlordal, 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
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. 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.
Date
2007Type
Publisher
Springer Netherlands
Rights
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.