Parameter Synthesis for Systems with Real Time – RNDr. Peter Bezděk
RNDr. Peter Bezděk
Doctoral thesis
Parameter Synthesis for Systems with Real Time
Parameter Synthesis for Systems with Real Time
Abstract:
Časové automaty se staly standardem pro modelování systémů s časem. Parametrické časové automaty rozšiřují časové automaty o možnost použití parametrů ve strážích a invariantech automatu. Zatímco problém dosažitelnosti hledá valuace parametrů, pro které je daná lokace automatu dosažitelná, problém syntézy parametrů hledá valuace parametrů, pro které je splněna obecnější specifikace parametrického časového …moreAbstract:
For modelling of behaviour with time aspects the timed extension of nondeterministic finite automata called timed automata became the standard. Parametric timed automata extend the timed automata with the possibility to use parameters in the clock constraints. While the reachability problem for parametric timed automata computes parameter valuations for which certain locations are reachable, the parameter …more
Language used: English
Date on which the thesis was submitted / produced: 13. 11. 2017
Identifier:
https://is.muni.cz/th/i4kyb/
Thesis defence
- Date of defence: 9. 3. 2018
- Supervisor: prof. RNDr. Ivana Černá, CSc.
- Reader: Prof. Nicolas Markey, Prof. Didier Lime
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Parallel Parameter Synthesis for Hybrid Systems
Eva Šmijáková -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Grafická reprezentace formulí logiky LTL
Michal Keda -
Translation of LTL to Semi-Deterministic Automata via Alternating Automata
Michal Románek -
Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
Juraj Major -
Převod LTL formulí s omezenými operátory do automatů s čítači
Alexandra Slezáková -
Translation of an LTL fragment to deterministic Rabin and Streett automata
František Blahoudek