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