Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F17%3A00094898" target="_blank" >RIV/00216224:14330/17:00094898 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-63387-9_29" target="_blank" >http://dx.doi.org/10.1007/978-3-319-63387-9_29</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-63387-9_29" target="_blank" >10.1007/978-3-319-63387-9_29</a>
Alternative languages
Result language
angličtina
Original language name
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
Original language description
We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems from specifications expressed in a hybrid branching-time temporal logic. The tool is based on the algorithm of parallel semi-symbolic coloured model checking that extends standard model checking methods to cope with parametrised Kripke structures. The tool implements state-of-the-art techniques developed in our previous research and is primarily intended to be used for the analysis of dynamical systems with uncertain parameters that frequently arise in computational systems biology. However, it can be employed for any dynamical system where the non-linear equations can be sufficiently well approximated by piecewise multi-affine equations.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
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)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2017
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
Article name in the collection
Computer Aided Verification. CAV 2017
ISBN
9783319633862
ISSN
0302-9743
e-ISSN
—
Number of pages
8
Pages from-to
591-598
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Heidelberg, Germany
Event date
Jul 14, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—