diag_decentralizeddiagnosis.cpp File Reference
Detailed Description
Functions to test decentralized diagnosability and compute diagnosers.
Definition in file diag_decentralizeddiagnosis.cpp.
#include "diag_decentralizeddiagnosis.h"
Go to the source code of this file.
|
Namespaces |
namespace | faudes |
Functions |
bool | faudes::IsCoDiagnosable (const cGenerator &rGen, const Generator &rSpec, const vector< const EventSet * > &rAlphabets, std::string &rReportString) |
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.
|
void | faudes::IsCoDiagnosable (const cGenerator &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, bool &rRes) |
| Function definition for run-time interface.
|
bool | faudes::IsCoDiagnosable (const cGenerator &rGen, const Generator &rSpec, const EventSetVector &rAlphabets) |
| Function definition for run-time interface.
|
bool | faudes::ComputeDecentralizedDiagnoser (const cGenerator &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags) |
| Function definition for run-time interface.
|
void | faudes::ComputeDecentralizedDiagnoser (const cGenerator &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::ComputeDecentralizedModularDiagnoser (const cGeneratorVector &rGens, const Generator &rSpec, GeneratorVector &rDiags) |
| Function definition for run-time interface.
|
|
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.
|