libFAUDES

Sections

Index

op_mc.cpp File Reference

Method to verify mutual controllability for two given generators. More...

#include "op_mc.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Functions

bool faudes::IsMutuallyControllable (const cGenerator &rGen1, const cGenerator &rGen2)
 Verification of mutual controllability.
bool faudes::IsMutuallyControllable (const cGenerator &rGen1, const cGenerator &rGen2, StateSet &rForbidden1, StateSet &rForbidden2)
 Verification of mutual controllability.
void faudes::IsMutuallyControllable (const cGenerator &rGen1, const cGenerator &rGen2, bool &rRes)
 RTI wrapper.

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

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3