R 2018

PITHYA

DEMKO, Martin; Samuel PASTVA; David ŠAFRÁNEK; Nikola BENEŠ; Luboš BRIM et al.

Základní údaje

Originální název

PITHYA

Název česky

PITHYA

Autoři

Vydání

2018

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/18:00101130

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Parameter synthesis; Dynamical systems; Model checking; Temporal logic; ODE; Systems biology

Technické parametry

Výsledkem je Webová aplikácia. Zdrojový kód je prístúpný cez GitHub a online verzia na adrese "http://pithya.ics.muni.cz". Pre GUI bol použitý primárne jazyk R a pre jadro systému jazyky Java a Kotlin.

Příznaky

Mezinárodní význam
Změněno: 16. 1. 2019 18:07, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

Complex dynamical systems arise in many areas such as biology, biophysics, economy, or social sciences. To study them, various kinds of models are used. Such models usually employ certain parameters that either represents unknown mechanics of the real-world system or serve as a way of tuning the behaviour of the system. A popular way of modelling dynamical systems is to employ the framework of differential equations with parameters. To find an analytical solution to these equations is often intractable due to the complexity of the system, the number of parameters and their interdependencies. A different approach is a novel high-performance tool - PITHYA - for a multi-parameter synthesis of dynamical systems from specifications expressed in a formal, temporal logic, formulae. PITHYA is based on the algorithm of parallel semi-symbolic coloured model checking technique.

Návaznosti

GA15-11089S, projekt VaV
Název: Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů
GA18-00178S, projekt VaV
Název: Diskrétní bifurkační analýza reaktivních systémů
Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů
LM2015055, projekt VaV
Název: Centrum pro systémovou biologii (Akronym: C4SYS)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, The national infrastructure C4SYS - Centre for Systems Biology
MUNI/A/0854/2017, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty