libFAUDES User Reference
The user reference provides libFAUDES documentation
on faudes-types and
relevant to users of libFAUDES based applicatione like e.g.
The user reference is complemented by the
comprehensive and more technical
C++ API documentation.
A good starting point for a first reading is
which documents general purpose functions on generators, e.g. regular expressions.
The remaining sections loosely correspond to libFAUDES
plug-ins and lua-extensions, which provide specialised faudes-types and faudes-functions
to address specific approaches to the design or analysis of discrete event systems.
The user reference is organized as follows:
General purpose functions and data types for automata and formal languages,
including boolean operations, regular expresions, natural projection, synchronous composition,
Functions relevant for coordination control synthesis, including the
supremal conditionally controllable sublanguage of a prefix closed candidate language.
Event-based and languages-based failure diagnosis,
including modular and decentralized control architectures.
Functions related to fault-accommodating control and fault-hiding control
reconfiguration, including construction procedures for fault-accommodating
models of sensors and actuators.
Data-types for the representation of hierarchical systems with inputs and outputs,
and functions for the synthesis and verification of such systems.
Functions for an abstraction based controller design for plants with
inputs and outputs referring to an infinite time-axis (omega-languages).
Data-types and functions to address colored marking generators, including
algorithms for synchronous composition, controller synthesis and observer design.
Functions for the synthesis and for the verification of the natural observer property and
variations thereof, addressing the design of hierarchical and modular control architectures.
Synthesis of minimally restrictive supervisory controllers for regular plants
and context free specification languages, provided by deterministic pushdown automata.
Interactive or automatic execution of compound discrete-event systems
modelled by automata, including hardware-in-the-loop simulation and
networked decentralized control architectures.
Functions to synthesise and/or to verify properties relevant for controller design,
including controllability, normality, relative closedness, completeness and
variants of omega-controllability.
--- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"