SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Model-Based Reconfiguration: Diagnosis and Recovery
 by Dr. John Rushby & Judy Crow.

Number 4596.
NASA Langley Research Center, Hampton, VA.
May, 1994.
Type: NASA Contractor Report.

We extend Reiter's general theory of model-based diagnosis to a theory of fault detection, identification, and reconfiguration (FDIR). The generality of Reiter's theory readily supports an extension in which the problem of reconfiguration is viewed as a close analogue of the problem of diagnosis. Using a reconfiguration predicate rcfg analogous to the abnormality predicate ab, we derive a strategy for reconfiguration by transforming the corresponding strategy for diagnosis. There are two obvious benefits of this approach: first, algorithms for diagnosis can be exploited as algorithms for reconfiguration; second, we have a theoretical framework for an integrated approach to FDIR. As a first step toward realizing these benefits, we show that a class of diagnosis engines can be used for reconfiguration and we discuss algorithms for integrated FDIR. We argue that integrating recovery and diagnosis is an essential next step if this technology is to be useful for practical applications.
BibTEX Entry
    AUTHOR = {Judy Crow and John Rushby},
    TITLE = {Model-Based Reconfiguration: Diagnosis and Recovery},
    INSTITUTION = {{NASA} Langley Research Center},
    YEAR = {1994},
    TYPE = {{NASA} Contractor Report},
    NUMBER = {4596},
    ADDRESS = {Hampton, {VA}},
    MONTH = {may},
    NOTE = {(Work performed by {SRI} International)},
    URL = {}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy