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