Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

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.

DOI: 10.1007/s10626-007-0018-z

Extracted Key Phrases

11 Figures and Tables

Statistics

010202008200920102011201220132014201520162017
Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Flordal2007CompositionalSO, title={Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence}, author={Hugo Flordal and Robi Malik and Martin Fabian and Knut {\AA}kesson}, journal={Discrete Event Dynamic Systems}, year={2007}, volume={17}, pages={475-504} }