libFAUDES

Sections

Index

mtc_obserververification.h File Reference


Detailed Description

Methods to verify the obsrver condition for natural projections.

The observer condition is, e.g., defined in K. C. Wong and W. M. Wonham, “Hierarchical control of discrete-event systems,” Discrete Event Dynamic Systems: Theory and Applications, 1996. In addition, methods to verify output control consistency (OCC) and local control consistency (LCC) are provided. See for example K. Schmidt and C. Breindl, "On Maximal Permissiveness of Hierarchical and Modular Supervisory Control Approaches for Discrete Event Systems," Workshop on Discrete Event Systems, 2008.

#include "libfaudes.h"
#include "mtc_observercomputation.h"
#include <map>
#include <vector>
#include <stack>

Namespaces

namespace  faudes

Defines

#define OP_OBSERVERVERIFICATION_H

Functions

bool faudes::IsMTCObs (const mtcGenerator &rLowGen, const EventSet &rHighAlph)
 Verification of the observer property.


Define Documentation

#define OP_OBSERVERVERIFICATION_H

libFAUDES 2.13a c++ source docu by doxygen 1.5.6