Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1007/978-3-030-60508-7_2 | RV |
DocType | Citations | PageRank |
Conference | 1 | 0.35 |
References | Authors | |
52 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laura Nenzi | 1 | 125 | 10.25 |
Ezio Bartocci | 2 | 733 | 57.55 |
Luca Bortolussi | 3 | 663 | 58.88 |
Michele Loreti | 4 | 812 | 58.60 |
Ennio Visconti | 5 | 1 | 0.35 |