ACCEPTED POSTERS AND DEMOS

  • Demo Abstract: Cost-Effective Rover for Farms, Pawan Kumar, Yejur Dube and Hokeun Kim
  • Poster Abstract: 1000DaySim: Open-Source Traffic Simulation With Real Data Over Long Time Horizons, Zhiyao Zhang, Yuhang Zhang, Marcos Quiรฑones-Grueiro, William Barbour, Gautam Biswas and Daniel Work
  • Poster Abstract: PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems, Ben Wooding, Viacheslav Horbanov and Abolfazl Lavaei
  • Poster Abstract: Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation, Mohammadhossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei and Amy Nejati
  • Poster Abstract: Polynomial Zonotopes Intersection Checking, Ertai Luo, Yushen Huang, Yifan Sun and Stanley Bak
  • Poster Abstract: Integrating the Simplex Architecture to Enhance Safety in Deep Learning Autonomous Systems, Niko Salamini, Federico Nesti, Mauro Marinoni, Giorgiomaria Cicero, Gabriele Serra, Alessandro Biondi and Giorgio Buttazzo
  • Demo Abstract: Real-Time Freeway Traffic Anomalous Event Detection System via Radar Detector Sensors, Austin Coursey, Junyi Ji, Zhiyao Zhang, William Barbour, Marcos Quinones-Grueiro, Tyler Derr, Gautam Biswas and Daniel Work
  • Poster Abstract: Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts, Yangge Li, Chenxi Ji and Sayan Mitra
  • Poster Abstract: SPHERE CPS: A Reconfigurable Testbed for Industrial Control System Security Experimentation, Luis Garcia, Jelena Mirkovic, David Balenson, Erik Kline, David Choffnes, Daniel Dubois, Srivatsan Ravi, Joseph Barnes, George Pradkin, Geoff Lawler, Chris Tran and Alba Regalado
  • Poster Abstract: Data Efficient PV based Indoor Event Detection, Tushar Routh, Jiechao Gao and Bradford Campbell
  • Poster Abstract: Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems, Vivian Lin and Insup Lee
  • Poster Abstract: Reproducible and Low-cost Sim-to-real Environment for Traffic Signal Control, Yiran Zhang, Khoa Vo, Longchao Da, Tiejin Chen, Xiaoou Liu and Hua Wei
  • Poster Abstract: Adaptive Beamforming for Connected Vehicles โ€“ A Co-simulation Framework, Anik Roy, Varuni Reddy, Somnath Hazra, Serene Banerjee, Arnab Sarkar and Soumyajit Dey
  • Poster Abstract: A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic, Eshita Shukla, Quinn Thibeault and Giulia Pedrielli
  • Poster Abstract: Exploring Flexible Road Reconstruction in Godot Simulator, Daniel Peralta and Xin Qin
  • Demo Abstract: SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids, Andrew Chio, Russell Bent, Kaarthik Sundar and Nalini Venkatasubramanian
  • Poster Abstract: Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance Metrics, Akash Bhattacharya, Suraj Singh, Sunandan Adhikary and Soumyajit Dey
  • Poster Abstract: High-Level Scenario Management For Parallel Autonomous Vehicle Simulation, Alex Richardson and Jonathan Sprinkle
  • Poster Abstract: Conformance-Driven Anomaly Detection for Cyber-Physical Systems, Xin Qin
  • Poster Abstract: Symbolic Gaussian Smoothing, Andrew Mata, Ali Arjomandbigdeli and Stanley Bak