libFAUDES

Sections

Types

Functions

Multitasking PlugIn

The multitasking plug-in extends libFAUDES to handle colored marking generators (CMGs), i.e. generators in which the marking is modelled by a set of symbolic colors. The corresponding faudes type MtcSystem is derived from System and the multitasking-plugin implements a range of algorithms to address synchronous composition, controller synthesis and observer design.

Note: the user reference to this plug-in is work in progress and we kindly refer to the Multitasking C++ API and the below publications [M1,M2,M3,M4].


Copyright (c) 2008, Matthias Singer.
Copyright (c) 2009, Klaus Schmidt, Thomas Moor.


Literature

[M1] M. H. de Queiroz, J. E. R. Cury, and W.M Wonham. Multitasking supervisory control of discreteevent systems. Discrete Event Dynamic Systems, vol. 15, no. 4, pp. 375-395, 2005.

[M2] M. H. de Queiroz and J. E. R. Cury. Modular Multi-tasking Supervisory Control of Composite Discrete Event Systems. IFAC World Congress, 2005.

[M3] K. Schmidt, M. H. de Queiroz and J. E. R. Cury. Hierarchical and Decentralized Multitasking Control of Discrete Event Systems. Conference on Decision and Control, 2007.

[M4] K. Schmidt and J. E. R. Cury. Redundant Tasks in Multitasking Control of Discrete Event Systems. Workshop on Dependable Control of Discrete Event Systems, Italy, 2009.

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"