 1_generator.cpp | Tutorial, Generator methods |
 2_containers.cpp | Tutorial, container classes |
 3_functions.cpp | Tutorial, operations on genarators |
 4_cgenerator.cpp | Tutorial, generator with controllability attributes |
 5_attributes.cpp | Tutorial, attributes |
 6_algorithm.cpp | Tutorial, implementing generator algorithms |
 7_interface.cpp | Tutorial, runtime interface |
 cfl_abaseset.cpp | |
 cfl_abaseset.h | Class TaBaseSet |
 cfl_agenerator.cpp | Generator class with attributes |
 cfl_agenerator.h | Attributed generator class TaGenerator |
 cfl_attributes.cpp | Classes AttributeVoid and AttributeFlags |
 cfl_attributes.h | Classes AttributeVoid and AttributeFlags |
 cfl_baseset.cpp | |
 cfl_baseset.h | Class TBaseSet |
 cfl_basevector.cpp | |
 cfl_basevector.h | Class TBaseVector |
 cfl_cgenerator.cpp | Classes TcGenerator, System and AttributeCFlags |
 cfl_cgenerator.h | Classes TcGenerator, System and AttributeCFlags |
 cfl_definitions.h | Compiletime options |
 cfl_determin.cpp | Powerset construction |
 cfl_determin.h | Powersetset construction |
 cfl_elementary.cpp | Runtime interface, elementary types |
 cfl_elementary.h | Runtime interface, elementary types |
 cfl_exception.cpp | Class Exception |
 cfl_exception.h | Class Exception |
 cfl_functions.cpp | Runtime interface, operations on faudes types |
 cfl_functions.h | Runtime interface, operations on faudes types |
 cfl_generator.cpp | Class vGenerator |
 cfl_generator.h | Class vGenerator |
 cfl_graphfncts.cpp | Operations on (directed) graphs |
 cfl_graphfncts.h | Operations on (directed) graphs |
 cfl_helper.cpp | Helper functions |
 cfl_helper.h | Helper functions |
 cfl_indexset.cpp | Classes IndexSet |
 cfl_indexset.h | Classes IndexSet, TaIndexSet |
 cfl_localgen.cpp | Helper functions for projected generators |
 cfl_localgen.h | Helper functions for projected generators |
 cfl_nameset.cpp | Classes NameSet |
 cfl_nameset.h | Classes NameSet, TaNameSet |
 cfl_omega.cpp | Operations regarding omega languages |
 cfl_omega.h | Operations on omega languages |
 cfl_parallel.cpp | Parallel composition |
 cfl_parallel.h | Parallel composition |
 cfl_platform.cpp | Platform dependant wrappers |
 cfl_platform.h | Platform dependant wrappers |
 cfl_project.cpp | Projection and subset construction |
 cfl_project.h | Language projection |
 cfl_registry.cpp | Runtime interface, registry for faudes types and functions |
 cfl_registry.h | Runtime interface, registry for faudes-types and functions |
 cfl_regular.cpp | Operations on regular languages |
 cfl_regular.h | Operations on regular languages |
 cfl_statemin.cpp | State space minimization |
 cfl_statemin.h | State space minimization |
 cfl_symbolset.cpp | Class SymbolSet |
 cfl_symbolset.h | Class SymbolSet, TaSymbolSet |
 cfl_symboltable.cpp | Class SymbolTable |
 cfl_symboltable.h | Class SymbolTable |
 cfl_token.cpp | Class Token |
 cfl_token.h | Class Token |
 cfl_tokenreader.cpp | Class TokenReader |
 cfl_tokenreader.h | Class TokenReader |
 cfl_tokenwriter.cpp | Class TokenWriter |
 cfl_tokenwriter.h | Class TokenWriter |
 cfl_transset.cpp | |
 cfl_transset.h | Classes Transition, TTransSet and TaTransSet |
 cfl_types.cpp | Runtime interface, faudes types |
 cfl_types.h | Runtime interface, faudes types |
 con_1_simple.cpp | Tutorial, coordination control |
 con_2_simple.cpp | Tutorial, coordination control for prefix-closed languages |
 con_cctrim.cpp | More efficient Trim() operation |
 con_cctrim.h | More efficient Trim() operation |
 con_closed.cpp | Conditionalclosedness |
 con_closed.h | Conditional Closedness |
 con_controllability.cpp | Conditionalcontrollability |
 con_controllability.h | Conditional Controllability |
 con_decomposability.cpp | Conditionaldecomposability |
 con_decomposability.h | Conditional Decomposability |
 con_decomposability_extension.cpp | Conditionaldecomposability |
 con_decomposability_extension.h | Conditionaldecomposability |
 con_include.h | Includes all header files of the coordinationcontrol plug-in |
 con_supcc.cpp | |
 con_supcc.h | |
 corefaudes.h | Includes all libFAUDES headers, no plugins |
 diag2dot.cpp | |
 diag_1_eventdiagnosis.cpp | Demonstrate diagnoser structure and methods for std event diagnosability |
 diag_2_languagediagnosis.cpp | Illustrate diagnosability with respect to a specification language |
 diag_3_modulardiagnosis.cpp | Illustrate modular diagnosability test and synthesis |
 diag_4_decentralizeddiagnosis.cpp | Illustrate decentralized diagnosability test and synthesis |
 diag_attrdiagstate.cpp | Implements state estimates for the current status of the generator (as state attributes) |
 diag_attrdiagstate.h | State estimates for the current status of the generator (as state attributes) |
 diag_attrfailureevents.cpp | Implements failure and indicator events belonging to a common partition |
 diag_attrfailureevents.h | Failure and indicator events for a common failure type |
 diag_attrfailuretypes.cpp | Failure and indicator partition for a system (used as global attribute) |
 diag_attrfailuretypes.h | Contains the failure and indicator partition for a system (used as global attribute) |
 diag_attrlabelset.cpp | Implements the label representation for state estimates |
 diag_attrlabelset.h | Label representation for state estimates |
 diag_debug.h | Includes debugging to diagnosis plug-in |
 diag_decentralizeddiagnosis.cpp | Functions to test decentralized diagnosability and compute diagnosers |
 diag_decentralizeddiagnosis.h | Functions to check a system's decentralized diagnosability |
 diag_eventdiagnosis.cpp | Functions to check a system's event-diagnosability and computation of an event-diagnoser |
 diag_eventdiagnosis.h | Functions to check a system's diagnosability with respect to failure events (diagnosability and I-diagnosability) and computation of an event-diagnoser |
 diag_generator.cpp | Structure of diagnosers and methods to handle them |
 diag_generator.h | Structure of diagnosers and methods to handle them |
 diag_include.h | Includes all header files of the diagnosis plug-in |
 diag_languagediagnosis.cpp | Functions to check a system's language-diagnosability and compute a language-diagnoser |
 diag_languagediagnosis.h | Functions to check a system's diagnosability with respect to a specification automaton and compute a language-diagnoser |
 diag_modulardiagnosis.cpp | Functions to test modular diagnosability and compute modular diagnosers |
 diag_modulardiagnosis.h | Functions to check a system's decentralized diagnosability |
 exefaudes.cpp | Example application for executor class |
 flxinstall.cpp | |
 fts2ftx.cpp | |
 fts2ftx.h | |
 gen2dot.cpp | |
 gen2dot.h | |
 hio_1_introduction.cpp | Tutorial, simple i/o-based controller synthesis |
 hio_2_hiogenerators.cpp | Tutorial, i/o system generator classes |
 hio_3_hiofunctions.cpp | Tutorial, functions provided by hiosys plugin |
 hio_4_transport_unit.cpp | Tutorial, transport chain example for hiosys plugin |
 hio_5_conveyor_belts.cpp | Tutorial, conveyor belt chain example for hiosys plugin |
 hio_attributes.cpp | Event and state attributes for hierarchical I/O systems |
 hio_attributes.h | Event and state attributes for hierarchical I/O systems |
 hio_constraint.cpp | Generator with I/O-constraint attributes |
 hio_constraint.h | Generator with I/O-constraint attributes |
 hio_controller.cpp | Generator with I/O-controller attributes |
 hio_controller.h | Generator with I/O-controller attributes |
 hio_environment.cpp | Generator with I/O-environment attributes |
 hio_environment.h | Generator with I/O-environment attributes |
 hio_functions.cpp | Algorithms for hierarchical discrete event systems with inputs and outputs |
 hio_functions.h | Algorithms for hierarchical discrete event systems with inputs and outputs |
 hio_helper.cpp | Helpers for the hiosys plugin |
 hio_helper.h | Helpers for the hiosys plugin |
 hio_include.h | Include hiosys plugin headers |
 hio_module.cpp | Class describing the I/O based hierarchy |
 hio_module.h | Class describing the I/O based hierarchy |
 hio_plant.cpp | Generator with I/O-plant attributes |
 hio_plant.h | Generator with I/O-plant attributes |
 iobridge.cpp | Test utility for IO devices |
 iomonitor.cpp | Test utility for IO devices |
 iop_comedi.cpp | Low-level access to physical device over comedi-driver |
 iop_comedi.h | Hardware access via comedi |
 iop_d3ripDART.cpp | D3ripDART protocol and friends |
 iop_d3ripDART.h | Iodevice for d3ripDART protocol and friends |
 iop_d3ripURT.cpp | D3ripURT protocol and friends |
 iop_d3ripURT.h | Iodevice for d3ripURT protocol and friends |
 iop_include.h | Includes all io device headers |
 iop_modbus.cpp | Process image via modbus/tcp |
 iop_modbus.h | Process image via modbus/tcp |
 iop_sdevice.cpp | Virtual device for interface definition |
 iop_sdevice.h | Virtual device for signal based io |
 iop_serial.cpp | |
 iop_serial.h | Process image via serial line |
 iop_simplenet.cpp | Simple networked events via tcp/ip |
 iop_simplenet.h | Simple networked events via TCP/IP |
 iop_vdevice.cpp | Virtual device for interface definition |
 iop_vdevice.h | Virtual device for interface definition |
 iop_wago.cpp | Access to wago-kbus |
 iop_wago.h | Hardware access via comedi |
 iop_xdevice.cpp | Device container with vDevice interface |
 iop_xdevice.h | Virtual device for interface definition |
 ios_1_system.cpp | Tutorial, I/O systems |
 ios_2_synthesis.cpp | Tutorial, I/O system synthesis |
 ios_algorithms.cpp | |
 ios_algorithms.h | Algorithms addressing I/O-systems |
 ios_attributes.cpp | I/O-system attributes |
 ios_attributes.h | I/O-system attributes |
 ios_include.h | Include iosystem plugin headers |
 ios_system.cpp | |
 ios_system.h | Generator with I/O-system attributes |
 lbp_1_extension.cpp | Registering a lua script with the libFAUDES run-time interface |
 lbp_completion.cpp | |
 lbp_function.cpp | Luafaudes class to run scripts as rti functions |
 lbp_function.h | Luafaudes class to run scripts as rti functions |
 lbp_include.h | Includes all luabindings plug-in headers |
 libfaudes.h | Includes all libFAUDES headers, incl plugings |
 libluafaudes.h | Includes all libluafaudes headers, incl lua |
 luafaudes.cpp | Simple Lua stand-alone interpreter for lua/faudes |
 mtc2dot.cpp | |
 mtc_attributes.cpp | Implements the color representation for single states in multitasking
automata as state attributes |
 mtc_attributes.h | Implements the color representation for single states in multitasking
automata as state attributes |
 mtc_colorset.cpp | Implements color sets for multitasking automata |
 mtc_colorset.h | Implements color sets for multitasking automata |
 mtc_generator.cpp | Methods for handling multitasking generators |
 mtc_generator.h | Methods for handling multitasking generators |
 mtc_include.h | Includes all multitasking plug-in headers |
 mtc_observercomputation.cpp | Methods to compute natural projections that exhibit the obsrver property |
 mtc_observercomputation.h | |
 mtc_obserververification.cpp | Methods to verify the obsrver condition for natural projections |
 mtc_obserververification.h | Methods to verify the obsrver condition for natural projections |
 mtc_parallel.cpp | Methods for parallel composition of multitasking generators |
 mtc_parallel.h | Methods for parallel composition of multitasking generators |
 mtc_project.cpp | Methods for computing the natural projection of multitasking generators |
 mtc_project.h | Methods for computing the natural projection of multitasking generators |
 mtc_redundantcolors.cpp | Methods for removing redundant colors for the supervisor synthesis from MtcSystems |
 mtc_redundantcolors.h | Methods for removing redundant colors for the supervisor synthesis from MtcSystems |
 mtc_statemin.cpp | State space minimization |
 mtc_statemin.h | State space minimization |
 mtc_supcon.cpp | Supremal controllable sublanguage and controllablity |
 mtc_supcon.h | Supremal controllable sublanguage and controllablity |
 obs_1_simple.cpp | |
 obs_include.h | Includes all header files of the observability plug-in |
 obs_local_observation_consistency.cpp | |
 obs_local_observation_consistency.h | Local Observation Consistency |
 op_bisimulation.cpp | Methods to compute bisimulations on dynamic systems (represented
by a finite automaton) |
 op_bisimulation.h | Methods to compute bisimulations on dynamic systems (represented
by a finite automaton) |
 op_debug.h | |
 op_ex_bisim.cpp | Tutorial, computation of the coarsest quasi-congruence |
 op_ex_mc.cpp | This tutorial demonstrates methods for verifying the mutual controllability condition of
two given automata |
 op_ex_synthesis.cpp | Tutorial, synthesis of natural projections with certain properties |
 op_ex_verification.cpp | Tutorial, verification of properties of natural projections |
 op_include.h | Includes all observer plugin headers |
 op_mc.cpp | Method to verify mutual controllability for two given generators |
 op_mc.h | Method to verify mutual controllability for two given generators |
 op_observercomputation.cpp | Methods to compute natural projections that exhibit the obsrver property |
 op_observercomputation.h | Methods to compute natural projections that exhibit the observer property |
 op_obserververification.cpp | Methods to verify the obsrver condition for natural projections |
 op_obserververification.h | Methods to verify the obsrver condition for natural projections |
 op_partition.cpp | Data structure that implements an equivalence class in the bisimulation algorithm |
 op_partition.h | Data structure that implements an equivalence class in the bisimulation algorithm |
 pd_alg_cc.cpp | Top-level functions |
 pd_alg_cc.h | Top-Level functions |
 pd_alg_cc_test.cpp | Unit Tests |
 pd_alg_cc_test.h | Unit Tests |
 pd_alg_first.cpp | Functions related to the first function |
 pd_alg_first.h | Functions related to the first function |
 pd_alg_first_test.cpp | Unit Tests |
 pd_alg_first_test.h | Unit Tests |
 pd_alg_lrm.cpp | Functions related to LR machines |
 pd_alg_lrm.h | Functions related to LR machines |
 pd_alg_lrm_test.cpp | Unit Tests |
 pd_alg_lrm_test.h | Unit Tests |
 pd_alg_lrp.cpp | Functions related to parsers |
 pd_alg_lrp.h | Functions related to parsers |
 pd_alg_lrp_test.cpp | Unit Tests |
 pd_alg_lrp_test.h | Unit Tests |
 pd_alg_nb_sub_a.cpp | Nonblock subfunctions, part A |
 pd_alg_nb_sub_a.h | Nonblock subfunctions, part A |
 pd_alg_nb_sub_a_test.cpp | Unit Tests |
 pd_alg_nb_sub_a_test.h | Unit Tests |
 pd_alg_nb_sub_b.cpp | Nonblock subfunctions, part B |
 pd_alg_nb_sub_b.h | Nonblock subfunctions, part B |
 pd_alg_nb_sub_b_test.cpp | Unit Tests |
 pd_alg_nb_sub_b_test.h | Unit Tests |
 pd_alg_opt.cpp | Functions for optimizations |
 pd_alg_opt.h | Functions for optimizations |
 pd_alg_opt_test.cpp | Unit Tests |
 pd_alg_opt_test.h | Unit Tests |
 pd_algo_test.cpp | Test, pushdown plugin |
 pd_attributes.cpp | Attributes for pushdown automata |
 pd_attributes.h | Attributes for pushdown automata |
 pd_basics.cpp | Attributes for pushdown automata |
 pd_basics.h | Attributes for pushdown automata |
 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) |
 pd_example_WODES14_nonblock.cpp | |
 pd_gotoattributes.cpp | Attributes for LR machines |
 pd_gotoattributes.h | Attributes for LR machines |
 pd_gotogenerator.cpp | |
 pd_gotogenerator.h | LR machine |
 pd_grammar.cpp | |
 pd_grammar.h | |
 pd_include.h | Include pushdown plugin headers |
 pd_lang_k.cpp | Test class to derive strings from pushdown automata |
 pd_lang_k.h | Test class to derive strings from pushdown automata |
 pd_merge.cpp | Grammar data structure |
 pd_merge.h | Grammar data structure |
 pd_parser.cpp | Parser data structure |
 pd_parser.h | Parser data structure |
 pd_pdgenerator.cpp | – pushdown automata |
 pd_pdgenerator.h | Pushdown generator class TpdGenerator |
 pd_test.cpp | Example plugin |
 pd_test.h | Example plugin |
 pd_test_util.cpp | Creation of test classes |
 pd_test_util.h | Creation of test classes |
 pd_tutorial.cpp | Tutorial, pushdown plugin |
 ref2html.cpp | |
 rti2code.cpp | |
 simfaudes.cpp | Simple simulator application for faudes generators |
 sp_densityfnct.cpp | Discrete density function approximation |
 sp_densityfnct.h | Discrete density function approximation |
 sp_dplpexecutor.cpp | Executor with IO device |
 sp_dplpexecutor.h | Executor with IO device |
 sp_executor.cpp | Execute transitions in a timed generator |
 sp_executor.h | Execute transitions in a timed generator |
 sp_include.h | Includes all simulator plugin headers |
 sp_lpexecutor.cpp | Executor with logging facilities |
 sp_lpexecutor.h | Executor with logging facilities |
 sp_pexecutor.cpp | Executor for multiple synchronized timed generators |
 sp_pexecutor.h | Executor for multiple synchronized timed generators |
 sp_plpexecutor.cpp | Executor that proposes transitions to execute |
 sp_plpexecutor.h | Executor that proposes transitions to execute |
 sp_random.cpp | Evaluating random variables |
 sp_random.h | Evaluating random variables |
 sp_simconditionset.cpp | Set of named simulation conditions |
 sp_simconditionset.h | Set of named simulation conditions |
 sp_simeventset.cpp | Eventsets with execution data for simulation |
 sp_simeventset.h | Eventsets with execution data for simulation |
 syn_1_simple.cpp | Tutorial, std monolitic synthesis |
 syn_2_omega.cpp | Synthesis for omega languages |
 syn_3_reduction.cpp | Tutorial, std monolitic synthesis |
 syn_functions.cpp | Misc functions related to synthesis |
 syn_functions.h | Misc functions related to synthesis |
 syn_include.h | Includes all header files of the synthesis plug-in |
 syn_sscon.cpp | Standard synthesis consistency test |
 syn_sscon.h | Standard syntheis consistency test |
 syn_supcon.cpp | Supremal controllable sublanguage |
 syn_supcon.h | Supremal controllable sublanguage |
 syn_supnorm.cpp | Supremal normal sublanguage |
 syn_supnorm.h | Supremal normal sublanguage |
 syn_supreduce.cpp | Supervisor Reduction |
 syn_supreduce.h | |
 syn_tsupcon.cpp | |
 syn_tsupcon.h | |
 syn_wsupcon.cpp | Supremal controllable sublanguage for infinite time behaviours |
 syn_wsupcon.h | Supremal controllable sublanguage for infinite time behaviours |
 tp_1_tgenerator.cpp | Tutorial, class faudes::TimedGenerator |
 tp_2_constraints.cpp | Tutorial, class faudes::TimeConstraint |
 tp_3_parallel.cpp | Tutorial, timed parallel composition |
 tp_attributes.cpp | Attributes for timed automata |
 tp_attributes.h | Attributes for timed automata |
 tp_include.h | Include timed plugin headers |
 tp_tgenerator.cpp | |
 tp_tgenerator.h | Timed generator class TtGenerator |
 tp_timeconstraint.cpp | |
 tp_timeconstraint.h | Classes ClockSet, ElemConstraint and TimeConstraint |
 tp_timeinterval.cpp | |
 tp_timeinterval.h | Class TimeInterval |
 tp_tparallel.cpp | |
 tp_tparallel.h | Parallel composition for timed automata |