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
2021
-
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
Performance Engineering and Stochastic Modeling, rok: 2021
2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, rok: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI
-
eBCSgen: A Software Tool for Biochemical Space Language
18th International Conference on Computational Methods in Systems Biology, CMSB 2020, rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
9th International Workshop on Static Analysis and Systems Biology (SASB), rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
PLOS ONE, rok: 2020, ročník: 15, vydání: 9, DOI
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, rok: 2020, ročník: 185, vydání: 102321, DOI
-
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, rok: 2020
-
Parameter Synthesis and Robustness Analysis of Rule-Based Models
12th International Symposium on NASA Formal Methods, NFM 2020, rok: 2020
-
Toward Model Selection by Formal Methods
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350, rok: 2020