Cláudio Gomes 80a972d1b8 updated model picture for the paper 9 лет назад
..
__init__.py 2fd5464b9d added hybrid debugging folder (not completed) 9 лет назад
bouncing_ball_model.graphml 2fd5464b9d added hybrid debugging folder (not completed) 9 лет назад
bouncing_ball_model.pdf 2fd5464b9d added hybrid debugging folder (not completed) 9 лет назад
bouncingball.py 9cf55b6c73 renamed weaved to woven, made simulators consistent and added pseudocode 9 лет назад
plots.pdf 2fd5464b9d added hybrid debugging folder (not completed) 9 лет назад
plots_nokick.pdf 2fd5464b9d added hybrid debugging folder (not completed) 9 лет назад
power_window.mo e894e691ed power window hybrid model 9 лет назад
power_window.py 152a7ce431 adjustments to the model 9 лет назад
power_window_fsa_model.pdf 8228c59190 updated the FSA model 9 лет назад
power_window_fsa_model.svg 8228c59190 updated the FSA model 9 лет назад
power_window_hybrid_model.pdf 80a972d1b8 updated model picture for the paper 9 лет назад
power_window_hybrid_model.svg 80a972d1b8 updated model picture for the paper 9 лет назад
power_window_hybrid_model_horizontal.pdf 09f5a02029 added models from paper (forgot to commit them last time) 9 лет назад
power_window_object.pdf e894e691ed power window hybrid model 9 лет назад
power_window_object.svg e894e691ed power window hybrid model 9 лет назад