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...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 14, Issue 4; no. Modal and temporal logics
Main Authors:	Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.01.2018
Subjects:	computer science - logic in computer science f.4.1
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!