Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch
Rok publikování	2011
Druh	Článek ve sborníku
Konference	HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	semi-Markov processes; timed automata
Popis	V článku jsou studovány deterministické časové automaty (DTA) jako modelově nezávislý jazyk pro specifikaci různých vlastností souvisejících s výkonem a spolehlivostí stochastických procesů se spojitým časem. Technicky jsou tyto vlastnosti definovány jako limity frekvencí výskytů lokací daného DTA, který sleduje výpočet daného stochastického procesu. Ukážeme, že uvedené vlastnosti jsou dobře definované a podáme algoritmus, který dokáže příslušné kvantitativní charakteristiky aproximovat s libovolně malou kladnou chybou.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Nové možnosti automatické verifikace síťových protokolů Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů Formální metody pro analýzu a verifikaci komplexních systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity