Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1393608,
author = {Pastva, Samuel},
booktitle = {FMCAD},
keywords = {reactive systems;bifurcation analysis;dynamical systems;attractor;parameter synthesis},
title = {Discrete Bifurcation Analysis of Reactive Systems},
url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/},
year = {2017}
}
TY - CONF
ID - 1393608
AU - Pastva, Samuel
PY - 2017
TI - Discrete Bifurcation Analysis of Reactive Systems
KW - reactive systems;bifurcation analysis;dynamical systems;attractor;parameter synthesis
UR - http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/
N2 - 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.
ER -
PASTVA, Samuel. Discrete Bifurcation Analysis of Reactive Systems. In \textit{FMCAD}. 2017.
|
