diag_decentralizeddiagnosis.cpp File Reference

Go to the source code of this file.

Namespaces

 faudes
 

Functions

bool faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const vector< const EventSet * > &rAlphabets, std::string &rReportString)
 
bool faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const std::vector< const EventSet * > &rAlphabets, std::vector< Diagnoser * > &rDiags, std::string &rReportString)
 
bool faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets)
 
bool faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags)
 
void faudes::DecentralizedModularDiagnoser (const SystemVector &rGens, const Generator &rSpec, GeneratorVector &rDiags)
 
Functions (modular diagnoser computation)
void faudes::DecentralizedModularDiagnoser (const std::vector< const System * > &rGens, const Generator &rSpec, std::vector< Diagnoser * > &rDiags, std::string &rReportString)
 

Detailed Description

Functions to test decentralized diagnosability and compute diagnosers.

Definition in file diag_decentralizeddiagnosis.cpp.

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen