op_mc.h File Reference

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

Namespaces

 faudes
 libFAUDES resides within the namespace faudes.
 

Macros

#define FAUDES_OP_MC_H
 

Functions

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

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

Macro Definition Documentation

◆ FAUDES_OP_MC_H

#define FAUDES_OP_MC_H

Definition at line 108 of file op_mc.h.

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen