| |
libFAUDES
PlugIns
Types
Functions
|
Observer PluginThis plugin implements algorithms for the verification and synthesis of natural projections that are observers, as first proposed in K. C. Wong and W. M. Wonham, "On the Computation of Observers in Discrete Event Systems," Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 55-107, 2004, and that fulfill the output control consistency (OCC) or local control consistency (LCC) condition for maximally permissive hierarchical control, as proposed in K. Schmidt and C. Breindl, "On Maximal Permissiveness of Hierarchical and Modular Supervisory Control Approaches for Discrete Event Systems," Workshop on Discrete Event Systems, 2008. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"