Monotonicity in parametric Markov chains

Kontakt

Jip Spel

Name

Jip Spel

Telefon

work
+49 241 80 21202

E-Mail

E-Mail
 

Markov-Ketten werden benutzt,um das Verhalten von Systemen zu beschreiben. In einer Markov-Kette gibt es verschiedene probabilistische Zustandsänderungen. Oft weiß man nicht, wie die Wahrscheinlichkeiten sind. Deshalb gibt es parametrische Markov-Ketten, in denen die Zustandsänderungen auch Parameter enthalten dürfen. Aus der Markov-Kette und einer Spezifikation werden Werten für die Parameters erhoben. Ich untersuche den Effekt von Änderung der Parameterwerte auf die Erreichbarkeitswahrscheinlichkeit bestimmter Zustände. Im Speziellen interessiert mich das monotone Verhalten in bestimmten Parametern. Ich möchte diesen monotonen Effekt nutzen, um die Analyse des Verhaltens der Systeme zu verbessern.