Skip to ContentSkip to Navigation
Over onsNieuws en agendaNieuwsberichten

Colloquium Mathematics, Professor Joost-Pieter Katoen

18 March 2014

Join us for coffee and tea at 15.30 p.m.

Date:                      

Tuesday, March 18th 2014

Speaker:

Professor Joost-Pieter Katoen
RWTH Aachen University and University of Twente

Room:

5161.0293 (Bernoulliborg)

Time:

16.00

Title: Observing Stochastic Processes by Timed Automata


Abstract:


We consider the automated verification of a continuous-time Markov chain C.  For timed reachability objectives---can C reach a certain set of states within a deadline with a given likelihood---we show that this amounts to solving Volterra integral equation systems of the first type. Then, we consider the more general question of verifying CTMC C against a timed automaton A. The central problem is to compute the probability mass of runs in C that are accepted by A. We show that this can be solved by determining reachability probabilities in Davis' piecewise deterministic Markov processes.  In fact this amounts to solve Volterra integral equations of the second type.  For the special case of single clock timed automata, reachability probabilities in (our) PDMPs can be characterized by the least solution of a linear equation system, whose coefficients are ODE solutions.  We show that this can be done very efficiently by employing a graph decomposition of the PDMP.  This approach is amenable to bisimulation minimization and parallelization. Experiments with various examples from computer science as well as biology confirm that these optimizations lead to significant speed-ups.

Colloquium coordinators are Prof.dr. A.C.D. van Enter (e-mail : A.C.D.van.Enter@rug.nl) and
Dr. A.V. Kiselev (e-mail: a.v.kiselev@rug.nl )

http://www.rug.nl/research/jbi/news/colloquia/mathematics-colloquia/

Last modified:06 June 2018 2.04 p.m.

More news

  • 11 September 2018

    From Klokhuis question of the week to a Veni grant

    Jorrig Vogels has always been fascinated by language. As a child, he even compared the different words for ingredients on any packaging he came across. Last summer, the language researcher managed to secure a much-coveted Veni grant. ‘There’s something...

  • 07 September 2018

    Constructive discussions and a joint solution

    On Thursday evening, after intensive and constructive discussions with the protesting students from student parties DAG and ROOD (youth organization of the Dutch Socialist Party), consensus was reached on four points, which focus specifically on the...

  • 04 September 2018

    Down with those dropped ceilings!

    As a boy from the province he would occasionally visit the city of Groningen and didn’t care much for all those old buildings. His interest in historical buildings did not emerge until much later, during his Architecture studies. Today, architect René...