Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Temporal Logic (SSTL), a modal logic that can be used to...

Celý popis

Podrobná bibliografia

Vydané v:	Logical methods in computer science Ročník 14, Issue 4; číslo Modal and temporal logics
Hlavní autori:	Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Logical Methods in Computer Science e.V 01.01.2018
Predmet:	computer science - logic in computer science f.4.1
ISSN:	1860-5974, 1860-5974
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!