SaSTL extends Signal Temporal Logic with spatial aggregation and counting operators, and its monitor checks such smart-city requirements over thousands of sensors in parallel.
Data sets, modeling, and decision making in smart cities: A survey,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CY 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
SaSTL extends Signal Temporal Logic with spatial aggregation and counting operators, and its monitor checks such smart-city requirements over thousands of sensors in parallel.