Fault Diagnosis of Discrete-Event Systems from Abstract Observations


  • Gianfranco Lamperti Department of Information Engineering, University of Brescia, 25123 Brescia, Italy
  • Marina Zanella Department of Information Engineering, University of Brescia, 25123 Brescia, Italy
  • Xiangfu Zhao School of Computer and Control Engineering, Yantai University, 30, Qingquan RD, Laishan District, Yantai 264005, China




Model-based diagnosis, abduction, active systems, discrete-event systems, finite automata, observability, abstract observations, uncertainty


Active systems (ASs) are a special class of (asynchronous) discrete-event systems (DESs). An AS is represented by a network of components, where each component is modeled as a communicating automaton. Diagnosing a DES amounts to finding out possible faults based on the DES model and a sequence of observations gathered while the DES is being operated. This is why the diagnosis engine needs to know what is observable in the behavior of the DES and what is not. The notion of observability serves this purpose. In the literature, defining the observability of a DES boils down to qualifying the state transitions of components either as observable or unobservable, where each observable transition manifests itself as an observation. Still, looking at the way humans observe reality, typically by associating a collection of events with a single, abstract perception, the state-of-the-art notion of DES observability appears somewhat narrow. This paper presents, a generalized notion of observability, where an observation is abstract rather than concrete, since it is associated with a DES behavioral scenario rather than a single component transition. To support the online diagnosis engine, knowledge compilation is performed offline. The outcome is a set of data structures, called watchers, which allow for the tracking of abstract observations.


Download data is not yet available.




How to Cite

Lamperti, G., Zanella, M., & Zhao, X. (2022). Fault Diagnosis of Discrete-Event Systems from Abstract Observations. COMPUTING AND INFORMATICS, 41(1), 116–134. https://doi.org/10.31577/cai_2022_1_116



Special Section Articles