PROGRAM

Time May 10, Wednesday May 11, Thursday May 12, Friday
9:00am-10:00am Keynote Talk Keynote Talk Keynote Talk
10:00am-10:30am Coffee break Coffee break Coffee break
10:30am-12:00pm Session 1: Industrial Applications Session 3: AI and Machine Learning for CPS Session 6: Testing, Verification, and Certification
12:00pm-1:30pm Diversity, Equity, and Inclusion (DEI) Lunch Lunch Lunch
1:30pm-3:00pm Session 2: CPS for Social Good Session 4: Safe Learning-enabled CPS Session 7: Safety and Resilience for CPS

3:00pm-3:30pm
Coffee break Coffee break Coffee break
3:30pm-5:00pm Poster/Demo session Session 5: Panel with National Science Foundation Program Managers Session 8: Tools, testbeds, and deployment
6:00pm-9:00pm TPC and OC Meeting Banquet

Keynote events are common with other CPS Week Programs.

Details for DEI lunch, Poster demo session and NSF panel details are forthcoming.


Session 1: Industrial Applications

Title Authors
Autonomous and Cost-effective Defect Detection System for Molded Pulp Products Haochen Wang (Shandong University); Zhiwei Shi (Zhejiang DeepCode Robotics Co. Ltd.); Yafei Qiao (Shandong University); Fan Yang, Yuzhe He (Zhejiang DeepCode Robotics Co. Ltd.); Dong Xuan (Shandong University); Wei Zhao (Shenzhen Institutes of Advanced Technology)
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation Yilun Chen, Wentao Wang, Junyu Diao (ShanghaiTech University, China); Daoyu Wang, Zhuo Jian, Yixi Wang (ZD Medtech); Zhihao Jiang (ShanghaiTech University and Shanghai Engineering Research Center of Intelligent Vision and Imaging, China)
BubCam: A Vision System for Automated Quality Inspection at Manufacturing Lines Jiale Chen, Duc Van Le, Rui Tan (Nanyang Technological University); Daren Ho (HP Inc.)

Session 2: CPS for Social Good

Title Authors
Non-invasive bladder volume sensing via bio-impedance spectroscopy: feasibility demonstration in ex-vivo bladder models Ata Vafi, Kourosh Vali, Begum Kasap, Jonathan C Hu, Eric Kurzrock (University of California, Davis); Soheil Ghiasi (University of California at Davis)
DOME: Drone-assisted Monitoring of Emergent Events For Wildland Fire Resilience Fangqi Liu, Janine Ann Baijnath-Rodino, Tung-Chun Chang, Tirtha Banerjee, Nalini Venkatasubramanian (University of California Irvine)
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic (Duke University)

Session 3: AI and Machine Learning for CPS

Title Authors
Learning Spatio-Temporal Aggregations for Large-Scale Capacity Expansion Problems Aron Brenner, Rahman Khorramfar, Saurabh Amin (Massachusetts Institute of Technology)

FedAR+: A Federated Learning Approach to Appliance Recognition with Mislabeled Data in Residential Environments

Ashish Gupta (Missouri University of Science and Technology, Rolla, USA); Hari Prabhat Gupta (Indian Institute of Technology (BHU) Varanasi); Sajal K. Das (Missouri University of Science and Technology)

Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems

Ghazal Alinezhad Noghre (University of North Carolina at Charlotte); Vinit Katariya (University of North Carolina Charlotte); Armin Danesh Pazho, Christopher Neff (University of North Carolina at Charlotte); Hamed Tabkhi (University of North Carolina Charlotte)

Session 4: Safe Learning-enabled CPS

Title Authors
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems Navid Hashemi (University of Southern California); Bardh Hoxha, Tomoya Yamaguchi, Danil Prokhorov, Georgios Fainekos (Toyota Research Institute of North America); Jyotirmoy Deshmukh (University of Southern California)
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces Preston K. Robinette (Vanderbilt University); Nathaniel Hamilton (Parallax Advanced Research); Taylor T. Johnson (Vanderbilt University)
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems Ramneet Kaur, Kaustubh Sridhar (University of Pennsylvania); Sangdon Park (Georgia Institute of Technology); Yahan Yang (University of Pennsylvania); Susmit Jha, Anirban Roy (SRI International); Oleg Sokolsky, Insup Lee (University of Pennsylvania)

Session 6: Testing, Verification, and Certification

Title Authors
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning Yixuan Wang (Northwestern University); Simon Zhan (UC Berkeley); Zhilu Wang (Northwestern University); Chao Huang (University of Liverpool); Zhaoran Wang (Northwestern University); Zhuoran Yang (Yale University); Qi Zhu (Northwestern University)
Conformal Prediction for STL Runtime Verification Lars Lindemann (University of Pennsylvania); Xin Qin, Jyotirmoy V. Deshmukh (University of Southern California); George J. Pappas (University of Pennsylvania)
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems Anik Momtaz (Michigan State University); Houssam Abbas (Oregon State University); Borzoo Bonakdarpour (Michigan State University)

Session 7: Safety and Resilience for CPS

Title Authors
Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey (Indian Institute of Technology Kharagpur)
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems  Baiting Luo, Shreyas Ramakrishna, Ava Pettet (Vanderbilt University); Christopher Kuhn (TUM); Gabor Karsai, Ayan Mukhopadhyay (Vanderbilt University)
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry (University of California, Irvine); Mohammad Al Faruque (UC Irvine)

Session 8: Tools, testbeds, and deployment

Title Authors
sat2pc: Generating Building Roof’s Point Cloud from a Single 2D Satellite Images Yoones Rezaei, Stephen Lee (University of Pittsburgh)
TIM: A Novel Quality of Service Metric for Tactile Internet Kees Kroep, Vineet Gokhale, Ashutosh Simha, R Venkatesha Prasad (Delft University of Technology); Vijay S Rao (Cognizant Technologies Limited)
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development R. Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic (Duke University)