License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SynCoP.2015.17
URN: urn:nbn:de:0030-drops-56079
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5607/
Go to the corresponding OASIcs Volume Portal


Delahaye, Benoît

Consistency for Parametric Interval Markov Chains

pdf-format:
5.pdf (0.5 MB)


Abstract

Interval Markov Chains (IMCs) are the base of a classic probabilistic specification theory by Larsen and Jonsson in 1991. They are also a popular abstraction for probabilistic systems. In this paper we introduce and study an extension of Interval Markov Chains with parametric intervals. In particular, we investigate the consistency problem for such models and propose an efficient solution for the subclass of parametric IMCs with local parameters only. We also show that this problem is still decidable for parametric IMCs with global parameters, although more complex in this case.

BibTeX - Entry

@InProceedings{delahaye:OASIcs:2015:5607,
  author =	{Benoît Delahaye},
  title =	{{Consistency for Parametric Interval Markov Chains}},
  booktitle =	{2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)},
  pages =	{17--32},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-82-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{44},
  editor =	{{\'E}tienne Andr{\'e} and Goran Frehse},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5607},
  URN =		{urn:nbn:de:0030-drops-56079},
  doi =		{10.4230/OASIcs.SynCoP.2015.17},
  annote =	{Keywords: Specification, Parameters, Markov Chains, Consistency}
}

Keywords: Specification, Parameters, Markov Chains, Consistency
Collection: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)
Issue Date: 2015
Date of publication: 03.12.2015


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI