Swaminathan, Mani (2016) Quantitative and structural analysis of real-time and probabilistic systems. PhD, Universität Oldenburg.

[img]
Preview


Volltext (1006Kb)

Abstract

This dissertation contributes to the quantitative and structural analysis of real-time and probabilistic systems. The quantitative analysis herein goes beyond the classical boolean notion of system correctness, and is performed on system models that incorporate perturbations, prices, and probabilities in their behaviour. The structural analysis investigated in this dissertation entails reduction techniques for networks of real-time and probabilistic systems that exhibit parallelism. These four aspects (namely, perturbations, prices, probabilities, and parallelism) are analyzed on the following system models w.r.t variants of reachability properties: 1. perturbed timed automata with drifting clocks and with clock resynchronization, 2. multi-priced timed automata with a bounded budget, 3. networks of timed automata extended with shared data variables, 4. networks of probabilistic automata extended with shared data variables, and 5. perturbed probabilistic timed automata with drifting clocks and with clock resynchronization.

["eprint_fieldname_title_plus" not defined]

Quantitative und strukturelle Analyse von Realzeit- und probabilistischen Systemen

["eprint_fieldname_abstract_plus" not defined]

Diese Dissertation trägt zur quantitativen und strukturellen Analyse von Realzeit- und probabilistischen Systemen bei. Für die quantitative Analyse berücksichtigen wir Systemmodelle, die Ungenauigkeiten, Kosten und Wahrscheinlichkeiten aufweisen, und dabei über die klassische "ja/nein''-Korrektheit hinausgehen. Für die strukturelle Analyse berücksichtigen wir Reduktionsansätze für Netzwerke von Realzeit- und probabilistischen Systemen, die Nebenläufigkeit aufweisen. Diese quantitative und strukturelle Analyse wird in Bezug auf (Varianten von) Erreichbarkeitseigenschaften auf den folgenden Systemmodellen durchgeführt: 1. Realzeitautomaten mit Ungenauigkeiten in den Uhren und mit deren Resynchronization, 2. kostenbehafteten Realzeitautomaten mit begrenztem Budget, 3. Netzwerken von Realzeitautomaten mit geteilten Datenvariablen, 4. Netzwerken von probabilistichen Automaten mit geteilten Datenvariablen, und 5. probabilistichen Realzeitautomaten mit Ungenauigkeiten in den Uhren und mit deren Resynchronization.

Item Type: Thesis (PhD)
Uncontrolled Keywords: Timed Automata, Perturbations, Prices, Probabilities, Parallelism
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 05 Jul 2016 12:30
Last Modified: 05 Jul 2016 12:30
URI: https://oops.uni-oldenburg.de/id/eprint/2816
URN: urn:nbn:de:gbv:715-oops-28972
DOI:
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...