Files | |
file | op_bisimulation.cpp [code] |
Methods to compute bisimulations on dynamic systems (represented by a finite automaton). | |
file | op_bisimulation.h [code] |
Methods to compute bisimulations on dynamic systems (represented by a finite automaton). | |
file | op_debug.h [code] |
file | op_mc.cpp [code] |
Method to verify mutual controllability for two given generators. | |
file | op_mc.h [code] |
Method to verify mutual controllability for two given generators. | |
file | op_observer.h [code] |
Includes all observer plugin headers. | |
file | op_observercomputation.cpp [code] |
Methods to compute natural projections that exhibit the obsrver property. | |
file | op_observercomputation.h [code] |
Methods to compute natural projections that exhibit the obsrver property. | |
file | op_obserververification.cpp [code] |
Methods to verify the obsrver condition for natural projections. | |
file | op_obserververification.h [code] |
Methods to verify the obsrver condition for natural projections. | |
file | op_partition.cpp [code] |
Data structure that implements an equivalence class in the bisimulation algorithm. | |
file | op_partition.h [code] |
Data structure that implements an equivalence class in the bisimulation algorithm. |