Controle Supervisório de Sistemas a Eventos Discretos com Múltiplos Canais de Comunicação

In this paper, we address the problem of supervisory control of Networked Discrete Event Systems, where the transmission of event occurrences from the plant to the supervisor and the transmission of control decisions from the supervisor to the plant are carried out through a network with several communication channels subject to bounded delays, with different maximum delay upper bounds for each channel. Due to the multichannel structure, there may occur changes in the order of observations and there may also occur situations where the same control decision reaches different locations in the plant with different delays. To deal with such effects, we propose a new automaton model and, based on this model, we formulate a networked supervisory control problem, present a necessary and sufficient condition for the existence of a solution, and a test to verify the proposed existence condition.