enter search term and/or author name
Preface to the Special Issue: Toward an Efficient and Effective Internet of Things for Cyber-Physical Systems
Wei Zhao, Tarek Abdelzaher
Article No.: 7
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
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
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
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
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
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
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...