Deterministic supervisory control with flexible upper-bounds on observation delay and control delay

Abstract

This paper considers supervisory control of discrete event systems with observation delay and control delay. We first extend the formulation of networked supervisory control in the literature by allowing both the upper bound of observation delay and the upper bound of control delay vary among different event strings, and accommodating dynamic observation in which past influence whether or not an occurrence of an event is observable. We then combine observation delay and control delay and prove that satisfying both controllability and delay observability over the combined delay is necessary and sufficient for the existence of a supervisor by which the desired language can be obtained determin..