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
- Rabin-Functions
- Buechi-Control
- Rabin-Control
- Partial-Obs-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

Redundant Colors

OptimalColorSet

Compute an optimal subset of the colors that should be removed.

Signature:

OptimalColorSet(+In+ MtcSystem GPlant, +Out+ ColorSet Colors, +InOut+ EventSet SigmaH)

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