Cyber-Physical Systems (TCPS)


Search Issue
enter search term and/or author name


ACM Transactions on Cyber-Physical Systems, Volume 2 Issue 4, July 2018

Cyber-Physical Specification Mismatches
Luan V. Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
Article No.: 23
DOI: 10.1145/3170500

Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and...

Distributed Scheduling of Event Analytics across Edge and Cloud
Rajrup Ghosh, Yogesh Simmhan
Article No.: 24
DOI: 10.1145/3140256

Internet of Things (IoT) domains generate large volumes of high-velocity event streams from sensors, which need to be analyzed with low latency to drive decisions. Complex Event Processing (CEP) is a Big Data technique to enable such analytics and...

Cyber-Physical System for Energy-Efficient Stadium Operation: Methodology and Experimental Validation
Mischa Schmidt, Anett Schülke, Alberto Venturi, Roman Kurpatov, Enrique Blanco Henríquez
Article No.: 25
DOI: 10.1145/3140235

The environmental impacts of medium to large-scale buildings receive substantial attention in research, industry, and media. This article studies the energy savings potential of a commercial soccer stadium during day-to-day operation. Buildings of...

OS-Aware Automotive Controller Design Using Non-Uniform Sampling
Wanli Chang, Dip Goswami, Samarjit Chakraborty, Arne Hamann
Article No.: 26
DOI: 10.1145/3121427

Automotive functionalities typically consist of a large set of periodic/cyclic tasks scheduled under a real-time operating system (OS). Many of the tasks are feedback control applications with stringent performance requirements. OSEK/VDX is a...

RSimplex: A Robust Control Architecture for Cyber And Physical Failures
Xiaofeng Wang, Naira Hovakimyan, Lui Sha
Article No.: 27
DOI: 10.1145/3121428

As the complexity of Cyber-Physical Systems (CPS) increases, it becomes increasingly challenging to ensure CPS reliability, especially in the presence of software and/or physical failures. The Simplex architecture is shown to be an efficient tool...

Section: Special Issue on Medical CPS Papers

Formal Verification of Medical CPS: A Laser Incision Case Study
André A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
Article No.: 35
DOI: 10.1145/3140237

The use of robots in operating rooms improves safety and decreases patient recovery time and surgeon fatigue, but it introduces new potential hazards that can lead to severe injury or even the loss of human life. Thus, safety has been perceived as...