mtc_obserververification.cpp
Go to the documentation of this file.
51 // One step of the observer algorithm: A dynamic system is computed that fulfills the one-step observer condition.
52 // if the result is equal to the original generator, then the natural projection on the high-level alphabet fulfills the observer property
58 // and relabel transitions in rLowGen if necessary. The high-level alphabet is modified accordingly
60 observer=relabel(genObs, controllableEvents, newHighAlph, newPartitions, mapStateToPartition, mapChangedTransReverse, mapChangedTrans, mapRelabeledEvents);
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |