Proceedings of the 18th Conference on Embedded Networked Sensor Systems 2020
DOI: 10.1145/3384419.3430445
|View full text |Cite
|
Sign up to set email alerts
|

Predictive monitoring with uncertainty for deep learning enabled smart cities

Abstract: We present CityPM, a novel predictive monitoring system for smart cities, that continuously generates sequential predictions of future city states using Bayesian deep learning and monitors if the generated predictions satisfy city safety and performance requirements. We formally define a flowpipe signal to characterize prediction outputs of Bayesian deep learning models, and develop a new logic, named Signal Temporal Logic with Uncertainty (STL-U), for reasoning about the correctness of flowpipe signals. CityP… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 20 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?