Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents
Paper in proceeding, 2019
spatio-temporal logic semantics
data streaming
Author
Luca Bortolussi
University of Trieste
Vincenzo Massimiliano Gulisano
Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)
Eric Medvet
University of Trieste
Dimitrios Palyvos-Giannas
Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)
M4IoT 2019 - Proceedings of the 2019 Workshop on Middleware and Applications for the Internet of Things, Part of Middleware 2019 Conference
7-12
978-1-4503-7028-8 (ISBN)
Davis, USA,
INDEED
Chalmers, 2016-01-01 -- 2020-12-31.
Future factories in the Cloud (FiC)
Swedish Foundation for Strategic Research (SSF) (GMT14-0032), 2016-01-01 -- 2020-12-31.
HARE: Self-deploying and Adaptive Data Streaming Analytics in Fog Architectures
Swedish Research Council (VR) (2016-03800), 2017-01-01 -- 2020-12-31.
STAMINA - GE
Göteborg Energi, Foundation for Research and Developmen, 2017-01-01 -- 2021-12-31.
Areas of Advance
Information and Communication Technology
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1145/3366610.3368097