RNDr. Peter Bezděk

Disertační práce

Parameter Synthesis for Systems with Real Time

Parameter Synthesis for Systems with Real Time
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
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 13. 11. 2017

Obhajoba závěrečné práce

  • Obhajoba proběhla 9. 3. 2018
  • Vedoucí: prof. RNDr. Ivana Černá, CSc.
  • Oponent: Prof. Nicolas Markey, Prof. Didier Lime

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky