DESTION 2025 Workshop Program
Tuesday, May 6, 2025
All times are Irvine's local
| PDT | Title |
|---|---|
| 7:30am - 9:00am | Breakfast and Registeration - Location: Pacific Room |
| Session 1: AI/ML for CPS | |
| 9:00am - 9:05am | Welcome Remarks Prof. Himanshu Neema [Vanderbilt University, USA, Chair, DESTION 2025] |
| 9:05am - 9:50am | Invited Talk 1: Bringing AI Up to Speed – Designing for Pushing the Limits Prof. Madhur Behl [Associate Professor, University of Virginia] |
| 9:50am - 10:10am | Simulation vs. Hallucination: Assessing Vision-Language Model Question Answering Capabilities in Engineering Simulations Authors: Jessica Ezemba, Christopher McComb and Conrad Tucker Presenter: Jessica Ezemba [Carnegie Mellon University] |
| 10:10am - 10:30am | Empirical Assessment of Graph Neural Network Convolution Operators for AC-OPF Learning Authors: Sabastian Abelezele, Woong Je Sung and Arun Ramamurthy Presenter: Sabastian Abelezele [Georgia Institute of Technology] |
| 10:30am – 11:00am | Coffee Break |
| Session 2: CPS Resilience | |
| 11:00am - 11:30am | Invited Talk 2: Signal Temporal Logic-based Motion planning for Multi-Robot Systems with Complex Objectives Prof. Yash Vardhan Pant [Associate Professor, University of Waterloo] |
| 11:30am - 11:50am | Finding Unknown Unknowns using Cyber-Physical System Simulators Authors: Semaan Wehbe and Stanley Bak Presenter: Semaan Wehbe [Stony Brook University] |
| 11:50am - 12:10pm | Autonomous Cybersecurity Testbed for Operational Technology Networks Authors: Akhilesh Raj, Sanjana Das, Harsh Vardhan, Himanshu Neema, Ajay Chhokra and Daniel Balasubramanian Presenter: Akhilesh Raj [Vanderbilt University] |
| 12:10pm - 12:30pm | From Toy to Target: Investigating Representation Transfer for Reinforcement Learning with Implications for Cyber-Physical Systems Authors: Nathan Williams, Woong Je Sung and Arun Ramamurthy Presenter: Nathan Williams [Georgia Institute of Technology] |
| 12:30pm - 2:00pm | Lunch - Location: Pacific Room |
| Session 3: CPS Applications | |
| 2:00pm - 2:30pm | Invited Talk 3: LLMs: Your AI Co-Pilot for Aviation Data Saurabh Banga [Senior Deep Learning Engineer at Acubed] |
| 2:30pm - 2:50pm | Visual Modeling of ROS Launch Files Authors: Kate Sanborn, Vakul Nath, Tanuj Kenchannavar and Jonathan Sprinkle Presenter: Kate Sanborn [Vanderbilt University] |
| 2:50pm - 3:10pm | Enabling Analysis and Visualization of Transportation Big Data Authors: Stephen Rees and Jonathan Sprinkle Presenter: Stephen Rees [Vanderbilt University] |
| 3:10pm - 3:30pm | V2X-Enabled Communication for Traffic Operations via ROS Authors: Junyi Ji, Alex Richardson, Jonathan Sprinkle and Dan Work Presenter: Alex Richardson [Vanderbilt University] |
| 3:30pm – 4:00pm | Coffee Break |
| Session 4: Formal Methods | |
| 4:00pm - 4:30pm | Invited Talk 4: Predictive Runtime Verification of Learning-Enabled Systems with Conformal Prediction Prof. Lars Lindemann [Associate Professor, University of Southern California] |
| 4:30pm - 4:50pm | Uncertainty Quantification and Data Provenance for Data Pipeline Security Analysis Authors: Alberta Dadeboe, Farzaneh Mansourifard and Shridatt Sugrim Presenter: Alberta Dadeboe [Virginia Tech] |
| 4:50pm - 5:00pm | Discussion & Wrap-up |
| 5:00pm – 7:00pm | Reception |