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 ICCPS 2016, Volume 2 Issue 1, February 2018

Section: Special Issue on ICCPS 2016

Introduction to the Selected Papers from ICCPS 2016
Eduardo Tovar, Sonia Martinez
Article No.: 1e
DOI: 10.1145/3179997

Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo, Paolo Pazzaglia
Article No.: 1
DOI: 10.1145/3127022

Engine control applications include functions that need to be executed at specific rotation angles of the crankshaft. The tasks performing these functions are activated at variable rates and are programmed to be adaptive with respect to the...

Hybrid Optimal Control under Mode Switching Constraints with Applications to Pesticide Scheduling
Usman Ali, Magnus Egerstedt
Article No.: 2
DOI: 10.1145/3047411

This paper concerns optimal mode-scheduling in autonomous switched-mode hybrid dynamical systems, where the objective is to minimize a cost-performance functional defined on the state trajectory as a function of the schedule of modes. The...

Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems
Sujit Rokka Chhetri, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Article No.: 3
DOI: 10.1145/3078622

In cyber-physical systems, due to the tight integration of the computational, communication, and physical components, most of the information in the cyber-domain manifests in terms of physical actions (such as motion, temperature change, etc.)....

Data-Driven Model Predictive Control with Regression Trees—An Application to Building Energy Management
Achin Jain, Francesco Smarra, Madhur Behl, Rahul Mangharam
Article No.: 4
DOI: 10.1145/3127023

Model Predictive Control (MPC) plays an important role in optimizing operations of complex cyber-physical systems because of its ability to forecast system’s behavior and act under system level constraints. However, MPC requires reasonably...

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, JOÃo P. Hespanha, Paulo Tabuada
Article No.: 5
DOI: 10.1145/3078621

We introduce a scalable observer architecture, which can efficiently estimate the states of a discrete-time linear-time-invariant system whose sensors are manipulated by an attacker, and is robust to measurement noise. Given an upper bound on the...

On Learning How Players Learn: Estimation of Learning Dynamics in the Routing Game
Walid Krichene, Mohamed Chedhli Bourguiba, Kiet Tlam, Alexandre Bayen
Article No.: 6
DOI: 10.1145/3078620

The routing game models congestion in transportation networks, communication networks, and other cyber-physical systems in which agents compete for shared resources. We consider an online learning model of player dynamics: at each iteration, every...