PITHYA

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F18%3A00101130" target="_blank" >RIV/00216224:14330/18:00101130 - isvavai.cz</a>

Výsledek na webu

<a href="https://github.com/sybila/pithya-gui" target="_blank" >https://github.com/sybila/pithya-gui</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

PITHYA

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

PITHYA

Popis výsledku anglicky

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.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

PITHYA

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.

Ekonomické parametry

Zdrojový kód vydaný pod licenciou GPL-3.0

IČO vlastníka výsledku

00216224

Název vlastníka

FI MU