 Cláudio Gomes
|
80a972d1b8
updated model picture for the paper
|
9 years ago |
|
Cláudio Gomes
|
09f5a02029
added models from paper (forgot to commit them last time)
|
9 years ago |
|
Cláudio Gomes
|
e69d749dac
updated model but simulation does not finish (even after 5 hours)
|
9 years ago |
|
Cláudio Gomes
|
152a7ce431
adjustments to the model
|
9 years ago |
|
Cláudio Gomes
|
f513eacea2
generateds new trace
|
9 years ago |
|
Cláudio Gomes
|
b8e612e054
model is ready to run, but I cannot run it on my machine
|
9 years ago |
|
Cláudio Gomes
|
8228c59190
updated the FSA model
|
9 years ago |
 Simon Van Mierlo
|
141f6c1c6b
fixed bug in simulation, traces are correctly produced now
|
10 years ago |
|
Cláudio Gomes
|
7dfba2594b
Merge branch 'master' of http://msdl.uantwerpen.be/git/claudio/MLE
|
10 years ago |
|
Simon Van Mierlo
|
f2fe32f3dc
fixed after bug and commit the traces
|
10 years ago |
|
Cláudio Gomes
|
0be680ef76
events produced by new implementation
|
10 years ago |
|
Simon Van Mierlo
|
7bb0b1c06b
simulation finished
|
10 years ago |
|
Cláudio Gomes
|
9489811cdf
case study
|
10 years ago |
|
Cláudio Gomes
|
7b68749f51
include after(1.0) event in the plots
|
10 years ago |
|
Cláudio Gomes
|
6449f1a719
restore the previous verison of debugger (the initial parallel one) and added plots of trajectory
|
10 years ago |
|
Cláudio Gomes
|
e894e691ed
power window hybrid model
|
10 years ago |
|
Cláudio Gomes
|
610eb1ab77
hybrid model running (not fully tested yet)
|
10 years ago |
|
Cláudio Gomes
|
b2759abbe3
started building the hybrid model but need to sleep.
|
10 years ago |
|
Cláudio Gomes
|
84a550cb02
fsa model
|
10 years ago |
|
Cláudio Gomes
|
d794580891
power window hybrid model drawing
|
10 years ago |
|
Cláudio Gomes
|
28dd7df318
power window model inkscape
|
10 years ago |
|
Cláudio Gomes
|
9ebc7f9579
power window cbd model
|
10 years ago |
|
Cláudio Gomes
|
f578fec7b5
power window model with object
|
10 years ago |
|
Simon Van Mierlo
|
d38e5eb2cc
now with god events
|
10 years ago |
|
Simon Van Mierlo
|
731dcd5f48
fixed breakpoints
|
10 years ago |
|
Simon Van Mierlo
|
c487f428ca
output less cluttered when stepping into
|
10 years ago |
|
Simon Van Mierlo
|
0f1053b733
working debugger
|
10 years ago |
|
Simon Van Mierlo
|
cb5ed388dc
realtime, big step, small step fixed
|
10 years ago |
|
Simon Van Mierlo
|
c853b8462b
hierarchical simulator, version 2.0
|
10 years ago |
|
Simon Van Mierlo
|
43a604bebf
current version of hierarchical simulator -- freeze
|
10 years ago |
