2017
Discrete Bifurcation Analysis of Reactive Systems
PASTVA, SamuelZákladní údaje
Originální název
Discrete Bifurcation Analysis of Reactive Systems
Název anglicky
Discrete Bifurcation Analysis of Reactive Systems
Autoři
Vydání
FMCAD, 2017
Další údaje
Typ výsledku
Prezentace na konferencích
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Označené pro přenos do RIV
Ne
Klíčová slova anglicky
reactive systems;bifurcation analysis;dynamical systems;attractor;parameter synthesis
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 26. 10. 2017 15:02, RNDr. Samuel Pastva, Ph.D.
V originále
Reactive systems with parameters represent an important part of real-world processes, spanning the fields of computer science, biology, economy and physics. Identification of suitable or admissible parameter values is a key problem in understanding such systems. In dynamical systems theory, an apparatus called bifurcation analysis is used to study the global behaviour of systems subject to parameter change. This research aims to extend and generalise this approach to reactive systems.
Anglicky
Reactive systems with parameters represent an important part of real-world processes, spanning the fields of computer science, biology, economy and physics. Identification of suitable or admissible parameter values is a key problem in understanding such systems. In dynamical systems theory, an apparatus called bifurcation analysis is used to study the global behaviour of systems subject to parameter change. This research aims to extend and generalise this approach to reactive systems.
Návaznosti
| GA15-11089S, projekt VaV |
| ||
| LM2015055, projekt VaV |
|