Table of Contents

• Trust Me, I'm Lying: Enhancing Machine-to-Machine TrustCameron Hickert, Ali Tekeoglu, Ryan Watson, Joseph Maurio, Daniel Syed, Jeffrey Chavis, Gill Brown, Tamim Sookoor. 1-2 [doi]
• Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal ControllerRahul Bhadani, Jonathan Sprinkle, K. Larry Head. 1-2 [doi]
• Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at IntersectionsAbolfazl Karimi, Parasara Sridhar Duggirala. 1-11 [doi]
• Blind Spots of Objective Measures: Exploiting Imperceivable Errors for Immersive Tactile InternetH. J. C. Kroep, Vineet Gokhale, R. Venkatesha Prasad. 1-10 [doi]
• Confidence Composition for Monitors of Verification AssumptionsIvan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee. 1-12 [doi]
• Coverage-Guided Fuzz Testing for Cyber-Physical SystemsSanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak. 24-33 [doi]
• Querying Labelled Data with Scenario Programs for Sim-to-Real ValidationEdward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. 34-45 [doi]
• Infrastructure-free, Deep Learned Urban Noise Monitoring at ~100mWJihoon Yun, Sangeeta Srivastava, Dhrubojyoti Roy, Nathan Stohs, Charlie Mydlarz, Mahin Salman, Bea Steers, Juan Pablo Bello, Anish Arora. 56-67 [doi]
• HydraFusion: Context-Aware Selective Sensor Fusion for Robust and Efficient Autonomous Vehicle PerceptionArnav Vaibhav Malawade, Trier Mortlock, Mohammad Abdullah Al Faruque. 68-79 [doi]
• Offline Policy Evaluation for Learning-based Deep Brain Stimulation ControllersQitong Gao, Stephen L. Schmidt, Karthik Kamaravelu, Dennis A. Turner, Warren M. Grill, Miroslav Pajic. 80-91 [doi]
• Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety AnalysisMatthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee. 92-103 [doi]
• Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software RestartLuyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran. 104-115 [doi]
• Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal InferenceXin Qin, Yuan Xian, Aditya Zutshi 0001, Chuchu Fan, Jyotirmoy V. Deshmukh. 116-126 [doi]
• Safety from Fast, In-the-Loop Reachability with Application to UAVsChristian Llanes, Matthew Abate, Samuel Coogan 0001. 127-136 [doi]
• Physics-Aware Safety-Assured Design of Hierarchical Neural Network based PlannerXiangguo Liu, Chao Huang 0015, Yixuan Wang, Bowen Zheng, Qi Zhu 0002. 137-146 [doi]
• An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit ServicesMichael Wilbur, Salah Uddin Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey. 147-158 [doi]
• Toward Physics-Guided Safe Deep Reinforcement Learning for Green Data Center Cooling ControlRuihang Wang, Xinyi Zhang, Xin Zhou 0003, Yonggang Wen 0001, Rui Tan. 159-169 [doi]
• Multi-Objective Controller Synthesis with Uncertain Human PreferencesShenghui Chen, Kayla Boggess, David Parker 0001, Lu Feng 0001. 170-180 [doi]
• Safe HVAC Control via Batch Reinforcement LearningHsin-Yu Liu, Bharathan Balaji, Sicun Gao, Rajesh K. Gupta 0001, Dezhi Hong. 181-192 [doi]
• Exploring the Performance of Deep Neural Networks on Embedded Many-Core ProcessorsTakuma Yabe, Takuya Azumi. 193-202 [doi]
• VaRSM: Versatile Autonomous Racquet Sports MachineFan Yang, Zhiwei Shi, Sixian Ye, Jiazhong Qian, Wenjie Wang, Dong Xuan. 203-214 [doi]
• Anomaly based Incident Detection in Large Scale Smart Transportation SystemsMohammad Jaminur Islam, Jose Paolo Talusan, Shameek Bhattacharjee, Francis Tiausas, Sayyed Mohsen Vazirizade, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das 0001. 215-224 [doi]
• Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical SystemsYahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee. 225-235 [doi]
• A Dynamic Obfuscation Framework for Security and UtilityAndrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay. 236-246 [doi]
• T-SYS: Timed-Based System Security for Real-Time KernelsBrayden McDonald, Frank Mueller 0001. 247-258 [doi]
• Learning-Based Vulnerability Analysis of Cyber-Physical SystemsAmir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang 0044, Miroslav Pajic. 259-269 [doi]
• Protecting Smart Homes from Unintended Application ActionsAqsa Kashaf, Vyas Sekar, Yuvraj Agarwal. 270-281 [doi]
• IEC 61131-3 Software Testing - Automatic test generation for native applicationsFlorian Hofer 0001. 282-283 [doi]
• Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial DronesAhmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer. 284-285 [doi]
• Runtime Assurance for Intelligent Cyber-Physical SystemsVlada Dementyeva, Cameron Hickert, Nicolas R. Sarfaraz, Sebastián A. Zanlongo, Tamim Sookoor. 288-289 [doi]
• AlphaSOC: Reinforcement Learning-based Cybersecurity Automation for Cyber-Physical SystemsRyan Silva, Cameron Hickert, Nicolas R. Sarfaraz, Jeff Brush, Josh Silbermann, Tamim Sookoor. 290-291 [doi]
• Automated Vehicle Multi-Object Tracking at Scale with CANMatthew Nice, Derek Gloudemans, Dan Work. 292-293 [doi]
• RIS-IoT: Towards Resilient, Interoperable, Scalable IoTBharath Sudharsan, Panchakarla S. Rahul, Piyush Yadav, Suneet Kumar Gupta, Vimal Kumar, Duc Duy Nguyen, Muhammad Intizar Ali, John G. Breslin. 296-297 [doi]
• Multi-fidelity Bayesian Optimization for Co-design of Resilient Cyber-Physical SystemsSoumya Vasisht, Aowabin Rahman, Thiagarajan Ramachandran, Arnab Bhattacharya 0008, Veronica Adetola. 298-299 [doi]
• Making Vibration-based On-body Interaction RobustWenqiang Chen, Ziqi Wang, Pengrui Quan, Zhencan Peng, Shupei Lin, Mani B. Srivastava, John A. Stankovic. 300-301 [doi]
• CPS Testing using Stateless RRTAbhinav Chawla, Stanley Bak. 302-303 [doi]
• Adaptive Cyber Security for Critical InfrastructureEmmanouil Samanis, Joseph Gardiner, Awais Rashid. 304-305 [doi]
• Evaluating Sequential Reasoning about Hidden Objects in TrafficTruls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova, Martin Törngren. 306-307 [doi]
• AlgebraicSystems: Compositional Verification for Autonomous System DesignGeorgios Bakirtzis, Ufuk Topcu. 308-309 [doi]
• A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical SystemsMichele Lora, Pierluigi Nuzzo. 310-311 [doi]
• Semantic Tagging of CAN and Dash Camera Data from Naturalistic DrivesKate Sanborn, Alex Richardson, Jonathan Sprinkle. 312-313 [doi]
• Robust and Energy Efficient Malware Detection for Robotic Cyber-Physical SystemsUpinder Kaur, Z. Berkay Celik, Richard M. Voyles. 314-315 [doi]
• Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart GridNilotpal Chakraborty, Roshni Chakraborty, Ezhil Kalaimannan. 316-317 [doi]
• Making ROS TF TransactionalYushi Ogiwara, Ayanori Yorozu, Akihisa Ohya, Hideyuki Kawashima. 318-319 [doi]
• Decentralized Multi-agent Coordination under MITL Tasks and Communication ConstraintsWei Wang, Georg Friedrich Schuppe, Jana Tumova. 320-321 [doi]
• Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real ValidationEdward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. 322-323 [doi]