WiP Abstracts, Demos, and Posters

[6:00am] – CPS Testing using Stateless RRT, Abhinav Chawla and Stanley Bak [Poster]

[6:04am] – Scheduling Dynamic Software Updates in Safety-critical Embedded Systems – the Case of Aerial Drones, Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt and Philipp Rümmer [Poster]

[6:08am] – Runtime Assurance for Intelligent Cyber-Physical Systems, Vlada Dementyeva, Cameron Hickert, Nicolas Sarfaraz, Tamim Sookoor and Sebastian Zanlongo [Poster]

[6:12am] – RIS-IoT: Resilient, Interoperable, Scalable IoT, Bharath Sudharsan [Poster]

[6:16am] – Multi-fidelity Bayesian Optimization for Co-design of Resilient Cyber-Physical Systems, Soumya Vasisht, Aowabin Rahman, Thiagarajan Ramachandran, Arnab Bhattacharya and Veronica Adetola [Poster]

[6:20am] – AlgebraicSystems: Compositional Verification for Autonomous System Design, Georgios Bakirtzis [Poster]

[6:24am] – AlphaSOC: Reinforcement Learning-based Cybersecurity Automation for Cyber-Physical Systems, Ryan Silva, Tamim Sookoor, Cameron Hickert, Nicolas Sarfaraz, Jeff Brush and Joshua Silbermann [Poster]

[6:28am] – Robust and Energy Efficient Malware Detection for Robotic Cyber-Physical Systems, Upinder Kaur, Z. Berkay Celik and Richard Voyles [Poster]

[6:32am] – Trust Me, I’m Lying: Enhancing Machine-to-Machine Trust, Cameron Hickert, Ali Tekeoglu, Joseph Maurio, Daniel Syed, Jeffrey Chavis, Ryan Watson, Gill Brown and Tamim Sookoor [Poster]

[6:36am] – Adaptive Cyber Security for Critical Infrastructure, Emmanouil Samanis, Joseph Gardiner and Awais Rashid [Poster]

[6:40am] – Evaluating Sequential Reasoning about Hidden Objects in Traffic, Truls Nyberg, José Manuel Gaspar Sánchez, Christian Pek, Jana Tumova and Martin Törngren [Poster]

[6:44am] – Model-based Design of NEMA-Compliant Dual-ring Barrier Traffic Signal Controller, Rahul Bhadani, Jonathan Sprinkle and Larry Head [Poster]

[6:48am] – Automated Vehicle Multi-Object Tracking at Scale with CAN, Matthew Nice, Derek Gloudemans and Dan Work [Poster]

[6:52am] – Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives, Kate Sanborn, Alex Richardson and Jonathan Sprinkle [Poster]

[6:56am] – End of Session

[7:15am] – Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid, Nilotpal Chakraborty, Roshni Chakraborty and Ezhil Kalaimannan [Poster]

[7:19am] – Making ROS TF Transactional, Yushi Ogiwara, Ayanori Yorozu, Akihisa Ohya and Hideyuki Kawashima [Poster]

[7:23am] – Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints, Wei Wang, Georg Friedrich Schuppe and Jana Tumova [Poster]

[7:27am] – Querying Labelled Data with Scenario Programs for Sim-to-Real Validation, Edward Kim [Demo]

[7:34am] – Making Vibration-based On-body Interaction Robust, Wenqiang Chen, Ziqi Wang, Pengrui Quan, Zhencan Peng, Shupei Lin, Mani Srivastava and John Stankovic [Demo]

[7:41am] – A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems, Michele Lora and Pierluigi Nuzzo [Demo]

[7:48am] – IEC 61131-3 Software Testing – Automatic test generation for native applications, Florian Hofer [Demo]

[7:55am] – Concluding Remarks and Discussions

[8:15am] – End of session

ICCPS 2022 seeks high-quality technical abstracts, demos, and posters describing work-in-progress in the area of cyber-physical systems (CPS), including preliminary work on theory, platform design and implementation, verification and validation, empirical case studies, and other work that has the potential to advance the state of the art in CPS. Authors of each accepted abstract will give a brief presentation at the WiP session, and may also give a demo and/or have a poster afterward.

ICCPS 2022 work-in-progress abstracts, demos, and posters should focus on the same areas as the main conference. Please refer to the main conference’s CFP link (https://iccps.acm.org/2022/call-for-paper/) for details. Both theory and applications related works are encouraged.

• Mahathi Anand, LMU Munich
• Georgios Bakirtzis, University of Texas at Austin
• Wenqiang (Winston) Chen, University of Virginia
• Luis Antonio Garcia, University of Southern California
• Pushpak Jagtap, IISc Bangalore
• Saurabh Jha, IBM Research 
• Abolfazl Lavaei, ETH
• Kaushik Mallik, MPI-SWS
• Hussein Saibai, University of Illinois at Urbana-Champaign
• Vignesh Sivaramakrishnan, University of New Mexico
• Ankur Sarker, University of California, Los Angeles

In addition to giving a brief presentation of the work, each accepted abstract will have the option of giving a demo or having a poster (or neither or both). The poster and demo session will provide a forum for researchers to showcase ongoing work and obtain feedback from the CPS community, in addition to the discussions at the WiP presentation session.

Authors that wish to give a demo should clearly describe in their abstract what will be demonstrated and how the contributions will be illustrated interactively. If a demonstration requires wireless connectivity or other special arrangements (in addition to a table and power which will be provided to all demos), please describe them clearly in the abstract as well. Authors that wish to have a poster should also mention that in the abstract, along with a brief summary of what the poster will show.