Disertační práce

Parameter Synthesis for Systems with Real Time

RNDr. Peter Bezděk
Anotace

Č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 …více

Abstract

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 …více

Klíčová slova
Parameter Synthesis Parametric Timed Automaton Linear Temporal Logic Clock-Aware Linear Temporal Logic CA-LTL LTL syntéza parametrů parametrické časové automaty
Administrativní informace
Práce zkontrolována:
14. 11. 2017 08:05, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
1,6 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
9. 3. 2018
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU

Oponenti

Prof. Nicolas Markey
IRISA, Campus de Beaulieu Rennes
Prof. Didier Lime
École Centrale de Nantes
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.