Qualitative diagnosis of condition systems

Jeffrey Ashley, Lawrence E. Holloway

Research output: Contribution to journalArticlepeer-review

18 Scopus citations


A condition system is a collection of Petri nets that interact with each other and the external environment through condition signals. Some of these condition signals may be unobservable. In this paper, a system fault is defined in terms of observed behavior versus expected behavior, where the expected behavior is defined through condition system models. A diagnosis of this fault localizes the subsystem that is the source of the discrepancy between output and expected observations. We show that the structure of the interacting subsystems define a diagnostic causal model that captures the causal structure of subsystem dependencies. The diagnostic causal model can then be used to determine a set of subsystems that might be the source of a fault.

Original languageEnglish
Pages (from-to)395-412
Number of pages18
JournalDiscrete Event Dynamic Systems: Theory and Applications
Issue number4
StatePublished - Oct 2004

Bibliographical note

Funding Information:
This work has been supported in part by Rockwell International, NSF grant ECS-9807106 and ECS-0115694, the Office of Naval Research under the grant N000140110621, and the Center for Manufacturing at the University of Kentucky.


  • Causal nets
  • Discrete event systems
  • Fault diagnosis
  • Petri nets

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Electrical and Electronic Engineering


Dive into the research topics of 'Qualitative diagnosis of condition systems'. Together they form a unique fingerprint.

Cite this