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.
|