Abstract: In this article, we investigate the synthesis problem of edit functions for opacity enforcement in systems modeled as partially observed finite-state automata. For better plausible ...