Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Abstract

This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single transitions can be matched by a sequence of transitions while preserving the branching behavior. We relax this notion to allow for a small degree of deviation in the matching of weights, inducing a directed distance on states. The distance between two states can be used directly to relate properties of the states within a sub-fragment of weighted CTL. The problem of relating systems thus changes to minimizing the distance which, in the general parametric case, corresponds to finding suitable parameter valuations such that one system can approximately simulate another. Although the distance considers a potentially infinite set of transition sequences we demonstrate that there exists an upper bound on the length of relevant sequences, thereby establishing the computability of the distance.
Original languageEnglish
Title of host publicationProceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16)
Number of pages13
Publication date2016
Pages63-75
DOIs
Publication statusPublished - 2016
Event3rd International Workshop on Synthesis of Complex Parameters - Eindhoven University of Technology, Eindhoven, Netherlands
Duration: 3 Apr 20163 Apr 2016
https://lipn.univ-paris13.fr/SynCoP2016/index.php

Workshop

Workshop3rd International Workshop on Synthesis of Complex Parameters
Location Eindhoven University of Technology
CountryNetherlands
CityEindhoven
Period03/04/201603/04/2016
Internet address
SeriesElectronic Proceedings in Theoretical Computer Science
ISSN2075-2180

Keywords

  • branching simulation
  • simulation distance
  • parametric weighted kripke structure

Cite this

Foshammer, L., Larsen, K. G., & Mariegaard, A. (2016). Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. In Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16) (pp. 63-75). Electronic Proceedings in Theoretical Computer Science https://doi.org/10.4204/EPTCS.220.6