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
FaultTolerantControl
- FaultTolerantControl
- Introduction
- Example
- Fault-Accommodation
- Reconfiguration
- Fault-Patterns
HioSys
- HioSys
- Introduction
- Step-By-Step
- Synthesis Procedure
- Liveness Properties
- Application Example
IoSystem
- IoSystem
- Introduction
- Properties
- Synthesis
Multitasking
- Multitasking
- Introduction
- Functions
- Observer
- Optimal Color Set
- Reachability
- Synthesis
Observer
- Observer
- Introduction
- Verification
- Synthesis
- Example
OmegaAut
- OmegaAut
- Introduction
- Buechi-Functions
- Buechi-Control
Priorities
Simulator
- Simulator
- Introduction
- Executor Classes
- Hardware-In-The-Loop
- IO-Devices
- Simulator Interconnection
Synthesis
- Synthesis
- Introduction
- Controllability
- Normality
- Completeness
- Misc Functions
Types
ColorSet
MtcSystem
Functions
IsMtcObserver
IsStronglyCoaccessible
IsStronglyTrim
MtcDeterministic
MtcInvProject
MtcNaturalObserver
MtcParallel
MtcProject
MtcStateMin
MtcSupCon
MtcSupConClosed
OptimalColorSet
StronglyCoaccessible
StronglyTrim

General Purpose Functions

Due to colored marking of states, functions that refer to the marked languages of an MtcSystem require reimplementation.

MtcParallel

Parallel composition of two colored genertors.

Signature:

MtcParallel(+In+ MtcSystem G1, +In+ MtcSystem G2, +Out+ MtcSystem GRes)

MtcProject

Natural projection of colored languages.

Signature:

MtcProject(+In+ MtcSystem G, +In+ EventSet Sigma0, +Out+ MtcSystem GRes)

MtcInvProject

Inverse projection of colored languages.

Signature:

MtcInvProject(+InOut+ MtcSystem G0, +In+ EventSet Sigma)

MtcInvProject(+In+ MtcSystem G0, +In+ EventSet Sigma, +Out+ MtcSystem GRes)

MtcDeterministic

Powerset construction to enforce determinism incl. colored markings.

Signature:

MtcDeterministic(+In+ MtcSystem G, +Out+ MtcSystem GRes)

MtcStateMin

State spsce minimisation w.r.t. colored languages

Signature:

MtcStateMin(+In+ MtcSystem G, +Out+ MtcSystem GRes)

libFAUDES 2.33h --- 2025.06.17 --- with "synthesis-omegaaut-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-priorities-simulator-luabindings"

>>