Opacidade em Controle Supervisório de Sistemas a Eventos Discretos em Rede

Jefté Marcelo Araujo Fontes; Marcos Vinícius Silva Alves

doi:10.20906/SBAI-SBSE-2023/4065

Jefté Marcelo Araujo Fontes Departamento de Engenharia Elétrica, Universidade Federal de Sergipe, SE
Marcos Vinícius Silva Alves Departamento de Engenharia Elétrica, Universidade Federal de Sergipe, SE

DOI: https://doi.org/10.20906/SBAI-SBSE-2023/4065

Keywords: opacity, supervisory control, automata, discrete event systems

Abstract

In this paper, the verification of opacity in discrete event systems is addressed by considering systems under the action of supervisors. It is assumed that an intruder is able to observe some event occurrences transmitted from the plant to the supervisor and some control actions transmitted from the supervisor to the plant. In order to limit the observations of control actions by the intruder, a sender device is included in the closed-loop structure. The estimation of the current plant state performed by the intruder is formally characterized, and a new concept of network opacity is proposed. In addition, a necessary and sufficient condition for network opacity is presented, and a method for its verification is developed.