ACM DL

Cyber-Physical Systems (TCPS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Cyber-Physical Systems - Special Issue on the Internet of Things: Part 1, Volume 2 Issue 2, June 2018

Section: Special Issue on the Internet of Things: Part 1

Preface to the Special Issue: Toward an Efficient and Effective Internet of Things for Cyber-Physical Systems
Wei Zhao, Tarek Abdelzaher
Article No.: 7
DOI: 10.1145/3203210

Quantifying the Utility--Privacy Tradeoff in the Internet of Things
Roy Dong, Lillian J. Ratliff, Alvaro A. Cárdenas, Henrik Ohlsson, S. Shankar Sastry
Article No.: 8
DOI: 10.1145/3185511

The Internet of Things (IoT) promises many advantages in the control and monitoring of physical systems from both efficacy and efficiency perspectives. However, in the wrong hands, the data might pose a privacy threat. In this article, we consider...

Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation, and Attack Mitigation
Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli
Article No.: 9
DOI: 10.1145/3204439

In this article, we consider the problem of attack-resilient state estimation, that is, to reliably estimate the true system states despite two classes of attacks: (i) attacks on the switching mechanisms and (ii) false data injection attacks on...

Dynamic Security Analysis of Power Systems by a Sampling-Based Algorithm
Qiang Wu, T. John Koo, Yoshihiko Susuki
Article No.: 10
DOI: 10.1145/3208093

Dynamic security analysis is an important problem of power systems on ensuring safe operation and stable power supply even when certain faults occur. No matter if such faults are caused by vulnerabilities of system components, physical attacks, or...

Time-Soundness of Time Petri Nets Modelling Time-Critical Systems
Guanjun Liu, Changjun Jiang, Mengchu Zhou
Article No.: 11
DOI: 10.1145/3185502

The correctness of a time-critical system is closely related to the time of responding and performing every event. Our motivation example, alternating bit protocol, and application example, multi-track level crossing with sensors,...

A Self-Stabilizing Publish/Subscribe Middleware for IoT Applications
Gerry Siegemund, Volker Turau
Article No.: 12
DOI: 10.1145/3185509

This article presents a middleware that provides a communication and data dissemination infrastructure suitable for the operation environment of the Internet of Things (IoT). The middleware realizes the channel-based publish/subscribe paradigm...

BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings
Alessandro A. Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh Gupta, Donatella Sciuto, Yuvraj Agarwal
Article No.: 13
DOI: 10.1145/3185500

Modern Building Management Systems (BMSs) have been designed to automate the behavior of complex buildings, but unfortunately they do not allow occupants to customize it according to their preferences, and only the facility manager is in charge of...

Long-Term Event Processing over Data Streams in Cyber-Physical Systems
Ping Wang, Meng Ma, Chao-Hsien Chu
Article No.: 14
DOI: 10.1145/3204412

Event processing is a crucial cornerstone supporting the revolution of Internet of Things (IoT) and Cyber-Physical Systems (CPS) by integrating physical-layer networking and providing intelligent computation and real-time control abilities. In...