Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Journal article, 2007

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. © 2007 Springer Science+Business Media, LLC.

Author

Hugo Flordal

Chalmers, Signals and Systems, Systems and control, Automation

Robi Malik

University of Waikato

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Discrete Event Dynamic Systems: Theory and Applications

0924-6703 (ISSN) 1573-7594 (eISSN)

Vol. 17 4 475-504

Subject Categories

Computer Science

DOI

10.1007/s10626-007-0018-z

More information

Created

10/7/2017