• Anders Mariegaard
  • Julian Trier Ringsmose
4. term, Computer Science, Master (Master Programme)
This thesis addresses the problem of parameter synthesis for simulation distance check-
ing of parametric weighted transition systems. The usual notion of simulation relations is
extended to allow point-wise deviations in transition weight matching, inducing a directed
distance between states. The logical implications of distances between states is investigated
using a parametric extension of Weighted CTL. The main contribution of this work
is the utilization of parametric symbolic dependency graphs to represent the problem of
checking whether or not the distance between two transition system states are below some
threshold using parameter synthesis of the problem. To this end we present a global fixed
point algorithm which has been implemented with a web-based front-end.
LanguageEnglish
Publication date1 Jun 2015
Number of pages40
ID: 213391188