File List

Here is a list of all files with brief descriptions:

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
hyb_1_hautomata.cpp
hyb_2_reachability.cpp
hyb_3_abstraction.cpp
hyb_4_controlA.cpp
hyb_5_controlB.cpp
hyb_6_robotex.cpp
hyb_abstraction.cpp	Abstractions based on experments on linear hybrid automata
hyb_abstraction.h	Abstractions by experiments for linear hybrid automata
hyb_attributes.cpp	Attributes of linear hybrid automata
hyb_attributes.h
hyb_compute.cpp	Polyhedron caluculs via PPL
hyb_compute.h
hyb_experiment.cpp	Exhaustive experments on linear hybrid automata
hyb_experiment.h	Exhaustive experments on linear hybris automata
hyb_hgenerator.cpp
hyb_hgenerator.h	Linear hybrid automata class TlhaGenerator
hyb_include.h
hyb_parameter.cpp	Parameters of linear hybrid automata
hyb_parameter.h	Parameter types for linear hybrid automata
hyb_reachability.cpp	Reachable states of linear hybrid automata
hyb_reachability.h
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
pbp_include.h	Includes all luabindings plug-in headers
perfloop.cpp	Elementary template for performance evaluation
pex_altaccess.cpp	Example plugin
pex_altaccess.h	Example plugin
pex_include.h	Include example plugin headers
pex_tutorial.cpp
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