The result's identifiers
Result code in 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>
Result on the web
<a href="https://github.com/sybila/pithya-gui" target="_blank" >https://github.com/sybila/pithya-gui</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
PITHYA
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
PITHYA
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.
Economical parameters
Zdrojový kód vydaný pod licenciou GPL-3.0
Owner IČO
00216224
Owner name
FI MU