-
Marcos Vinícius Silva Alves
Departamento de Engenharia Elétrica, Universidade Federal de Sergipe, SE
-
Lilian Kawakami Carvalho
Programa de Engenharia Elétrica, Universidade Federal do Rio de Janeiro, RJ
-
João Carlos dos Santos Basilio
Programa de Engenharia Elétrica, Universidade Federal do Rio de Janeiro, RJ
Keywords:
Discrete event systems, supervisory control, networked systems, communication delays, automata
Abstract
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.