Enforcing State-Based Opacity using Synchronizing Automata
Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme Vianna Raffo, Patrícia N. Pena · 2021 60th IEEE Conference on Decision and Control (CDC) · 2021
The ability to hide sensitive information is important in many contexts such as multi-agent systems’ communications, industry 4.0, among others. In this paper, we deal with weak versions of known state-based opacity properties by using synchronizing automata to enforce such properties. A case study is presented in the context of the communication of multi-agent systems, where we aim to hide the leader from an intruder. Using synchronizing automata, initial-state and initial-and-final state opacity are enforced even if the intruder has full observation of the events of the system.