| |
libFAUDES
Sections
Index
|
op_mc.cpp File ReferenceDetailed DescriptionMethod 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.
|
libFAUDES 2.13a c++ source docu by doxygen 1.5.6