diag_decentralizeddiagnosis.cpp File Reference

Functions to test decentralized diagnosability and compute diagnosers. More...

#include "diag_decentralizeddiagnosis.h"
#include <vector>
#include "corefaudes.h"
#include "op_include.h"
#include "diag_attrdiagstate.h"
#include "diag_attrfailuretypes.h"
#include "diag_attrfailureevents.h"
#include "diag_debug.h"
#include "diag_generator.h"
#include "diag_attrlabelset.h"
#include "op_obserververification.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace 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)
 Computes decentralized diagnosers for multiple local sites.
bool faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets)
 Function definition for run-time interface.
bool faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags)
 Function definition for run-time interface.
void faudes::DecentralizedModularDiagnoser (const SystemVector &rGens, const Generator &rSpec, GeneratorVector &rDiags)
 Function definition for run-time interface.
Functions (modular diagnoser computation)

void faudes::DecentralizedModularDiagnoser (const std::vector< const System * > &rGens, const Generator &rSpec, std::vector< Diagnoser * > &rDiags, std::string &rReportString)
 Function that computes decentralized diagnosers for the respective subsystems of a composed (modular) system.

Detailed Description

Functions to test decentralized diagnosability and compute diagnosers.

Definition in file diag_decentralizeddiagnosis.cpp.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen