Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control

We consider the problem of privacy enforcement in discrete event systems modeled with deterministic finite automata under partial observation. The notion of privacy considered in this paper is related to a set of secret events, whose occurrence needs to be indefinitely kept hidden from an external observer. We assume that the secret events are unobservable but (at least under some executions) reve...