- Dec 01, 2020
-
-
Bentriou Mahmoud authored
The two Cosmos tests checks the statistical correctness of estimated distance value for R1,R2,R3,R5 experiments. Also, they test that all trajectories are accepted. A bunch of errors were fixed in automata files (Cosmos .lha and julia ./automata files) and simulation function that introduced statistical bias, i.e. approximated values that were closed but not in the confidence interval. The general structure of simulation and was reworked in order to suits well te behavior of Cosmos.
-
- Nov 30, 2020
-
-
Bentriou Mahmoud authored
copyto! is implemented for LHA states. Automaton G works almost well, a bias in the distance is identified compared to Cosmos when one of the model parameters is zero. Implementation of volatile_simulate, which simulates SynchronizedModel without saving values: it only returns the last LHA state of the simulation. Implementation of distributed computations of variable automata with volatile_simulate. Tests passed.
-
- Nov 27, 2020
-
-
Bentriou Mahmoud authored
Fix about methods of SynchronizedTrajectory + tests. Simulation for ParametricModel works.
-
- Nov 26, 2020
-
-
Bentriou Mahmoud authored
First bricks of the automaton_abc algorithm.
-
Bentriou Mahmoud authored
-