Colloquium Mathematics, Professor Joost-Pieter Katoen
Join us for coffee and tea at 15.30 p.m.
Date: |
Tuesday, March 18th 2014 |
Speaker: |
Professor Joost-Pieter Katoen |
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/
Laatst gewijzigd: | 04 juli 2014 21:39 |
Meer nieuws
-
26 april 2018
Vier medewerkers koninklijk onderscheiden op voordracht van de RUG
Donderdag 26 april zijn vier RUG-medewerkers op voordracht van de Rijksuniversiteit Groningen (RUG) koninklijk onderscheiden. Tot Ridder in de Orde van de Nederlandse Leeuw is benoemd prof.dr. N. Kalantar-Nayestanaki. Prof.dr. G.C. Wakker, prof.dr....
-
26 april 2018
It takes $50 a month to convince people to give up Facebook, new research shows
How much do people value Facebook? By about $50 a month, according to a recent study of 2885 people by economists at the University of Groningen and the Massachusetts Institute of Technology.
-
26 april 2018
Gerry Wakker Officier in de Orde van Oranje Nassau
Prof.dr. Gerry Wakker is op 26 april koninklijk onderscheiden tot Officier in de Orde van Oranje Nassau.Wakker (Haarlem, 1958), hoogleraar Oudgriekse Taalkunde en decaan en voorzitter van het bestuur van de faculteit der Letteren aan de RUG, is zowel...