libFAUDES

Sections

Index

diag_modulardiagnosis.h File Reference


Detailed Description

Functions to check a system's decentralized diagnosability.

Definition in file diag_modulardiagnosis.h.

#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.

Namespaces

namespace  faudes

Functions

bool faudes::IsModularDiagnosable (const std::vector< const cGenerator * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::string &rReportString)
 Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
bool faudes::ComputeModularDiagnoser (const std::vector< const cGenerator * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::vector< diagGenerator * > &rDiagsubs, std::string &rReportString)
 Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
void faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, std::string &rReportString, bool &rRes)
 Function definition for run-time interface.
void faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, bool &rRes)
 Function definition for run-time interface.
void faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs, std::string &rReportString, bool &rRes)
 Function definition for run-time interface.
void faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs, bool &rRes)
 Function definition for run-time interface.
void faudes::cParallel (const std::vector< cGenerator > &rGens, cGenerator &rResGen)
 Parallel composition of multiple generators.
Functions (modular diagnosability)
bool faudes::IsModularDiagnosable (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, std::string &rReportString)
 Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
Functions (modular diagnoser computation)
bool faudes::ComputeModularDiagnoser (const cGeneratorVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagSubs, std::string &rReportString)
 Function that computes diagnosers for the respective subsystems of a composed system.

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