Date Available
12-14-2011
Year of Publication
2004
Document Type
Dissertation
College
Engineering
Department/School/Program
Electrical Engineering
Faculty
Lawrence E. Holloway
Abstract
In this dissertation, we explore the problem of fault detection and fault diagnosis for systems modeled as condition systems. A condition system is a Petri net based framework of components which interact with each other and the external environment through the use of condition signals. First, a system FAULT is defined as an observed behavior which does not correspond to any expected behavior, where the expected behavior is defined through condition system models. A DETECTION is the determination that the system is not behaving as expected according to the model of the system. A DIAGNOSIS of this fault localizes the subsystem that is the source of the discrepancy between output and expected observations. We characterize faults as a behavior relaxation of model components. We then show that detection and diagnosis can be determined in a finite number of calculations. The exact solution can be computationally involved, so we also present methods to perform a rapid detection and diagnosis. We have also included a chapter on a conversion from the condition system framework into a linear-time temporal logic(LTL) framework.
Recommended Citation
Ashley, Jeffrey, "DIAGNOSIS OF CONDITION SYSTEMS" (2004). University of Kentucky Doctoral Dissertations. 341.
https://uknowledge.uky.edu/gradschool_diss/341
