Informace o projektu
Diskrétní bifurkační analýza reaktivních systémů

Informace

Projekt nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

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

HAJNAL Matej PETROV Tatjana ŠAFRÁNEK David

Článek ve sborníku

Performance Engineering and Stochastic Modeling, rok: 2021

2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

Článek ve sborníku

Computer Aided Verification. CAV 2020, rok: 2020
Digital Bifurcation Analysis of Internet Congestion Control Protocols

BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

Článek v odborném periodiku

International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI
eBCSgen: A Software Tool for Biochemical Space Language

TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

Článek ve sborníku

18th International Conference on Computational Methods in Systems Biology, CMSB 2020, rok: 2020
Executable Biochemical Space for Specification and Analysis of Biochemical Systems

TROJÁK Matej ŠAFRÁNEK David BRIM Luboš ŠALAGOVIČ Jakub ČERVENÝ Jan

Článek ve sborníku

9th International Workshop on Static Analysis and Systems Biology (SASB), rok: 2020
Executable Biochemical Space for Specification and Analysis of Biochemical Systems

TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

Článek v odborném periodiku

PLOS ONE, rok: 2020, ročník: 15, vydání: 9, DOI
Parallel parameter synthesis algorithm for hybrid CTL

BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

Článek v odborném periodiku

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.

ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

Článek ve sborníku

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

TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

Článek ve sborníku

12th International Symposium on NASA Formal Methods, NFM 2020, rok: 2020
Toward Model Selection by Formal Methods

HAJNAL Matej PASTVA Samuel

Článek ve sborníku

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350, rok: 2020