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
Alphabet
Boolean
EventSet
EventSetVector
Generator
GeneratorVector
Integer
IntegerVector
String
System
SystemVector
Functions
Accessible
AlphabetDifference
AlphabetEquality
AlphabetExtract
AlphabetInclusion
AlphabetIntersection
AlphabetLanguage
AlphabetUnion
Automaton
Coaccessible
Complete
Deterministic
EmptyLanguage
EmptyStringLanguage
FullLanguage
IntegerSum
InvProject
IsAccessible
IsCoaccessible
IsComplete
IsDeterministic
IsEmptyLanguage
IsNonblocking
IsOmegaClosed
IsOmegaTrim
IsPrefixClosed
IsTrim
KleeneClosure
LanguageComplement
LanguageConcatenate
LanguageDifference
LanguageDisjoint
LanguageEquality
LanguageInclusion
LanguageIntersection
LanguageUnion
OmegaClosure
OmegaParallel
OmegaProduct
OmegaTrim
Parallel
PrefixClosure
Product
Project
SelfLoop
StateMin
Trim
UniqueInit

Vector Types

A vector is a random access container of faudes types. For its user interface, core faudes provides vectors of generators and vectors of alphabets to facilitate the treatment of decentralized or modular discrete event systems.

EventSetVector

Vector of alphabets

See EventSet for the documentation of this vector's entries.

GeneratorVector

Vector of generators

See Generator for the documentation of this vector's entries.

SystemVector

Vector of systems

See System for the documentation of this vector's entries.

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"