Campus Event Calendar
Event Entry
What and Who
Algorithmic Analysis in Continuous-Time Markov Decision Processes
Dmytro Puzhay
IMPRS
Talk
Master Student / IMPRS
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 20 May 2008
13:05
60 Minutes
E1 4
R024
Saarbrücken
Abstract
The ETMCC model checker is a Java based model checking tool for continuous-time Markov chains (CTMCs). Given a system that can be modelled as CTMC and a particular property P, formalized in a logic called continous stochastic logic (CSL), ETMCC aids in answering the question if the system satisfies P or not. Recently, this approach was improved at the University of Twente by reimplementing ETMCC in C++ using more efficient datastructures. The tool is called MRMC.
Meanwhile, ETMCC was extended with a brandnew efficient algorithm for model checking continuous-time Markov decision processes which are an extension of CTMCs that incorporate nondeterminism. This implementation is used in the context of the European Train Control System (ETCS) to estimate, e.g., the probability that a particular train has to break within a given amount of time. Motivated by this, the goal of the thesis is to implement a C++ version of the above mentioned algorithm and to integrate it into the C++ implementation of MRMC.
Meanwhile, ETMCC was extended with a brandnew efficient algorithm for model checking continuous-time Markov decision processes which are an extension of CTMCs that incorporate nondeterminism. This implementation is used in the context of the European Train Control System (ETCS) to estimate, e.g., the probability that a particular train has to break within a given amount of time. Motivated by this, the goal of the thesis is to implement a C++ version of the above mentioned algorithm and to integrate it into the C++ implementation of MRMC.
Contact
Stephanie Jörg
0681 9325225
--email hidden
passcode not visible
logged in users only
Stephanie Jörg, 05/08/2008 09:54
Stephanie Jörg, 04/24/2008 12:50
Stephanie Jörg, 04/23/2008 10:53 -- Created document.
Stephanie Jörg, 04/24/2008 12:50
Stephanie Jörg, 04/23/2008 10:53 -- Created document.