libFAUDES

Sections

Index

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.
Functions (modular diagnoser computation)
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.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6