Supervisory control of timed networked discrete event systems

In this paper, we study the supervisory control problem of Timed Networked Discrete Event Systems (TNDES) subject to delays and losses of observations. We assume that the plant is distributed, having, therefore, several communication channels for the transmission of the event observations to the supervisor. We propose a timed model based on, a priori, knowledge of the minimal transition activation time and on the maximal time delay (possible packet loss also) of the communication channels. We then, obtain an equivalent untimed one and, based on this model we formulate a supervisory control problem (here referred to as networked supervisory control), and present a necessary and sufficient existence condition and a method for the synthesis of networked supervisors.