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)