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.23h --- 2014.04.03 --- c++ api documentaion by doxygen