Toward Formal Methods for Smart Cities

How can the advantages of formal methods be brought to emerging smart cities? We discuss several core challenges and our recent efforts as the first step toward developing novel formal methods to ensure safety and performance in smart cities.

[1]  Lu Feng,et al.  CityResolver: A Decision Support System for Conflict Resolution in Smart Cities , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

[2]  John A. Stankovic,et al.  Detection of Runtime Conflicts among Services in Smart Cities , 2016, 2016 IEEE International Conference on Smart Computing (SMARTCOMP).

[3]  Georgios K. Ouzounis,et al.  Smart cities of the future , 2012, The European Physical Journal Special Topics.

[4]  John A. Stankovic,et al.  CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities , 2017, 2017 IEEE/ACM Second International Conference on Internet-of-Things Design and Implementation (IoTDI).

[5]  Yarin Gal,et al.  Uncertainty in Deep Learning , 2016 .

[6]  Abdeltawab M. Hendawi,et al.  Data Sets, Modeling, and Decision Making in Smart Cities , 2019, ACM Trans. Cyber Phys. Syst..

[7]  Ezio Bartocci,et al.  Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems , 2020, ACM Trans. Embed. Comput. Syst..

[8]  John A. Stankovic,et al.  STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks , 2020, NeurIPS.

[9]  J. Stankovic,et al.  A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities , 2021, IEEE Internet of Things Journal.

[10]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.