Informace o projektu
Diskrétní bifurkační analýza reaktivních systémů
- Kód projektu
- GA18-00178S
- Období řešení
- 1/2018 - 12/2020
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
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ů.
Publikace
Počet publikací: 21
2019
-
Accelerating Parameter Synthesis Using Semi-algebraic Constraints
Integrated Formal Methods, rok: 2019
-
Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway
Microorganisms, rok: 2019, ročník: 7, vydání: 11, DOI
-
Data-Informed Parameter Synthesis for Population Markov Chains
Hybrid Systems Biology (HSB 2019), rok: 2019
-
Data-Informed Parameter Synthesis for Population Markov Chains
17th International Conference on Computational Methods in Systems Biology (CMSB 2019), rok: 2019
-
Digital Bifurcation Analysis of TCP Dynamics
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, rok: 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, rok: 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, rok: 2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, rok: 2019, počet stran: 33 s.
2018
-
Fully Automated Attractor Analysis of Cyanobacteria Models
22nd International Conference on System Theory, Control and Computing, rok: 2018
-
PITHYA
Rok: 2018