Functions to test modular diagnosability and compute modular diagnosers.
More...
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| bool | faudes::IsModularDiagnosable (const SystemVector &rGsubs, const GeneratorVector &rKsubs, string &rReportString) |
| |
| bool | faudes::IsModularDiagnosable (const vector< const System * > &rGSubs, const vector< const Generator * > &rKSubs, std::string &rReportString) |
| |
| bool | faudes::ModularDiagnoser (const SystemVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagSubs, string &rReportString) |
| |
| bool | faudes::ModularDiagnoser (const std::vector< const System * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::vector< Diagnoser * > &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. More...
|
| |
| bool | faudes::IsModularDiagnosable (const SystemVector &rGsubs, const GeneratorVector &rKsubs) |
| | Function definition for run-time interface. More...
|
| |
| bool | faudes::ModularDiagnoser (const SystemVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs) |
| | Function definition for run-time interface. More...
|
| |
| void | faudes::cParallel (const vector< System > &rGens, System &rResGen) |
| |
Functions to test modular diagnosability and compute modular diagnosers.
Definition in file diag_modulardiagnosis.cpp.