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 |