Project information
Diskrétní bifurkační analýza reaktivních systémů
- Project Identification
- GA18-00178S
- Project Period
- 1/2018 - 12/2020
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
Parametrické reaktivní systémy reprezentují mnoho reálných systémů, které jsou charakteristické interakcí mezi svými komponentami a reakcí na podněty z vnějšího prostředí. Pro analýzu dynamiky systémů v závislosti na hodnotách parametrů používá tradiční teorie spojitých dynamických systémů metodu bifurkační analýzy. Navrhovaný projekt si klade za cíl přenést metodu bifurkační analýzy do oblasti diskrétních reaktivních systémů. Zavádí a rozvíjí nový pojem diskrétní bifurkační analýza. Navrhovaný přístup staví na aplikaci metody ověřování modelů, která je využivána pro formální verifikaci počítačových systémů.
Publications
Total number of publications: 21
2019
-
Accelerating Parameter Synthesis Using Semi-algebraic Constraints
Integrated Formal Methods, year: 2019
-
Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway
Microorganisms, year: 2019, volume: 7, edition: 11, DOI
-
Data-Informed Parameter Synthesis for Population Markov Chains
Hybrid Systems Biology (HSB 2019), year: 2019
-
Data-Informed Parameter Synthesis for Population Markov Chains
17th International Conference on Computational Methods in Systems Biology (CMSB 2019), year: 2019
-
Digital Bifurcation Analysis of TCP Dynamics
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019
-
Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, year: 2019
-
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, year: 2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.
2018
-
Fully Automated Attractor Analysis of Cyanobacteria Models
22nd International Conference on System Theory, Control and Computing, year: 2018
-
PITHYA
Year: 2018