libFAUDES User Reference

The user reference provides libFAUDES documentation on faudes-types and faudes-functions relevant to users of libFAUDES based applicatione like e.g. luafaudes or DESTool. The user reference is complemented by the comprehensive and more technical C++ API documentation.

A good starting point for a first reading is Section CoreFaudes, 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:

CoreFaudes General purpose functions and data types for automata and formal languages, including boolean operations, regular expresions, natural projection, synchronous composition, etc.
Simulator Interactive or automatic execution of compound discrete-event systems modelled by automata, including hardware-in-the-loop simulation and networked decentralized control architectures.

libFAUDES 2.28a --- 2016.09.13 --- with "timed-iodevice-simulator"