Search Results - "2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)"

Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems by Cai, Feiyang, Koutsoukos, Xenofon

“…Cyber-physical systems (CPS) greatly benefit by using machine learning components that can handle the uncertainty and variability of the real-world. Typical…”
Get full text

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning by Lavaei, Abolfazl, Somenzi, Fabio, Soudjani, Sadegh, Trivedi, Ashutosh, Zamani, Majid

“…A novel reinforcement learning scheme to synthesize policies for continuous-space Markov decision processes (MDPs) is proposed. This scheme enables one to…”
Get full text

SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices by Ammar, Mahmoud, Crispo, Bruno, Tsudik, Gene

“…Remote Attestation (RA) is a security service that detects malware presence on remote IoT devices by verifying their software integrity by a trusted party…”
Get full text

Formalizing traffic rules for uncontrolled intersections by Karimi, Abolfazl, Duggirala, Parasara Sridhar

“…One of the challenges in designing autonomous vehicles (AV's) is driving around humans (i.e. drivers, cyclists, pedestrians, etc.) In particular, the AV's and…”
Get full text

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities by Ma, Meiyi, Bartocci, Ezio, Lifland, Eli, Stankovic, John, Feng, Lu

“…We present SaSTL-a novel Spatial Aggregation Signal Temporal Logic-for the efficient runtime monitoring of safety and performance requirements in smart cities…”
Get full text

Control Behavior Integrity for Distributed Cyber-Physical Systems by Adepu, Sridhar, Brasser, Ferdinand, Garcia, Luis, Rodler, Michael, Davi, Lucas, Sadeghi, Ahmad-Reza, Zonouz, Saman

“…Cyber-physical control systems, such as industrial control systems (ICS), are increasingly targeted by cyberattacks. Such attacks can potentially cause…”
Get full text

Hierarchical Temporal Memory Based Machine Learning for Real-Time, Unsupervised Anomaly Detection in Smart Grid: WiP Abstract by Barua, Anomadarshi, Muthirayan, Deepan, Khargonekar, Pramod P., Al Faruque, Mohammad Abdullah

“…Micro-phasor measurement unit (μPMU) sensors in smart electric grids provide measurements of voltage and current at microsecond timescale across the network…”
Get full text

Socially-Aware Robot Planning via Bandit Human Feedback by Luo, Xusheng, Zhang, Yan, Zavlanos, Michael M.

“…In this paper, we consider the problem of designing collision-free, dynamically feasible, and socially-aware trajectories for robots operating in environments…”
Get full text

Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning by Gao, Qitong, Naumann, Michael, Jovanov, Ilija, Lesi, Vuk, Kamaravelu, Karthik, Grill, Warren M., Pajic, Miroslav

“…Parkinson's disease (PD) currently Influences around one million people in the US. Deep brain stimulation (DBS) is a surgical treatment for the motor symptoms…”
Get full text

Dynamic Network Slicing for the Tactile Internet by Polachan, Kurian, Turkovic, Belma, Prabhakar, T.V., Singh, Chandramani, Kuipers, Fernando A.

“…Tactile internet" refers to a network that can support real-time interactions between human operators and remote cyber-physical systems as if they were near to…”
Get full text

Autonomous WiFi Fingerprinting for Indoor Localization by Dai, Shilong, He, Liang, Zhang, Xuebo

“…WiFi-based indoor localization has received extensive attentions from both academia and industry. However, the overhead of constructing and maintaining the…”
Get full text

Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry by Fong, Daniel D., Vali, Kourosh, Ghiasi, Soheil

“…Transabdominal fetal pulse oximetry (TFO) is a noninvasive technique that can provide physicians with a convenient measure of fetal oxygen saturation. This is…”
Get full text

Foreword to the ICCPS 2020 Proceedings: Message from the Chairs

“…We are honored to introduce the program of the 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). ACM/IEEE ICCPS is the premier…”
Get full text

Transfer Reinforcement Learning under Unobserved Contextual Information by Zhang, Yan, Zavlanos, Michael M.

“…In this paper, we study a transfer reinforcement learning problem where the state transitions and rewards are affected by the environmental context…”
Get full text

Temporally Discounted Differential Privacy for Evolving Datasets on an Infinite Horizon by Farokhi, Farhad

“…We define discounted differential privacy, as an alternative to (conventional) differential privacy, to investigate privacy of evolving datasets, containing…”
Get full text

Event-Triggered Diffusion Kalman Filters by Alanwar, Amr, Said, Hazem, Mehta, Ankur, Althoff, Matthias

“…Distributed state estimation strongly depends on collaborative signal processing, which often requires excessive communication and computation to be executed…”
Get full text

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks by Niu, Luyao, Ramasubramanian, Bhaskar, Clark, Andrew, Bushnell, Linda, Poovendran, Radha

“…This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the…”
Get full text

Mining Environment Assumptions for Cyber-Physical System Models by Mohammadinejad, Sara, Deshmukh, Jyotirmoy V., Puranic, Aniruddh G.

“…Many complex cyber-physical systems can be modeled as heterogeneous components interacting with each other in real-time. We assume that the correctness of each…”
Get full text

A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin by Xu, Zhiheng, Easwaran, Arvind

“…Cyber-Physical Systems (CPSs) play an increasingly significant role in many critical applications. These valuable applications attract various sophisticated…”
Get full text

Investigating Controller Evolution and Divergence through Mining and Mutation by Balasubramaniam, Balaji, Bagheri, Hamid, Elbaum, Sebastian, Bradley, Justin

“…Successful cyber-physical system controllers evolve as they are refined, extended, and adapted to new systems and contexts. This evolution occurs in the…”
Get full text