Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti, E. Visconti:
"Monitoring Spatio-Temporal Properties (Invited Tutorial)";
Vortrag: Proc. of RV 2020: the 20th International Conference on Runtime Verification,
Los Angeles, CA (Virtual);
06.10.2020
- 09.10.2020; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification",
Springer,
12399
(2020),
ISBN: 978-3-030-60507-0;
S. 21
- 46.
Kurzfassung englisch:
From the formation of traffic jams to the development of troublesome, whirlpool-like spirals in the heart´s electrical activity, spatio-temporal patterns are key in understanding how complex behaviors can emerge in a network of locally interacting dynamical systems. One of the most important and intriguing questions is how to specify spatio-temporal behaviors in a formal and human-understandable specification language and how to monitor their onset efficiently. In this tutorial, we present the spatio-temporal logic STREL and its expressivity to specify and monitor spatio-temporal behaviors over complex dynamical and spatially distributed systems. We demonstrate our formalism´s applicability to different scenarios considering static or dynamic spatial configurations and systems with deterministic or stochastic dynamics.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-60508-7
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.