Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Artikel i vetenskaplig tidskrift, 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.

Författare

Hugo Flordal

Chalmers, Signaler och system, System- och reglerteknik, Automation

Robi Malik

University of Waikato

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Discrete Event Dynamic Systems: Theory and Applications

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

Vol. 17 4 475-504

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1007/s10626-007-0018-z