R 2018

PITHYA

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

Basic information

Original name

PITHYA

Name in Czech

PITHYA

Authors

DEMKO, Martin (703 Slovakia, belonging to the institution), Samuel PASTVA (703 Slovakia, belonging to the institution), David ŠAFRÁNEK (203 Czech Republic, belonging to the institution), Nikola BENEŠ (203 Czech Republic, belonging to the institution) and Luboš BRIM (203 Czech Republic, belonging to the institution)

Edition

2018

Other information

Language

English

Type of outcome

Software

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

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

References:

RIV identification code

RIV/00216224:14330/18:00101130

Organization unit

Faculty of Informatics

Keywords in English

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

Technical parameters

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.

Tags

International impact
Změněno: 16/1/2019 18:07, prof. RNDr. Luboš Brim, CSc.

Abstract

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.

Links

GA15-11089S, research and development project
Name: Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Investor: Czech Science Foundation
GA18-00178S, research and development project
Name: Diskrétní bifurkační analýza reaktivních systémů
Investor: Czech Science Foundation
LM2015055, research and development project
Name: Centrum pro systémovou biologii (Acronym: C4SYS)
Investor: Ministry of Education, Youth and Sports of the CR
MUNI/A/0854/2017, interní kód MU
Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
Investor: Masaryk University, Category A