File List
Here is a list of all files with brief descriptions:
o*1_generator.cppTutorial, Generator methods
o*2_containers.cppTutorial, container classes
o*3_functions.cppTutorial, operations on genarators
o*4_cgenerator.cppTutorial, generator with controllability attributes
o*5_attributes.cppTutorial, attributes
o*6_algorithm.cppTutorial, implementing generator algorithms
o*7_interface.cppTutorial, runtime interface
o*cfl_abaseset.cpp
o*cfl_abaseset.hClass TaBaseSet
o*cfl_agenerator.cppGenerator class with attributes
o*cfl_agenerator.hAttributed generator class TaGenerator
o*cfl_attributes.cppClasses AttributeVoid and AttributeFlags
o*cfl_attributes.hClasses AttributeVoid and AttributeFlags
o*cfl_baseset.cpp
o*cfl_baseset.hClass TBaseSet
o*cfl_basevector.cpp
o*cfl_basevector.hClass TBaseVector
o*cfl_bisimulation.cppFunctions to compute bisimulation relations on dynamic systems (represented by non-deterministic finite automata)
o*cfl_bisimulation.h
 Functions to compute bisimulation relations on dynamic systems (represented

by non-deterministic finite automata)

o*cfl_cgenerator.cppClasses TcGenerator, System and AttributeCFlags
o*cfl_cgenerator.hClasses TcGenerator, System and AttributeCFlags
o*cfl_conflequiv.cpp
o*cfl_conflequiv.hAbstractions that maintaine conflict-equivalence
o*cfl_definitions.hCompiletime options
o*cfl_determin.cppPowerset construction
o*cfl_determin.hPowersetset construction
o*cfl_elementary.cppRuntime interface, elementary types
o*cfl_elementary.hRuntime interface, elementary types
o*cfl_exception.cppClass Exception
o*cfl_exception.hClass Exception
o*cfl_functions.cppRuntime interface, operations on faudes types
o*cfl_functions.hRuntime interface, operations on faudes types
o*cfl_generator.cppClass vGenerator
o*cfl_generator.hClass vGenerator
o*cfl_graphfncts.cppOperations on (directed) graphs
o*cfl_graphfncts.hOperations on (directed) graphs
o*cfl_helper.cppHelper functions
o*cfl_helper.hHelper functions
o*cfl_indexset.cppClasses IndexSet
o*cfl_indexset.hClasses IndexSet, TaIndexSet
o*cfl_localgen.cppHelper functions for projected generators
o*cfl_localgen.hHelper functions for projected generators
o*cfl_nameset.cppClasses NameSet
o*cfl_nameset.hClasses NameSet, TaNameSet
o*cfl_omega.cppOperations regarding omega languages
o*cfl_omega.hOperations on omega languages
o*cfl_parallel.cppParallel composition
o*cfl_parallel.hParallel composition
o*cfl_platform.cppPlatform dependant wrappers
o*cfl_platform.hPlatform dependant wrappers
o*cfl_project.cppProjection and subset construction
o*cfl_project.hLanguage projection
o*cfl_registry.cppRuntime interface, registry for faudes types and functions
o*cfl_registry.hRuntime interface, registry for faudes-types and functions
o*cfl_regular.cppOperations on regular languages
o*cfl_regular.hOperations on regular languages
o*cfl_statemin.cppState space minimization
o*cfl_statemin.hState space minimization
o*cfl_symbolset.cppClass SymbolSet
o*cfl_symbolset.hClass SymbolSet, TaSymbolSet
o*cfl_symboltable.cppClass SymbolTable
o*cfl_symboltable.hClass SymbolTable
o*cfl_token.cppClass Token
o*cfl_token.hClass Token
o*cfl_tokenreader.cppClass TokenReader
o*cfl_tokenreader.hClass TokenReader
o*cfl_tokenwriter.cppClass TokenWriter
o*cfl_tokenwriter.hClass TokenWriter
o*cfl_transset.cpp
o*cfl_transset.hClasses Transition, TTransSet and TaTransSet
o*cfl_types.cppRuntime interface, faudes types
o*cfl_types.hRuntime interface, faudes types
o*con_1_simple.cppTutorial, coordination control
o*con_2_simple.cppTutorial, coordination control for prefix-closed languages
o*con_cctrim.cppMore efficient Trim() operation
o*con_cctrim.hMore efficient Trim() operation
o*con_closed.cppConditionalclosedness
o*con_closed.hConditional Closedness
o*con_controllability.cppConditionalcontrollability
o*con_controllability.hConditional Controllability
o*con_decomposability.cppConditionaldecomposability
o*con_decomposability.hConditional Decomposability
o*con_decomposability_extension.cppConditionaldecomposability
o*con_decomposability_extension.hConditionaldecomposability
o*con_include.hIncludes all header files of the coordinationcontrol plug-in
o*con_supcc.cpp
o*con_supcc.h
o*corefaudes.hIncludes all libFAUDES headers, no plugins
o*diag2dot.cpp
o*diag_1_eventdiagnosis.cppDemonstrate diagnoser structure and methods for std event diagnosability
o*diag_2_languagediagnosis.cppIllustrate diagnosability with respect to a specification language
o*diag_3_modulardiagnosis.cppIllustrate modular diagnosability test and synthesis
o*diag_4_decentralizeddiagnosis.cppIllustrate decentralized diagnosability test and synthesis
o*diag_attrdiagstate.cppImplements state estimates for the current status of the generator (as state attributes)
o*diag_attrdiagstate.hState estimates for the current status of the generator (as state attributes)
o*diag_attrfailureevents.cppImplements failure and indicator events belonging to a common partition
o*diag_attrfailureevents.hFailure and indicator events for a common failure type
o*diag_attrfailuretypes.cppFailure and indicator partition for a system (used as global attribute)
o*diag_attrfailuretypes.hContains the failure and indicator partition for a system (used as global attribute)
o*diag_attrlabelset.cppImplements the label representation for state estimates
o*diag_attrlabelset.hLabel representation for state estimates
o*diag_debug.hIncludes debugging to diagnosis plug-in
o*diag_decentralizeddiagnosis.cppFunctions to test decentralized diagnosability and compute diagnosers
o*diag_decentralizeddiagnosis.hFunctions to check a system's decentralized diagnosability
o*diag_eventdiagnosis.cppFunctions to check a system's event-diagnosability and computation of an event-diagnoser
o*diag_eventdiagnosis.hFunctions to check a system's diagnosability with respect to failure events (diagnosability and I-diagnosability) and computation of an event-diagnoser
o*diag_generator.cppStructure of diagnosers and methods to handle them
o*diag_generator.hStructure of diagnosers and methods to handle them
o*diag_include.hIncludes all header files of the diagnosis plug-in
o*diag_languagediagnosis.cppFunctions to check a system's language-diagnosability and compute a language-diagnoser
o*diag_languagediagnosis.hFunctions to check a system's diagnosability with respect to a specification automaton and compute a language-diagnoser
o*diag_modulardiagnosis.cppFunctions to test modular diagnosability and compute modular diagnosers
o*diag_modulardiagnosis.hFunctions to check a system's decentralized diagnosability
o*exefaudes.cppExample application for executor class
o*flxinstall.cpp
o*fts2ftx.cpp
o*fts2ftx.h
o*gen2dot.cpp
o*gen2dot.h
o*hio_1_introduction.cppTutorial, simple i/o-based controller synthesis
o*hio_2_hiogenerators.cppTutorial, i/o system generator classes
o*hio_3_hiofunctions.cppTutorial, functions provided by hiosys plugin
o*hio_4_transport_unit.cppTutorial, transport chain example for hiosys plugin
o*hio_5_conveyor_belts.cppTutorial, conveyor belt chain example for hiosys plugin
o*hio_attributes.cppEvent and state attributes for hierarchical I/O systems
o*hio_attributes.hEvent and state attributes for hierarchical I/O systems
o*hio_constraint.cppGenerator with I/O-constraint attributes
o*hio_constraint.hGenerator with I/O-constraint attributes
o*hio_controller.cppGenerator with I/O-controller attributes
o*hio_controller.hGenerator with I/O-controller attributes
o*hio_environment.cppGenerator with I/O-environment attributes
o*hio_environment.hGenerator with I/O-environment attributes
o*hio_functions.cppAlgorithms for hierarchical discrete event systems with inputs and outputs
o*hio_functions.hAlgorithms for hierarchical discrete event systems with inputs and outputs
o*hio_helper.cppHelpers for the hiosys plugin
o*hio_helper.hHelpers for the hiosys plugin
o*hio_include.hInclude hiosys plugin headers
o*hio_module.cppClass describing the I/O based hierarchy
o*hio_module.hClass describing the I/O based hierarchy
o*hio_plant.cppGenerator with I/O-plant attributes
o*hio_plant.hGenerator with I/O-plant attributes
o*iobridge.cppTest utility for IO devices
o*iomonitor.cppTest utility for IO devices
o*iop_comedi.cppLow-level access to physical device over comedi-driver
o*iop_comedi.hHardware access via comedi
o*iop_d3ripDART.cppD3ripDART protocol and friends
o*iop_d3ripDART.hIodevice for d3ripDART protocol and friends
o*iop_d3ripURT.cppD3ripURT protocol and friends
o*iop_d3ripURT.hIodevice for d3ripURT protocol and friends
o*iop_include.hIncludes all io device headers
o*iop_modbus.cppProcess image via modbus/tcp
o*iop_modbus.hProcess image via modbus/tcp
o*iop_sdevice.cppVirtual device for interface definition
o*iop_sdevice.hVirtual device for signal based io
o*iop_serial.cpp
o*iop_serial.hProcess image via serial line
o*iop_simplenet.cppSimple networked events via tcp/ip
o*iop_simplenet.hSimple networked events via TCP/IP
o*iop_vdevice.cppVirtual device for interface definition
o*iop_vdevice.hVirtual device for interface definition
o*iop_wago.cppAccess to wago-kbus
o*iop_wago.hHardware access via comedi
o*iop_xdevice.cppDevice container with vDevice interface
o*iop_xdevice.hVirtual device for interface definition
o*ios_1_system.cppTutorial, I/O systems
o*ios_2_synthesis.cppTutorial, I/O system synthesis
o*ios_algorithms.cpp
o*ios_algorithms.hAlgorithms addressing I/O-systems
o*ios_attributes.cppI/O-system attributes
o*ios_attributes.hI/O-system attributes
o*ios_include.hInclude iosystem plugin headers
o*ios_system.cpp
o*ios_system.hGenerator with I/O-system attributes
o*lbp_1_extension.cppRegistering a lua script with the libFAUDES run-time interface
o*lbp_completion.cpp
o*lbp_function.cppLuafaudes class to run scripts as rti functions
o*lbp_function.hLuafaudes class to run scripts as rti functions
o*lbp_include.hIncludes all luabindings plug-in headers
o*libfaudes.hIncludes all libFAUDES headers, incl plugings
o*libluafaudes.hIncludes all libluafaudes headers, incl lua
o*luafaudes.cppSimple Lua stand-alone interpreter for lua/faudes
o*mtc2dot.cpp
o*mtc_attributes.cpp
Implements the color representation for single states in multitasking

automata as state attributes

o*mtc_attributes.h
Implements the color representation for single states in multitasking

automata as state attributes

o*mtc_colorset.cppImplements color sets for multitasking automata
o*mtc_colorset.hImplements color sets for multitasking automata
o*mtc_generator.cppMethods for handling multitasking generators
o*mtc_generator.hMethods for handling multitasking generators
o*mtc_include.hIncludes all multitasking plug-in headers
o*mtc_observercomputation.cppMethods to compute natural projections that exhibit the obsrver property
o*mtc_observercomputation.h
o*mtc_obserververification.cppMethods to verify the obsrver condition for natural projections
o*mtc_obserververification.hMethods to verify the obsrver condition for natural projections
o*mtc_parallel.cppMethods for parallel composition of multitasking generators
o*mtc_parallel.hMethods for parallel composition of multitasking generators
o*mtc_project.cppMethods for computing the natural projection of multitasking generators
o*mtc_project.hMethods for computing the natural projection of multitasking generators
o*mtc_redundantcolors.cppMethods for removing redundant colors for the supervisor synthesis from MtcSystems
o*mtc_redundantcolors.hMethods for removing redundant colors for the supervisor synthesis from MtcSystems
o*mtc_statemin.cppState space minimization
o*mtc_statemin.hState space minimization
o*mtc_supcon.cppSupremal controllable sublanguage and controllablity
o*mtc_supcon.hSupremal controllable sublanguage and controllablity
o*obs_1_simple.cpp
o*obs_include.hIncludes all header files of the observability plug-in
o*obs_local_observation_consistency.cpp
o*obs_local_observation_consistency.hLocal Observation Consistency
o*op_debug.h
o*op_ex_bisim.cppTutorial, computation of the coarsest quasi-congruence
o*op_ex_mc.cpp
 This tutorial demonstrates methods for verifying the mutual controllability condition of 

two given automata

o*op_ex_synthesis.cppTutorial, synthesis of natural projections with certain properties
o*op_ex_verification.cppTutorial, verification of properties of natural projections
o*op_include.hIncludes all observer plugin headers
o*op_mc.cppMethod to verify mutual controllability for two given generators
o*op_mc.hMethod to verify mutual controllability for two given generators
o*op_observercomputation.cppMethods to compute natural projections that exhibit the obsrver property
o*op_observercomputation.hMethods to compute natural projections that exhibit the observer property
o*op_obserververification.cppMethods to verify the obsrver condition for natural projections
o*op_obserververification.hMethods to verify the obsrver condition for natural projections
o*pd_alg_first.cppFunctions related to the first function
o*pd_alg_first.hFunctions related to the first function
o*pd_alg_first_test.cppUnit Tests
o*pd_alg_first_test.hUnit Tests
o*pd_alg_lrm.cppFunctions related to LR machines
o*pd_alg_lrm.hFunctions related to LR machines
o*pd_alg_lrm_test.cppUnit Tests
o*pd_alg_lrm_test.hUnit Tests
o*pd_alg_lrp.cppFunctions related to parsers
o*pd_alg_lrp.hFunctions related to parsers
o*pd_alg_lrp_test.cppUnit Tests
o*pd_alg_lrp_test.hUnit Tests
o*pd_alg_main.cppTop-Level functions
o*pd_alg_main.hTop-Level functions
o*pd_alg_main_test.cpp
o*pd_alg_main_test.h
o*pd_alg_sub.cpp
o*pd_alg_sub.hAlgorithm subfunctions
o*pd_alg_sub_test.cpp
o*pd_alg_sub_test.h
o*pd_algo_test.cppTest, pushdown plugin
o*pd_attributes.cppAttributes for pushdown automata
o*pd_attributes.hAttributes for pushdown automata
o*pd_basics.cppAttributes for pushdown automata
o*pd_basics.hAttributes for pushdown automata
o*pd_blockfree_test.cppThis file tests the blockfree algorithm
o*pd_controllable_test.cppThis file tests the algorithm to ensure the controllability of a controller
o*pd_controller_test.cppTests the result of the synthesis algorithm
o*pd_counterexample_griffin.cppSynthesizes 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)
o*pd_debug.cppDebug functions
o*pd_debug.hDebug functions
o*pd_dotparser.cppParser functions for DOT language
o*pd_dotparser.hParser functions for DOT language
o*pd_example_WODES14_nonblock.cpp
o*pd_gotoattributes.cppAttributes for LR machines
o*pd_gotoattributes.hAttributes for LR machines
o*pd_gotogenerator.cpp
o*pd_gotogenerator.hLR machine
o*pd_grammar.cpp
o*pd_grammar.h
o*pd_include.hInclude pushdown plugin headers
o*pd_lang_k.cppTest class to derive strings from pushdown automata
o*pd_lang_k.hTest class to derive strings from pushdown automata
o*pd_merge.cppGrammar data structure
o*pd_merge.hGrammar data structure
o*pd_parser.cppParser data structure
o*pd_parser.hParser data structure
o*pd_pdgenerator.cpp– pushdown automata
o*pd_pdgenerator.hPushdown generator class TpdGenerator
o*pd_pushdown_V2.cppConstruct a controller from given files
o*pd_scopelogger.cppCreate Logfile
o*pd_scopelogger.hCreate Logfile
o*pd_test_util.cppCreation of test classes
o*pd_test_util.hCreation of test classes
o*pd_tutorial.cppTutorial, example plugin
o*ref2html.cpp
o*rti2code.cpp
o*simfaudes.cppSimple simulator application for faudes generators
o*sp_densityfnct.cppDiscrete density function approximation
o*sp_densityfnct.hDiscrete density function approximation
o*sp_dplpexecutor.cppExecutor with IO device
o*sp_dplpexecutor.hExecutor with IO device
o*sp_executor.cppExecute transitions in a timed generator
o*sp_executor.hExecute transitions in a timed generator
o*sp_include.hIncludes all simulator plugin headers
o*sp_lpexecutor.cppExecutor with logging facilities
o*sp_lpexecutor.hExecutor with logging facilities
o*sp_pexecutor.cppExecutor for multiple synchronized timed generators
o*sp_pexecutor.hExecutor for multiple synchronized timed generators
o*sp_plpexecutor.cppExecutor that proposes transitions to execute
o*sp_plpexecutor.hExecutor that proposes transitions to execute
o*sp_random.cppEvaluating random variables
o*sp_random.hEvaluating random variables
o*sp_simconditionset.cppSet of named simulation conditions
o*sp_simconditionset.hSet of named simulation conditions
o*sp_simeventset.cppEventsets with execution data for simulation
o*sp_simeventset.hEventsets with execution data for simulation
o*syn_1_simple.cppTutorial, std monolitic synthesis
o*syn_2_omega.cppSynthesis for omega languages
o*syn_3_reduction.cppTutorial, std monolitic synthesis
o*syn_functions.cppMisc functions related to synthesis
o*syn_functions.hMisc functions related to synthesis
o*syn_include.hIncludes all header files of the synthesis plug-in
o*syn_sscon.cppStandard synthesis consistency test
o*syn_sscon.hStandard syntheis consistency test
o*syn_supcon.cppSupremal controllable sublanguage
o*syn_supcon.hSupremal controllable sublanguage
o*syn_supnorm.cppSupremal normal sublanguage
o*syn_supnorm.hSupremal normal sublanguage
o*syn_supreduce.cppSupervisor Reduction
o*syn_supreduce.h
o*syn_tsupcon.cpp
o*syn_tsupcon.h
o*syn_wsupcon.cppSupremal controllable sublanguage for infinite time behaviours
o*syn_wsupcon.hSupremal controllable sublanguage for infinite time behaviours
o*tp_1_tgenerator.cppTutorial, class faudes::TimedGenerator
o*tp_2_constraints.cppTutorial, class faudes::TimeConstraint
o*tp_3_parallel.cppTutorial, timed parallel composition
o*tp_attributes.cppAttributes for timed automata
o*tp_attributes.hAttributes for timed automata
o*tp_include.hInclude timed plugin headers
o*tp_tgenerator.cpp
o*tp_tgenerator.hTimed generator class TtGenerator
o*tp_timeconstraint.cpp
o*tp_timeconstraint.hClasses ClockSet, ElemConstraint and TimeConstraint
o*tp_timeinterval.cpp
o*tp_timeinterval.hClass TimeInterval
o*tp_tparallel.cpp
\*tp_tparallel.hParallel composition for timed automata

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen