default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICCPS 2020: Sydney, Australia
- 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. IEEE 2020, ISBN 978-1-7281-5501-2
- Farhad Farokhi
:
Temporally Discounted Differential Privacy for Evolving Datasets on an Infinite Horizon. 1-8 - Dinuka Sahabandu, Joey Allen, Shana Moothedath, Linda Bushnell, Wenke Lee, Radha Poovendran:
Quickest Detection of Advanced Persistent Threats: A Semi-Markov Game Approach. 9-19 - Zhiheng Xu, Arvind Easwaran:
A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin. 20-29 - Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz:
Control Behavior Integrity for Distributed Cyber-Physical Systems. 30-40 - Abolfazl Karimi, Parasara Sridhar Duggirala:
Formalizing traffic rules for uncontrolled intersections. 41-50 - Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng:
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. 51-62 - Abdullah Al Zishan, Moosa Moghimi Haji, Omid Ardakanian:
Reputation-Based Fair Power Allocation to Plug-in Electric Vehicles in the Smart Grid. 63-74 - Yan Zhang, Michael M. Zavlanos:
Transfer Reinforcement Learning under Unobserved Contextual Information. 75-86 - Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic:
Mining Environment Assumptions for Cyber-Physical System Models. 87-97 - Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. 98-107 - Qitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic:
Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. 108-118 - Daniel D. Fong, Kourosh Vali, Soheil Ghiasi:
Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry. 119-128 - Kurian Polachan, Belma Turkovic, Prabhakar T. Venkata, Chandramani Singh, Fernando A. Kuipers:
Dynamic Network Slicing for the Tactile Internet. 129-140 - Shilong Dai, Liang He, Xuebo Zhang:
Autonomous WiFi Fingerprinting for Indoor Localization. 141-150 - Balaji Balasubramaniam, Hamid Bagheri, Sebastian G. Elbaum, Justin M. Bradley:
Investigating Controller Evolution and Divergence through Mining and Mutation*. 151-161 - Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. 162-173 - Feiyang Cai, Xenofon D. Koutsoukos:
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems. 174-183 - Xueli Fan, Qixin Wang, Jie Liu:
Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee. 184-185 - Sina Faezi, Sujit Rokka Chhetri, Arnav Vaibhav Malawade, John Charles Chaput, William H. Grover, Philip Brisk, Mohammad Abdullah Al Faruque:
Acoustic Side Channel Attack Against DNA Synthesis Machines: Poster Abstract. 186-187 - Anomadarshi Barua, Deepan Muthirayan, Pramod P. Khargonekar, Mohammad Abdullah Al Faruque:
Hierarchical Temporal Memory Based Machine Learning for Real-Time, Unsupervised Anomaly Detection in Smart Grid: WiP Abstract. 188-189 - Ami Sakakibara, Toshimitsu Ushio:
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. 190-191 - Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst:
WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids. 192-193 - Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio:
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. 194-195 - Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. 196-205 - Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff:
Event-Triggered Diffusion Kalman Filters. 206-215 - Xusheng Luo, Yan Zhang, Michael M. Zavlanos:
Socially-Aware Robot Planning via Bandit Human Feedback. 216-225 - Han Shu, Xuan Zhang, Na Li, Antonis Papachristodoulou:
Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms. 226-235 - Ben W. Carabelli, Frank Dürr, Kurt Rothermel:
SCRaM - State-Consistent Replication Management for Networked Control Systems. 236-246 - Mahmoud Ammar, Bruno Crispo, Gene Tsudik:
SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices. 247-258 - Nathan Allen, Partha S. Roop:
Semantics-Directed Hardware Generation of Hybrid Systems. 259-268
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
