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
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

Faudes-typed objects are characterised by their configuration data, which can be read from or written to a file. The corresponding file formats are based on sequences of tokens that form nested sections to hold sets or lists of strings or integers. For example, the alphabet Sigma = {alpha, beta, gamma} is represented as

<Alphabet> "alpha" "beta" "gamma" </Alphabet>

Faudes-types available in this copy of libFAUDES are:

Alphabet	Basic alphabet with controllability attributes.
Boolean	Elementary type to hold a boolean value true or false.
ColorSet	Set of colors for marking the state of a colored generator
ComediDevice	Access digital IO hardware within the comedi framework.
D3RipUrtDevice	Synchronize events via D3RIP protocols.
DeviceContainer	Merge individual IO devices.
DeviceExecutor	Simulation of synchronized timed automata, incl. physical events and time.
Diagnoser	Generator with state estimate attribute for event-diagnosis.
EventPriorities	Alphabet with per event priority attribute.
EventRelabelMap	Map from indices to sets of indexes for re-labeling events.
EventSet	Basic alphabet.
EventSetVector	Vector of alphabets
FailureTypeMap	Specification of Failure Types
Generator	Basic generator model G=(Sigma,Q,delta,Qo,Qm).
GeneratorVector	Vector of generators
HioConstraint	Generator with I/O-constraint state and event attributes.
HioController	Generator with I/O-controller state and event attributes.
HioEnvironment	Generator with I/O-environment state and event attributes.
HioPlant	Generator with I/O-plant state and event attributes.
Integer	Elementary type to hold a 32bit signed integer value.
IntegerVector	Vector of integers
IoSystem	Generator with I/O system state and event attributes.
LoggingExecutor	Simulation of synchronized timed automata, incl logging.
ModbusDevice	Synchronize process image via Modbus/TCP protocol.
MtcSystem	Genarator model woth colored markings.
ParallelExecutor	Basic simulation of synchronized timed automata.
ProposingExecutor	Simulation of synchronized timed automata, incl. stochastic execution.
RabinAcceptance	A Rabin acceptance condition {(R_p,I_p)}.
RabinAutomaton	Automaton model RA=(Sigma,Q,delta,Qo,{(R_p,I_p)}).
RabinPair	A single Rabin pair (R,I).
RelabelMap	Set-valued map with domain and range EventSet
SignalDevice	Abstract interface for signal based event detection and execution.
SimplenetDevice	Network based communication of events.
SpiDevice	Synchronize process image via serial interface.
String	Elementary type to hold an ASCII encoded string
System	Generator model G=(Sigma,Q,delta,Qo,Qm) with controllability attributes.
SystemVector	Vector of systems
WagoDevice	Access digital IO hardware by Wago Kbus interface.

libFAUDES 2.33l --- 2025.09.16 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"