Discrete Bifurcation Analysis of Reactive Systems
| Authors | |
|---|---|
| Year of publication | 2017 |
| Type | Appeared in Conference without Proceedings |
| Citation | PASTVA, Samuel. Discrete Bifurcation Analysis of Reactive Systems. In FMCAD. 2017. |
| Description | 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. |
| Related projects: |