Functions to check a system's decentralized diagnosability.
|
Namespaces |
namespace | faudes |
Functions |
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.
|
void | faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, std::string &rReportString, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs, std::string &rReportString, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::cParallel (const std::vector< cGenerator > &rGens, cGenerator &rResGen) |
| Parallel composition of multiple generators.
|
|
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.
|
|
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.
|