Mini-Symposium on Hybrid Systems Modelling

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’