Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

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.

• Type: Journal
• Year: 2007
• Where: DEDS
• Authors: Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson
• Keywords: DEDS 2007, Discrete Event Systems, Efficient Synthesis, Supervisor Synthesis