Tutorials

This module collects all tutorials. More...

Files

file  1_generator.cpp
 Tutorial, Generator methods.
file  2_containers.cpp
 Tutorial, container classes.
file  3_functions.cpp
 Tutorial, operations on genarators.
file  4_cgenerator.cpp
 Tutorial, generator with controllability attributes.
file  5_attributes.cpp
 Tutorial, attributes.
file  6_algorithm.cpp
 Tutorial, implementing generator algorithms.
file  7_interface.cpp
 Tutorial, runtime interface.
file  syn_1_simple.cpp
 Tutorial, std monolitic synthesis.
file  syn_2_omega.cpp
 Synthesis for omega languages.
file  syn_3_reduction.cpp
 Tutorial, std monolitic synthesis.
file  op_ex_bisim.cpp
 Tutorial, computation of the coarsest quasi-congruence.
file  op_ex_mc.cpp
 
 This tutorial demonstrates methods for verifying the mutual controllability condition of 

two given automata.

file  op_ex_synthesis.cpp
 Tutorial, synthesis of natural projections with certain properties.
file  op_ex_verification.cpp
 Tutorial, verification of properties of natural projections.
file  syn_1_simple.cpp
 Tutorial, std monolitic synthesis.
file  diag_1_eventdiagnosis.cpp
 Demonstrate diagnoser structure and methods for std event diagnosability.
file  diag_2_languagediagnosis.cpp
 Illustrate diagnosability with respect to a specification language.
file  diag_3_modulardiagnosis.cpp
 Illustrate modular diagnosability test and synthesis.
file  diag_4_decentralizeddiagnosis.cpp
 Illustrate decentralized diagnosability test and synthesis.
file  hio_1_introduction.cpp
 Tutorial, simple i/o-based controller synthesis.
file  hio_2_hiogenerators.cpp
 Tutorial, i/o system generator classes.
file  hio_3_hiofunctions.cpp
 Tutorial, functions provided by hiosys plugin.
file  hio_4_transport_unit.cpp
 Tutorial, transport chain example for hiosys plugin.
file  hio_5_conveyor_belts.cpp
 Tutorial, conveyor belt chain example for hiosys plugin.
file  ios_1_system.cpp
 Tutorial, I/O systems.
file  ios_2_synthesis.cpp
 Tutorial, I/O system synthesis.
file  con_1_simple.cpp
 Tutorial, coordination control.
file  con_2_simple.cpp
 Tutorial, coordination control for prefix-closed languages.
file  pd_counterexample_griffin.cpp
 Synthesizes the minimal restrictive supervisor for a combination of plant and specification presented in the appendix of the technical report by Schneider and Schmuck (referenced at the webpage of this plugin).
file  pd_tutorial.cpp
 Tutorial, pushdown plugin.
file  tp_1_tgenerator.cpp
 Tutorial, class faudes::TimedGenerator.
file  tp_2_constraints.cpp
 Tutorial, class faudes::TimeConstraint.
file  tp_3_parallel.cpp
 Tutorial, timed parallel composition.
file  exefaudes.cpp
 Example application for executor class.
file  simfaudes.cpp
 Simple simulator application for faudes generators.
file  iobridge.cpp
 Test utility for IO devices.
file  iomonitor.cpp
 Test utility for IO devices.
file  lbp_1_extension.cpp
 Registering a lua script with the libFAUDES run-time interface.
file  luafaudes.cpp
 Simple Lua stand-alone interpreter for lua/faudes.

Detailed Description

This module collects all tutorials.

The tutorials are seen as a pragmatic introduction to supplement the doxygen generated html documentaion of class and function definitions. Plug-Ins are meant to contribute additional tutorials to illustrate their intended usage.

To compile the tutorials call make with target "tutorial" in the "libfaudes" directory of the source tree:

$ make tutorial

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen