| |
libFAUDES
Sections
Index
|
Fault Diagnosis Plug-In |
Classes | |
class | faudes::AttributeDiagnoserState |
Implements state estimates for the current status of the generator. More... | |
class | faudes::AttributeFailureEvents |
Stores the failure and indicator events for a particular failure type. More... | |
class | faudes::AttributeFailureTypeMap |
Partitions the failure and indicator events. More... | |
class | faudes::DiagLabelSet |
Implements the label representation for state estimates. More... | |
class | faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
Provides the structure and methods to build and handle diagnosers. More... | |
Functions (decentralized diagnosability) | |
bool | faudes::IsCoDiagnosable (const cGenerator &rGen, const Generator &rSpec, const std::vector< const EventSet * > &rAlphabets, std::string &rReportString) |
Checks co-diagnosability for a system G with respect to the specification K and the local observation alphabets rAlphabets. | |
Functions (modular diagnoser computation) | |
void | faudes::ComputeDecentralizedModularDiagnoser (const std::vector< const cGenerator * > &rGens, const Generator &rSpec, std::vector< diagGenerator * > &rDiags, std::string &rReportString) |
Function that computes decentralized diagnosers for the respective subsystems of a composed (modular) system. | |
Functions (diagnosability with respect to a failure partition) | |
bool | faudes::IsEventDiagnosable (const cGenerator &rGen, const AttributeFailureTypeMap &rFailureTypeMap, std::string &rReportString) |
Test a system's diagnosability with respect to a given failure partition. | |
bool | faudes::IsIndicatorEventDiagnosable (const cGenerator &rGen, const AttributeFailureTypeMap &rFailureTypeMap, std::string &rReportString) |
Test a system's I-diagnosability with respect to a given failure partition. | |
bool | faudes::MeetsDiagnosabilityAssumptions (const cGenerator &rGen, const AttributeFailureTypeMap &rFailureTypeMap, std::string &rReportString) |
Check if a generator meets the general assumptions of diagnosability as required by IsDiagnosable(const cGenerator&, const AttributeFailureTypeMap&, std::string&) and IsIndicatorDiagnosable(const cGenerator&, const AttributeFailureTypeMap&, std::string&). | |
Functions (diagnoser computation) | |
void | faudes::ComputeEventDiagnoser (const cGenerator &rOrigGen, const AttributeFailureTypeMap &rAttrFTMap, diagGenerator &rDiagGen) |
Compute a standard diagnoser from an input generator and a failure partition. | |
Functions (diagnosability with respect to a specification) | |
bool | faudes::IsLanguageDiagnosableX (const cGenerator &rGen, const cGenerator &rSpec, std::string &rReportString) |
Tests a system's diagnosability with respect to a given specification. | |
Functions (verification and computation of loop-preserving observers) | |
bool | faudes::IsLoopPreservingObserver (const cGenerator &rGen, const EventSet &rHighAlph) |
Verifies a loop-preserving observer. | |
void | faudes::ComputeLoopPreservingObserver (const cGenerator &rGen, const EventSet &rInitialHighAlph, EventSet &rHighAlph) |
Computes a loop-preserving observer with minimal state size of the abstraction. | |
Functions (diagnoser computation) | |
void | faudes::ComputeLanguageDiagnoser (const cGenerator &rGen, const cGenerator &rSpec, diagGenerator &rDiagGen) |
Compute a standard diagnoser from an input generator and a specification. | |
Functions (modular diagnosability) | |
bool | faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, std::string &rReportString) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs. | |
Functions (modular diagnoser computation) | |
bool | faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagSubs, std::string &rReportString) |
Function that computes diagnosers for the respective subsystems of a composed system. | |
Functions | |
bool | faudes::ComputeDecentralizedDiagnoser (const cGenerator &rGen, const Generator &rSpec, const std::vector< const EventSet * > &rAlphabets, std::vector< diagGenerator * > &rDiags, std::string &rReportString) |
Computes decentralized diagnosers for multiple local sites. | |
bool | faudes::IsModularDiagnosable (const std::vector< const cGenerator * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::string &rReportString) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs. | |
bool | faudes::ComputeModularDiagnoser (const std::vector< const cGenerator * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::vector< diagGenerator * > &rDiagsubs, std::string &rReportString) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs. |
bool faudes::ComputeDecentralizedDiagnoser | ( | const cGenerator & | rGen, | |
const Generator & | rSpec, | |||
const std::vector< const EventSet * > & | rAlphabets, | |||
std::vector< diagGenerator * > & | rDiags, | |||
std::string & | rReportString | |||
) |
Computes decentralized diagnosers for multiple local sites.
rGen | Plant automaton. | |
rSpec | Specification automaton. | |
rAlphabets | Observable events of the local sites. | |
rDiags | Decentralized diagnosers | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
Definition at line 293 of file diag_decentralizeddiagnosis.cpp.
void faudes::ComputeDecentralizedModularDiagnoser | ( | const std::vector< const cGenerator * > & | rGens, | |
const Generator & | rSpec, | |||
std::vector< diagGenerator * > & | rDiags, | |||
std::string & | rReportString | |||
) |
Function that computes decentralized diagnosers for the respective subsystems of a composed (modular) system.
doxygen group
rGens | Local subsystem automata | |
rSpec | Specification automaton. | |
rDiags | Decentralized diagnosers | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
Definition at line 317 of file diag_decentralizeddiagnosis.cpp.
void faudes::ComputeEventDiagnoser | ( | const cGenerator & | rOrigGen, | |
const AttributeFailureTypeMap & | rAttrFTMap, | |||
diagGenerator & | rDiagGen | |||
) |
Compute a standard diagnoser from an input generator and a failure partition.
doxygen group
rOrigGen | Input plant including failure events. | |
rAttrFTMap | Failure type map of plant. | |
rDiagGen | Diagnoser generator for output. |
Exception |
|
Definition at line 833 of file diag_eventdiagnosis.cpp.
void faudes::ComputeLanguageDiagnoser | ( | const cGenerator & | rGen, | |
const cGenerator & | rSpec, | |||
diagGenerator & | rDiagGen | |||
) |
Compute a standard diagnoser from an input generator and a specification.
doxygen group
rGen | Input plant | |
rSpec | Specification generator. | |
rDiagGen | Diagnoser generator for output. |
Definition at line 280 of file diag_languagediagnosis.cpp.
void faudes::ComputeLoopPreservingObserver | ( | const cGenerator & | rGen, | |
const EventSet & | rInitialHighAlph, | |||
EventSet & | rHighAlph | |||
) |
Computes a loop-preserving observer with minimal state size of the abstraction.
rGen | Original generator | |
rInitialHighAlph | % Initial abstraction alphabet | |
rHighAlph | Resulting abstraction alphabet |
Definition at line 699 of file diag_languagediagnosis.cpp.
bool faudes::ComputeModularDiagnoser | ( | const cGeneratorVector & | rGsubs, | |
const GeneratorVector & | rKsubs, | |||
GeneratorVector & | rDiagSubs, | |||
std::string & | rReportString | |||
) |
Function that computes diagnosers for the respective subsystems of a composed system.
doxygen group
rGsubs | Local subsystem automata | |
rKsubs | Local specification automata of the subsystems. | |
rDiagSubs | Modular diagnosers | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
bool faudes::ComputeModularDiagnoser | ( | const std::vector< const cGenerator * > & | rGsubs, | |
const std::vector< const Generator * > & | rKsubs, | |||
std::vector< diagGenerator * > & | rDiagsubs, | |||
std::string & | rReportString | |||
) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
rGsubs | Local subsystem automata. | |
rKsubs | Local specification automata of the subsystems. | |
rDiagsubs | Modular diagnosers | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
Definition at line 165 of file diag_modulardiagnosis.cpp.
bool faudes::IsCoDiagnosable | ( | const cGenerator & | rGen, | |
const Generator & | rSpec, | |||
const std::vector< const EventSet * > & | rAlphabets, | |||
std::string & | rReportString | |||
) |
Checks co-diagnosability for a system G with respect to the specification K and the local observation alphabets rAlphabets.
doxygen group
rGen | Plant automaton. | |
rKsubs | Specification automaton. | |
rAlphabets | Local observation alphabets (for decentralized diagnosis) | |
rReportString | User-readable information of violating condition (in case of negative test result). |
bool faudes::IsEventDiagnosable | ( | const cGenerator & | rGen, | |
const AttributeFailureTypeMap & | rFailureTypeMap, | |||
std::string & | rReportString | |||
) |
Test a system's diagnosability with respect to a given failure partition.
doxygen group Standard diagnosability of a plant is validated with respect to a given failure partition. According to: "A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems" by Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, and Ratnesh Kumar.
rGen | Input generator, is a model of the original plant containing the relevant failures events. | |
rFailureTypeMap | Failure partition: maps failure type names to failure events. | |
rReportString | User-readable information of violating condition (in case of negative test result). |
bool faudes::IsIndicatorEventDiagnosable | ( | const cGenerator & | rGen, | |
const AttributeFailureTypeMap & | rFailureTypeMap, | |||
std::string & | rReportString | |||
) |
Test a system's I-diagnosability with respect to a given failure partition.
Validates I-Diagnosability with respect to a given failure and indicator partition. The algorithm is a modification of IsDiagnosable().
rGen | Input generator, is a model of the original plant containing the relevant failures events. | |
rFailureTypeMap | Failure partition: maps failure type names to failure events and indicator events. | |
rReportString | User-readable information of violating condition (in case of negative test result). |
bool faudes::IsLanguageDiagnosableX | ( | const cGenerator & | rGen, | |
const cGenerator & | rSpec, | |||
std::string & | rReportString | |||
) |
Tests a system's diagnosability with respect to a given specification.
doxygen group
rGen | Input generator. | |
rSpec | Specification automaton. | |
rReportString | User-readable information of violating condition (in case of negative test result). |
bool faudes::IsLoopPreservingObserver | ( | const cGenerator & | rGen, | |
const EventSet & | rHighAlph | |||
) |
Verifies a loop-preserving observer.
doxygen group
rGen | Original generator. | |
rHighAlph | Abstraction alphabet. |
Definition at line 653 of file diag_languagediagnosis.cpp.
bool faudes::IsModularDiagnosable | ( | const std::vector< const cGenerator * > & | rGsubs, | |
const std::vector< const Generator * > & | rKsubs, | |||
std::string & | rReportString | |||
) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
rGsubs | Local subsystem automata. | |
rKsubs | Local specification automata of the subsystems. | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
bool faudes::IsModularDiagnosable | ( | const cGeneratorVector & | rGsubs, | |
const GeneratorVector & | rKsubs, | |||
std::string & | rReportString | |||
) |
Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
doxygen group
rGsubs | Local subsystem automata. | |
rKsubs | Local specification automata of the subsystems. | |
rReportString | User-readable information of violating condition (in case of negative test result). |
Exception |
|
bool faudes::MeetsDiagnosabilityAssumptions | ( | const cGenerator & | rGen, | |
const AttributeFailureTypeMap & | rFailureTypeMap, | |||
std::string & | rReportString | |||
) |
Check if a generator meets the general assumptions of diagnosability as required by IsDiagnosable(const cGenerator&, const AttributeFailureTypeMap&, std::string&) and IsIndicatorDiagnosable(const cGenerator&, const AttributeFailureTypeMap&, std::string&).
It is examined if the following assumptions hold:
rGen | Input generator, is a model of the original plant containing the relevant failures events. | |
rFailureTypeMap | Failure partition: maps failure type names to failure events and indicator events. | |
rReportString | User-readable information of violationg condition (in case of negative result). |
Exception |
|
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6