libFAUDES

Sections

Index

Tutorials


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


Files

file  1_generator.cpp
 Tutorial, basic faudes::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  pex_tutorial.cpp
 Tutorial, example plugin.
file  syn_1_simple.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  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  tp_1_tgenerator.cpp
 Tutorial, class faudes::tGenerator.
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  luafaudes.cpp
 Simple Lua stand-alone interpreter for lua/faudes.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6