Automatique

Overview of Discrete Event Systems Opacity: models, validation, and quantification

Published on - Annual Reviews in Control

Authors: Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure