Other formats:
BibTeX
LaTeX
RIS
@misc{1432079,
author = {Demko, Martin and Pastva, Samuel and Šafránek, David and Beneš, Nikola and Brim, Luboš},
keywords = {Parameter synthesis; Dynamical systems; Model checking; Temporal logic; ODE; Systems biology},
language = {eng},
institution = {FI MU},
organization = {FI MU},
title = {PITHYA},
url = {http://pithya.ics.muni.cz},
year = {2018}
}
TY -
ID - 1432079
AU - Demko, Martin - Pastva, Samuel - Šafránek, David - Beneš, Nikola - Brim, Luboš
PY - 2018
TI - PITHYA
KW - Parameter synthesis
KW - Dynamical systems
KW - Model checking
KW - Temporal logic
KW - ODE
KW - Systems biology
UR - http://pithya.ics.muni.cz
L2 - https://github.com/sybila/pithya-gui
N2 - 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.
ER -
DEMKO, Martin, Samuel PASTVA, David ŠAFRÁNEK, Nikola BENEŠ and Luboš BRIM. \textit{PITHYA}. 2018.
|
