Samuel Pastva

Digital Bifurcation Analysis

Školitel: Luboš Brim

Instituce: Masaryk University, Faculty of Informatics

Obor: Informatics


O mém projektu

A wide spectrum of systems from many scientific fields can be studied as reactive systems. These systems are often influenced by parameters which can drastically alter their behaviour. Such qualitative change is studied in terms of bifurcation theory. However, bifurcation theory in its current form is hard to scale and automatise, and limited to continuous systems. In this project, we propose a new, automated, more general approach to bifurcation analysis based on formal verification.