Opacity in Discrete Event Systems: A Perspective and Overview

TL;DR

This paper provides a comprehensive overview of opacity in discrete event systems, covering definitions, verification, enforcement, extensions to complex models, and open challenges in ensuring confidentiality against observers.

Contribution

It offers a unified, accessible survey of opacity concepts, verification techniques, enforcement methods, and extensions to richer models, highlighting future research directions.

Findings

Summarizes core opacity definitions and estimation viewpoints.

Reviews verification and enforcement techniques for opacity.

Outlines challenges and open problems in complex and data-driven settings.

Abstract

Opacity has emerged as a central confidentiality notion for information-flow security in discrete event systems (DES), capturing the requirement that an external observer (intruder) should never be able to determine with certainty whether the system is, was, or will be in a secret state. This article provides a concise, newcomer-friendly overview of opacity in DES, emphasizing core definitions and the unifying estimation viewpoint behind major opacity notions,. We summarize representative verification techniques and highlight how different observation models reshape both the problem formulation and algorithmic structure. We then review principal enforcement paradigms, ranging from opacity-enforcing supervisory control to sensor activation/information release optimization and obfuscation/editing mechanisms. Beyond finite automata, we outline how opacity has been studied in richer models such as stochastic systems, timed systems, Petri nets, and continuous/hybrid dynamics, and we briefly survey applications in robotics, location privacy, and information services. Finally, we discuss selected open challenges, including solvability under incomparable information, scalable methods beyond worst-case complexity, and opacity under intelligent or data-driven adversaries.