Abstract is missing.
- Temporally Discounted Differential Privacy for Evolving Datasets on an Infinite HorizonFarhad Farokhi. 1-8 [doi]
- Quickest Detection of Advanced Persistent Threats: A Semi-Markov Game ApproachDinuka Sahabandu, Joey Allen, Shana Moothedath, Linda Bushnell, Wenke Lee, Radha Poovendran. 9-19 [doi]
- A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital TwinZhiheng Xu, Arvind Easwaran. 20-29 [doi]
- Control Behavior Integrity for Distributed Cyber-Physical SystemsSridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz. 30-40 [doi]
- Formalizing traffic rules for uncontrolled intersectionsAbolfazl Karimi, Parasara Sridhar Duggirala. 41-50 [doi]
- SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart CitiesMeiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng 0001. 51-62 [doi]
- Reputation-Based Fair Power Allocation to Plug-in Electric Vehicles in the Smart GridAbdullah Al Zishan, Moosa Moghimi Haji, Omid Ardakanian. 63-74 [doi]
- Transfer Reinforcement Learning under Unobserved Contextual InformationYan Zhang 0043, Michael M. Zavlanos. 75-86 [doi]
- Mining Environment Assumptions for Cyber-Physical System ModelsSara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic. 87-97 [doi]
- Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement LearningAbolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Majid Zamani. 98-107 [doi]
- Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement LearningQitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic. 108-118 [doi]
- Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse OximetryDaniel D. Fong, Kourosh Vali, Soheil Ghiasi. 119-128 [doi]
- Dynamic Network Slicing for the Tactile InternetKurian Polachan, Belma Turkovic, Prabhakar T. Venkata, Chandramani Singh, Fernando A. Kuipers. 129-140 [doi]
- Autonomous WiFi Fingerprinting for Indoor LocalizationShilong Dai, Liang He, Xuebo Zhang. 141-150 [doi]
- *Balaji Balasubramaniam, Hamid Bagheri, Sebastian Elbaum, Justin Bradley. 151-161 [doi]
- Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator AttacksLuyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran. 162-173 [doi]
- Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical SystemsFeiyang Cai, Xenofon D. Koutsoukos. 174-183 [doi]
- Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety GuaranteeXueli Fan, Qixin Wang, Jie Liu. 184-185 [doi]
- Acoustic Side Channel Attack Against DNA Synthesis Machines: Poster AbstractSina Faezi, Sujit Rokka Chhetri, Arnav Vaibhav Malawade, John Charles Chaput, William H. Grover, Philip Brisk, Mohammad Abdullah Al Faruque. 186-187 [doi]
- Hierarchical Temporal Memory Based Machine Learning for Real-Time, Unsupervised Anomaly Detection in Smart Grid: WiP AbstractAnomadarshi Barua, Deepan Muthirayan, Pramod P. Khargonekar, Mohammad Abdullah Al Faruque. 188-189 [doi]
- On-Line Supervisory Control for Surveillance under Partial Observation with scLTL SpecificationsAmi Sakakibara, Toshimitsu Ushio. 190-191 [doi]
- WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart GridsNitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst. 192-193 [doi]
- WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback ControlNaomi Kuze, Ami Sakakibara, Toshimitsu Ushio. 194-195 [doi]
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent SystemsFilip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray. 196-205 [doi]
- Event-Triggered Diffusion Kalman FiltersAmr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff. 206-215 [doi]
- Socially-Aware Robot Planning via Bandit Human FeedbackXusheng Luo, Yan Zhang 0043, Michael M. Zavlanos. 216-225 [doi]
- Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order AlgorithmsHan Shu, Xuan Zhang, Na Li 0002, Antonis Papachristodoulou. 226-235 [doi]
- SCRaM - State-Consistent Replication Management for Networked Control SystemsBen W. Carabelli, Frank Dürr, Kurt Rothermel. 236-246 [doi]
- SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devicesMahmoud Ammar, Bruno Crispo, Gene Tsudik. 247-258 [doi]
- Semantics-Directed Hardware Generation of Hybrid SystemsNathan Allen, Partha S. Roop. 259-268 [doi]