Flordal, H. & Malik, R. (2006). Supervision equivalence. 8th Workshop on Discrete Event Systems 2006 (pp. 155-160). Ann Arbor, USA, 2006.
Abstract
This paper presents a general framework for
modular synthesis of supervisors for discrete event systems.
The approach is based on compositional minimisation, using
concepts of process equivalence. Its result is a compact
representation of a least restrictive supervisor that ensures
controllability and nonblocking. The method is demonstrated
to reduce the number of states to be constructed for a simple
manufacturing example, and the framework is proven to be
sound.
