diag_decentralizeddiagnosis.h File Reference

Functions to check a system's decentralized diagnosability. More...

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

Go to the source code of this file.

Classes
struct	faudes::CoVerifierState

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
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. More...
bool	faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets)
	Function definition for run-time interface. More...
bool	faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags)
	Function definition for run-time interface. More...
void	faudes::DecentralizedModularDiagnoser (const SystemVector &rGens, const Generator &rSpec, GeneratorVector &rDiags)
	Function definition for run-time interface. More...
void	faudes::cParallel (const std::vector< const System * > &rGens, System &rResGen)
	Parallel composition of multiple generators. More...
Functions (decentralized diagnosability)
FAUDES_API bool	faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const std::vector< const EventSet * > &rAlphabets, std::string &rReportString)
	Checks co-diagnosability for a system G with respect to the specification K and the local observation alphabets rAlphabets. More...
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. More...

Detailed Description

Functions to check a system's decentralized diagnosability.

Definition in file diag_decentralizeddiagnosis.h.