Algorithmic Asymptotic Analysis of Infinite-Sate Systems

Mgr. Michal Ajdarów

Rigorózní práce

Anotace:

Jedním ze základních modelů pro analýzu nekonečně stavových systémů jsou vector addition system with states (VASS). VASSy je možné využít k modelování různorodých systémů, a posléze k rozhodování o jejich asymptotických vlastnostech. Teze dizertační práce se věnují problémům týkajících se asymptotických vlastností, jako jsou složitost terminace, složitost přechodů a složitost counterů, na VASSech a jejich různých modifikacích jako jsou VASS hry či pravděpodobnostní VASS (pVASS). Práce obsahují nové výsledku ohledně polynomiální asymptotické analýzy démonických VASSů a VASS her. Dále obsahují přehled současného vývoje z oblasti asymptotické analýzy VASSů. Cílem dizertační práce, navrženým v předložených tezích, je rozšířit tyto výsledky o nové poznatky na modely pravděpodobních VASSů.

Abstract:

One of fundamental models for analysis of infinite-state systems is one of vector addition systems with states (VASS). VASS can be used to reason about various systems, including about their asymptotic properties. My PhD thesis proposal focuses on exploring the asymptotic properties, such as termination complexity, transition complexity and counter complexity, for VASS and it's modifications such as VASS games or probabilistic VASS (pVASS). The thesis proposal contains new results about polynomial asymptotic analysis of demonic VASS and VASS games, and an overview of the current results about asymptotic VASS analysis. The aim of the Ph.D. thesis, that is presented in this thesis proposal, is to extend these results onto pVASS models.

Keywords

vector addition systems with states, termination complexity, VASS-MDP, asymptotic complextity

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 21. 9. 2022

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

• Obhajoba proběhla 18. 1. 2023
• Oponent: prof. RNDr. Petr Jančar, CSc., Dr. Wojciech Czerwiński

Masarykova univerzita

Fakulta informatiky

Rigorózní řízení / obor:
Teoretická informatika / Teoretická informatika