Diskrétní bifurkační analýza reaktivních systémů
Cíle projektu
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ů.
Klíčová slova
bifurcation analysisdynamical reactive systemsystems biologymodel-checking
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 22 (SGA0201800001)
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
18-00178S
Alternativní jazyk
Název projektu anglicky
Discrete Bifurcation Analysis of Reactive Systems
Anotace anglicky
Parametric reactive systems represent a large class of real-world processes characterized by continuous interaction among constituting components and reaction to stimuli from the environment. To analyze system dynamics with respect to a given set of parameter values, traditional continuous dynamical systems theory uses bifurcation analysis. The proposed project aims at bringing bifurcation analysis to the domain of operational models of reactive systems. It introduces and develops a novel method called discrete bifurcation analysis which technically builds on model checking as known from formal verification of computer systems.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)AF - Dokumentace, knihovnictví, práce s informacemi
BC - Teorie a systémy řízení
BD - Teorie informace
IN - Informatika
Termíny řešení
Zahájení řešení
1. 1. 2018
Ukončení řešení
31. 12. 2020
Poslední stav řešení
—
Poslední uvolnění podpory
24. 4. 2020
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP21-GA0-GA-R/13:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
3 923 tis. Kč
Výše podpory ze státního rozpočtu
2 375 tis. Kč
Ostatní veřejné zdroje financování
1 611 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
3 923 tis. Kč
Statní podpora
2 375 tis. Kč
60%
Poskytovatel
Grantová agentura České republiky
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Doba řešení
01. 01. 2018 - 31. 12. 2020