References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Timed Comparisons of Semi-Markov Processes
(Submitted on 28 Nov 2017 (v1), last revised 1 Dec 2017 (this version, v3))
Abstract: Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probability of firing a transition at a certain moment in time. In this paper we consider the trace-based semantics of semi-Markov processes, and investigate the question of how to compare two semi-Markov processes with respect to their time-dependent behaviour. To this end, we introduce the relation of being "faster than" between processes and study its algorithmic complexity. Through a connection to probabilistic automata we obtain hardness results showing in particular that this relation is undecidable. However, we present an additive approximation algorithm for a time-bounded variant of the faster-than problem over semi-Markov processes with slow residence-time functions, and a coNP algorithm for the exact faster-than problem over unambiguous semi-Markov processes.
Submission history
From: Mathias Ruggaard Pedersen [view email][v1] Tue, 28 Nov 2017 10:24:01 GMT (140kb)
[v2] Wed, 29 Nov 2017 09:08:09 GMT (140kb)
[v3] Fri, 1 Dec 2017 11:25:50 GMT (140kb)
Link back to: arXiv, form interface, contact.