Lafortune, Stéphane; Lin, Feng; Hadjicostis, Christoforos N. (2018)
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 or Petri nets in the 1990s. The goal ...