op_mc.h File ReferenceMethod to verify mutual controllability for two given generators. More... #include "corefaudes.h" #include "syn_include.h" #include "op_debug.h" Go to the source code of this file.
Detailed 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. Definition in file op_mc.h. Define DocumentationlibFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |