Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1561203, author = {Šafránek, David and Troják, Matej and Brůža, Vojtěch and Vejpustek, Tomáš and Papoušek, Jan and Demko, Martin and Pastva, Samuel and Pejznoch, Aleš and Brim, Luboš}, address = {Neuveden}, booktitle = {Computational Methods in Systems Biology (CMSB 2019)}, doi = {http://dx.doi.org/10.1007/978-3-030-31304-3_26}, edition = {LNBI 11773}, editor = {Bortolussi L., Sanguinetti G.}, keywords = {systems biology; robustness analysis; STL}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Neuveden}, isbn = {978-3-030-31303-6}, pages = {356-359}, publisher = {Springer}, title = {Barbaric Robustness Monitoring Revisited for STL* in Parasim}, year = {2019} }
TY - JOUR ID - 1561203 AU - Šafránek, David - Troják, Matej - Brůža, Vojtěch - Vejpustek, Tomáš - Papoušek, Jan - Demko, Martin - Pastva, Samuel - Pejznoch, Aleš - Brim, Luboš PY - 2019 TI - Barbaric Robustness Monitoring Revisited for STL* in Parasim PB - Springer CY - Neuveden SN - 9783030313036 KW - systems biology KW - robustness analysis KW - STL N2 - In our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, nontrivial oscillatory behaviour such as damped oscillations, etc.). In this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models. ER -
ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH a Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G. \textit{Computational Methods in Systems Biology (CMSB 2019)}. LNBI 11773. Neuveden: Springer, 2019, s.~356-359. ISBN~978-3-030-31303-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31304-3\_{}26.
|