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