Archived
This content is available here strictly for research, reference, and/or recordkeeping and as such it may not be fully accessible. If you work or study at University of Kentucky and would like to request an accessible version, please use the SensusAccess Document Converter.
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
