1_generator.cpp [code] | Tutorial, basic faudes::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 |
abaseset.cpp [code] | |
abaseset.h [code] | Class TaBaseSet |
agenerator.cpp [code] | |
agenerator.h [code] | Attributed generator class TaGenerator |
attributes.cpp [code] | Classes AttributeVoid and AttributeFlags |
attributes.h [code] | Classes AttributeVoid and AttributeFlags |
baseset.cpp [code] | |
baseset.h [code] | Class TBaseSet |
basevector.cpp [code] | |
basevector.h [code] | Class TBaseVector |
cgenerator.cpp [code] | Classes TcGenerator, cGenerator and AttributeCFlags |
cgenerator.h [code] | Classes TcGenerator, cGenerator and AttributeCFlags |
corefaudes.h [code] | Includes all libFAUDES headers, no plugins |
definitions.h [code] | Compiletime options, This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile |
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 |
exception.cpp [code] | Class Exception |
exception.h [code] | Class Exception |
exefaudes.cpp [code] | Example application for executor class |
gen2dot.cpp [code] | |
gen2dot.h [code] | |
graphfncts.cpp [code] | Operations on (directed) graphs |
graphfncts.h [code] | Operations on (directed) graphs |
helper.cpp [code] | Helper functions |
helper.h [code] | Helper functions |
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 |
indexset.cpp [code] | Classes IndexSet |
indexset.h [code] | Classes IndexSet, TaIndexSet |
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_include.h [code] | Includes all io device headers |
iop_sdevice.cpp [code] | Virtual device for interface definition |
iop_sdevice.h [code] | Virtual device for signal based io |
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_xdevice.cpp [code] | Device container with vDevice interface |
iop_xdevice.h [code] | Virtual device for interface definition |
lbp_include.h [code] | Includes all luabindings plugin headers |
libfaudes.h [code] | Includes all libFAUDES headers, incl plugings |
libluafaudes.h [code] | Includes all libluafaudes headers, incl lua |
localgen.cpp [code] | |
localgen.h [code] | |
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 mtcGenerators |
mtc_redundantcolors.h [code] | Methods for removing redundant colors for the supervisor synthesis from mtcGenerators |
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 |
nameset.cpp [code] | Classes NameSet |
nameset.h [code] | Classes NameSet, TaNameSet |
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 |
parallel.cpp [code] | Parallel composition |
parallel.h [code] | Parallel composition |
pex_altaccess.cpp [code] | Example plugin |
pex_altaccess.h [code] | Example plugin |
pex_include.h [code] | Include example plugin headers |
pex_tutorial.cpp [code] | Tutorial, example plugin |
project.cpp [code] | Projection and subset construction |
project.h [code] | Projection and subset construction |
regular.cpp [code] | Operations on regular languages |
regular.h [code] | Operations on regular languages |
rti2code.cpp [code] | |
rti2html.cpp [code] | |
rtifncts.cpp [code] | Runtime interface, operations on faudes types |
rtifncts.h [code] | Runtime interface, operations on faudes types |
rtiregistry.cpp [code] | Runtime interface, registry for faudes types and functions |
rtiregistry.h [code] | Runtime interface, registry for faudes-types and functions |
rtitypes.cpp [code] | Runtime interface, faudes types |
rtitypes.h [code] | Runtime interface, faudes types |
rtiwrapper.cpp [code] | Runtime interface, wrapper from core functions |
rtiwrapper.h [code] | Runtime interface, wrapper from core functions |
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 |
statemin.cpp [code] | State space minimization |
statemin.h [code] | State space minimization |
symbolset.cpp [code] | Class SymbolSet |
symbolset.h [code] | Class SymbolSet, TaSymbolSet |
symboltable.cpp [code] | Class SymbolTable |
symboltable.h [code] | Class SymbolTable |
syn_1_simple.cpp [code] | Tutorial, std monolitic 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 |
token.cpp [code] | Class Token |
token.h [code] | Class Token |
tokenreader.cpp [code] | Class TokenReader |
tokenreader.h [code] | Class TokenReader |
tokenwriter.cpp [code] | Class TokenWriter |
tokenwriter.h [code] | Class TokenWriter |
tp_1_tgenerator.cpp [code] | Tutorial, class faudes::tGenerator |
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 |
transset.cpp [code] | |
transset.h [code] | Classes Transition, TTransSet and TaTransSet |
vgenerator.cpp [code] | Class vGenerator |
vgenerator.h [code] | Class vGenerator |
winextra.h [code] | Workaround missing posix functions |