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.
#include <stdio.h> #include <iostream> #include <libfaudes.h> #include <op_observer.h> int main(int argc, char* argv[]) { // read two generators from file input cGenerator gen1("./data/ex_mc/ex_mc1.gen"); cGenerator gen2("./data/ex_mc/ex_mc2.gen"); // Verify mutual controllability of gen1 and gen2. In this case, mutual controllabiity is violated. bool mc = MutualControllability(gen1,gen2); std::cout << "#################################################\n"; std::cout << "# Mutual controllability verification - result: " << mc << endl; std::cout << "#################################################\n"; // read one further generator from file input cGenerator gen3("./data/ex_mc/ex_mc3.gen"); // Verify mutual controllability of gen3 and gen2. In this case, mutual controllability holds. mc = MutualControllability(gen3,gen2); std::cout << "##################################################\n"; std::cout << "# Mutual controllability verification - result: " << mc << endl; std::cout << "##################################################\n"; return 0; }
Definition in file op_ex_mc.cpp.
#include <stdio.h>
#include <iostream>
#include <libfaudes.h>
#include <op_observer.h>
Go to the source code of this file.
Functions | |
int | main (int argc, char *argv[]) |
|
Definition at line 20 of file op_ex_mc.cpp. |