Závěrečná práce: Mgr. Samuel Pastva, učo 410286: Discrete Bifurcation Analysis
Rigorózní práce
Discrete Bifurcation Analysis
Anotace
Realita fyzického sveta sa stáva stále viac a viac digitálnou. Aby sme mohli bezpečne použiť a aplikovať takéto diskrétne systémy, je im nutné dobre rozumieť. Takéto systému sú naviac často ovplyvňované meniacimi sa parametrami. Väčšinou očakávame že malá zmena parametra spôsobí malú smenu v správaní systému. Inak povedané, čakáme že systém sa správa predvídateľne vzhľadom na zmeny parametrov. To však …více
Abstract
Our reality is becoming increasingly digital. It is therefore crucial to study and understand discrete systems in order to assess their applicability and safety. These systems are often subject to changing parameter values. We typically expect that a small parameter change will result in a minor change in the system's behaviour. In other words, we expect the system to behave in some sense predictably …více
19. 3. 2019 08:35, prof. RNDr. Luboš Brim, CSc.
Oponenti
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems
RNDr. Samuel Pastva, Ph.D., učo 410286 -
Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
RNDr. Samuel Pastva, Ph.D., učo 410286 -
Influence maximization in partially specified Boolean networks
Mgr. Šimon Varga -
Parallel Bifurcation Analysis in Parametrised Boolean Networks
Mgr. Jakub Kadlecaj, učo 445344 -
Pokročilé modely dopravního toku
Mgr. Lucia Kajanová -
LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
doc. RNDr. Milan Češka, Ph.D. -
Control of Partially Specified Boolean Networks
RNDr. Eva Šmijáková, učo 433478 -
DiVinE - Prostředí pro distribuovanou verifikaci
RNDr. Pavel Šimeček, Ph.D., učo 51636




