Reformulation for the Diagnosis of Discrete-Event Systems.

Alban GrastienGianluca Torta
Published in: SARA (2011)