| |
libFAUDES
Sections
Types
Functions
|
Observer PlugInThis plug-in implements algorithms for the verification and synthesis of natural projections that are observers, as first proposed in [O1], and that fulfill the output control consistency (OCC) or local control consistency (LCC) condition from [O2]. The latter relate to maximally permissive hierarchical and decerntralized control [O3].
Note: the user reference to this plug-in is work in progress and we kindly refer to the Observer C++ API and the below publications [O1,O2,O3].
Copyright (c) 2006, Bernd Opitz.
Literature[O1] 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. [O2] K. Schmidt and C. Breindl. On maximal permissiveness of hierarchical and modular supervisory control approaches for Discrete Event Systems. Workshop on Discrete Event Systems, Goeteborg, Sweden, May 2008. [O3] K. Schmidt, Th. Moor, S. Perk. Nonblocking hierarchical control of decentralized discrete event systems. IEEE Transactions on Automatic Control, 53(10):2252-2265, Nov 2008. |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"