libFAUDES

Sections

Types

Functions

Observer PlugIn

This 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.
Copyright (c) 2008, Christian Breindl, Klaus Schmidt.


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"