op_mc.h File Reference


Detailed Description

Method to verify mutual controllability for two given generators.

A definition of mutual controllability is given in S.-H. Lee and K. C. Wong, “Structural decentralised control of concurrent DES,” European Journal of Control, vol. 35, pp. 1125-1134,2002.

Definition in file op_mc.h.

#include "libfaudes.h"
#include "op_debug.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Defines

#define OP_MC_H

Functions

bool faudes::MutualControllability (const cGenerator &rGen1, const cGenerator &rGen2)
 Verification of mutual controllability.
bool faudes::MutualControllability (const cGenerator &rGen1, const cGenerator &rGen2, StateSet &rForbidden1, StateSet &rForbidden2)
 Verification of mutual controllability.


Define Documentation

#define OP_MC_H
 

Definition at line 99 of file op_mc.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4