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