CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities

10/31/2020
by   Meiyi Ma, et al.
0

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. CityPM can monitor city requirements specified in STL-U such as "with 90 predicated air quality index in the next 10 hours should always be below 100". We also develop novel STL-U logic-based criteria to measure uncertainty for Bayesian deep learning. CityPM uses these logic-calibrated uncertainty measurements to select and tune the uncertainty estimation schema in deep learning models. We evaluate CityPM on three large-scale smart city case studies, including two real-world city datasets and one simulated city experiment. The results show that CityPM significantly improves the simulated city's safety and performance, and the use of STL-U logic-based criteria leads to improved uncertainty calibration in various Bayesian deep learning models.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities

There is an increasing need for the runtime monitoring of real time safe...
research
08/06/2019

Runtime Monitoring of Safety and Performance Requirements in Smart Cities

With the increasing number of smart services implemented in smart cities...
research
02/22/2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Smart cities operate on computational predictive frameworks that collect...
research
06/07/2022

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities

An increasing number of monitoring systems have been developed in smart ...
research
02/19/2023

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

An increasing number of monitoring systems have been developed in smart ...
research
10/12/2021

Towards formalization and monitoring of microscopic traffic parameters using temporal logic

Smart cities are revolutionizing the transportation infrastructure by th...
research
08/10/2023

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

In various service-oriented applications such as distributed autonomous ...

Please sign up or login with your details

Forgot password? Click here to reset