| 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_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_attrmap.cpp |
|
| cfl_attrmap.h | Class TAttrMap |
| cfl_baseset.cpp |
|
| cfl_baseset.h | Class TBaseSet |
| cfl_basevector.cpp |
|
| cfl_basevector.h | Class TBaseVector |
| cfl_bisimcta.cpp | Bisimulation relations (CTA) |
| cfl_bisimcta.h | Bisimulation relations |
| cfl_bisimulation.cpp | Bisimulation relations |
| cfl_bisimulation.h | Bisimulation relations |
| cfl_cgenerator.cpp | Classes TcGenerator, System and AttributeCFlags |
| cfl_cgenerator.h | Classes TcGenerator, System and AttributeCFlags |
| cfl_conflequiv.cpp | |
| cfl_conflequiv.h | |
| 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_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 |
| cfl_utils.cpp | C-level utility functions |
| cfl_utils.h | C-level utilities functions |
| 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 |
| doxygen_groups.h | |
| exefaudes.cpp | Example application for executor class
|
| flxinstall.cpp | |
| fts2ftx.cpp | |
| gen2dot.cpp | |
| 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_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 |
|
| ios_2_synthesis.cpp |
|
| 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_addons.cpp | Addon function for Lua integration |
| lbp_addons.h | |
| 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
|
| luafaudes.cpp | Simple Lua stand-alone interpreter for lua/faudes |
| mtc2dot.cpp | |
| mtc_1_generators.cpp | Tutorial, MtcSystem methods |
| mtc_2_functions.cpp | Tutorial, MtcSystem functions eg parallel, project etc |
| mtc_3_observer.cpp | Tutorial, MtcSystem observer computation |
| mtc_attributes.cpp | Color attributes for states |
| mtc_attributes.h | Color attributes for states |
| 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 | Supervisor Reduction |
| obs_local_observation_consistency.h | Local Observation Consistency |
| op_debug.h | |
| op_ex_bisim.cpp | Tutorial, computation of the coarsest quasi-congruence |
| op_ex_mc.cpp | Tutorial to demonstarte the verification of mutual controllability |
| 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 |
| perfloop.cpp | Elementary template for performance evaluation |
| 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_6_compsynth.cpp | Test case and demo for compositional synthesis algorithm: |
| syn_7_compsynth.cpp | Test case for compositional synthesis algorithm: Abfuellanlage |
| syn_compsyn.cpp | Compositional synthesis |
| syn_compsyn.h | Compositional 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 | Supervisor Reduction |
| syn_synthequiv.cpp | Synthesis-observation equivalence |
| syn_synthequiv.h | Synthesis-observation equivalence |
| syn_tsupcon.cpp | Supremal TDES-controllable sublanguage |
| 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 |
|
| 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 |