Supervision of Discrete Event Systems with Communication Delays

In this paper, we present an input-output interpretation of supervision of discrete-event systems by exploiting and reinterpreting known results from the literature. We show that synthesis issues can be recast into the framework of Ramadge and Wonham. However, if the interconnection of supervisor and plant is affected by delays, we must introduce the concept of delay insensitive language and of delay insensitive supervisors.