'Institute of Electrical and Electronics Engineers (IEEE)'
Doi
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
