Thursday 26 January 2017
Mini-Symposium on Hybrid Systems Modelling
There would be a mini-symposium at the morning of the defense of Hamed Ghasemieh, a Ph.D candidate of DACS research group.
It will take place on February 3rd, 10:00--12:30 at Zaal B in the Drienerburght.
The program is as follows:
10:00 Arnd Hartmanns ‘ Schedulers are no prophets’
10:30 Rom Langerak ‘Discretization of continuous dynamical systems using UPPAAL’
11:00 Coffe break
11:30 Marco Gribaudo ‘Fluid Petri Nets models of Parallel and Big-Data Applications'
11:30 Joost-Pieter Katoen ‘Multi-objective model checking of Markov automata’