• libFAUDES
• Reference  
• Type Index  
• Function Index  
• Literature  
•  
• Sections
• CoreFaudes  
  • CoreFaudes
  • Introduction
  • Generators
  • Alphabets
  • Reachability
  • Boolean Operations
  • Regular Expressions
  • Synchronous Composition
  • Projection
  • StateSet Conversion
  • Elementary Types
  • Miscellaneous
  • Vector Types
• CoordinationControl  
• Diagnosis  
  • Diagnosis
  • Introduction
  • Event-Diagnosis
  • Language-Diagnosis
  • Modular Diagnosis
  • Decentralized Diagnosis
  • Application Example
• Example  
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• Hybrid  
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Omega-Controllability
  • Misc Functions
•  
• Types
• ColorSet  
• MtcSystem  
•  
• Functions
• IsMtcObserver  
• IsStronglyCoaccessible  
• IsStronglyTrim  
• MtcDeterministic  
• MtcInvProject  
• MtcNaturalObserver  
• MtcParallel  
• MtcProject  
• MtcStateMin  
• MtcSupConClosed  
• MtcSupConNB  
• OptimalColorSet  
• StronglyCoaccessible  
• StronglyTrim  
•  

Multitasking

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; see [M1,M2,M3,M4].

The initial version of the multitasking plug-in was developed in the scope of Matthias Singer's student project. His report as well as the Multitasking C++ API include examples and documentation of most multitasking related faudes types and functions. Modulo availablility of resources, the documenation will be integrated with the user reference in due course.

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.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"