| .. |
|
CBDMultipleOutput
|
e894e691ed
power window hybrid model
|
9 лет назад |
|
HierarchicalSimulator
|
f513eacea2
generateds new trace
|
9 лет назад |
|
models
|
80a972d1b8
updated model picture for the paper
|
9 лет назад |
|
.project
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
.pydevproject
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
CBD_Controller.py
|
324db3f1f3
started on debuggeable hybrid simulator
|
9 лет назад |
|
DEPRECATED_composed_hybrid_fsa_simulator.sccd
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
DEPRECATED_weaved_cbd_fsa_simulator.sccd
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
DEPRECATED_weaved_cbd_fsa_simulator_hierarchical.sccd
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
DEPRECATED_weaved_cbd_fsa_simulator_normal_form.sccd
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
Options.py
|
324db3f1f3
started on debuggeable hybrid simulator
|
9 лет назад |
|
events.csv
|
e69d749dac
updated model but simulation does not finish (even after 5 hours)
|
9 лет назад |
|
fsa_cbd_simulator weaved_runner.py.launch
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
fsa_cbd_simulator_debugging.py.pdf
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
fsa_cbd_simulator_debugging.py.svg
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
fsa_cbd_woven_classes.py
|
9cf55b6c73
renamed weaved to woven, made simulators consistent and added pseudocode
|
9 лет назад |
|
fsaclasses.py
|
e894e691ed
power window hybrid model
|
9 лет назад |
|
generateSCCD.bat
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
plotSignals_horizontal.r
|
f513eacea2
generateds new trace
|
9 лет назад |
|
powerwindow_plots.pdf
|
e69d749dac
updated model but simulation does not finish (even after 5 hours)
|
9 лет назад |
|
pseudocode.txt
|
21a85a7c03
updated cbd simulator (parallel version)
|
9 лет назад |
|
run_debug.py
|
152a7ce431
adjustments to the model
|
9 лет назад |
|
signals.csv
|
e69d749dac
updated model but simulation does not finish (even after 5 hours)
|
9 лет назад |
|
target.py
|
f513eacea2
generateds new trace
|
9 лет назад |
|
test_models.graphml
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
woven_cbd_fsa_lib.py
|
9cf55b6c73
renamed weaved to woven, made simulators consistent and added pseudocode
|
9 лет назад |
|
woven_fsa_cbd_simulator_hierarchical.xml
|
2fd5464b9d
added hybrid debugging folder (not completed)
|
9 лет назад |
|
woven_fsa_cbd_simulator_hierarchical_debugging.xml
|
21a85a7c03
updated cbd simulator (parallel version)
|
9 лет назад |
|
woven_runner.py
|
610eb1ab77
hybrid model running (not fully tested yet)
|
9 лет назад |
Cláudio Gomes
