Overview of discrete event systems opacity: Models, validation, and quantification

Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure. Overview of discrete event systems opacity: Models, validation, and quantification. Annual Reviews in Control, 41:135-146, 2016. [doi]

Abstract

Abstract is missing.