From Diagnosability to Opacity: A Brief History of Diagnosability or Lack Thereof

摘要

In the context of the special historical session on the emergence of discrete event systems as an area of research within the control engineering community, this paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata in the 1990s. About 10 years later, this work was followed by related investigations on the property of opacity, a strong version of lack of diagnosability that captures security and privacy requirements in cyber and cyber-physical systems.