Digital Bifurcation Analysis
Školitel: Luboš Brim
Instituce: Masaryk University, Faculty of 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.