Table of Contents

• Autonomous and Cost-effective Defect Detection System for Molded Pulp ProductsHaochen Wang, Zhiwei Shi, Yafei Qiao, Fan Yang, Yuzhe He, Dong Xuan, Wei Zhao. 1-11 [doi]
• BubCam: A Vision System for Automated Quality Inspection at Manufacturing LinesJiale Chen, Duc Van Le, Rui Tan, Daren Ho. 12-21 [doi]
• Digital-Twin-Based Patient Evaluation during Stroke RehabilitationYilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang. 22-33 [doi]
• Towards non-invasive bladder volume sensing via bio-impedance spectroscopy: feasibility demonstration in ex-vivo bladder modelsAta Vafi, Kourosh Vali, Begum Kasap, Jonathan C. Hu, Eric Kurzrock, Soheil Ghiasi. 34-43 [doi]
• Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease TreatmentQitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic. 44-55 [doi]
• DOME: Drone-assisted Monitoring of Emergent Events For Wildland Fire ResilienceFangqi Liu, Janine Ann Baijnath-Rodino, Tung-Chun Chang, Tirtha Banerjee, Nalini Venkatasubramanian. 56-67 [doi]
• Learning Spatio-Temporal Aggregations for Large-Scale Capacity Expansion ProblemsAron Brenner, Rahman Khorramfar, Saurabh Amin. 68-77 [doi]
• FedAR+: A Federated Learning Approach to Appliance Recognition with Mislabeled Data in Residential EnvironmentsAshish Gupta 0012, Hari Prabhat Gupta, Sajal K. Das 0001. 78-87 [doi]
• Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge SystemsGhazal Alinezhad Noghre, Vinit Katariya, Armin Danesh Pazho, Christopher Neff, Hamed Tabkhi. 88-97 [doi]
• A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control SystemsNavid Hashemi, Bardh Hoxha, Tomoya Yamaguchi 0001, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh. 98-109 [doi]
• Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action SpacesPreston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson. 110-119 [doi]
• CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical SystemsRamneet Kaur, Kaustubh Sridhar, Sangdon Park 0001, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee 0001. 120-131 [doi]
• Joint Differentiable Optimization and Verification for Certified Reinforcement LearningYixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang 0015, Zhaoran Wang, Zhuoran Yang, Qi Zhu 0002. 132-141 [doi]
• Conformal Prediction for STL Runtime VerificationLars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas. 142-153 [doi]
• Monitoring Signal Temporal Logic in Distributed Cyber-physical SystemsAnik Momtaz, Houssam Abbas, Borzoo Bonakdarpour. 154-165 [doi]
• Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation ApproachIpsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey. 166-176 [doi]
• Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical SystemsBaiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay. 177-186 [doi]
• EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy EfficiencyMohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque. 187-198 [doi]
• TIM: A Novel Quality of Service Metric for Tactile InternetKees Kroep, Vineet Gokhale, Ashutosh Simha, R. Venkatesha Prasad, Vijay S. Rao. 199-208 [doi]
• AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle DevelopmentRobert Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic. 209-220 [doi]
• sat2pc: Generating Building Roof's Point Cloud from a Single 2D Satellite ImagesYoones Rezaei, Stephen Lee. 221-230 [doi]
• pyUPPAAL: A Python Package for Risk Analysis of CPSGuangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang. 231-232 [doi]
• Development of the OpenCyberCity Testbed: Smart City Research Innovation and OpportunitiesMostafa Zaman, Nathan Puryear, Nasibeh Zohrabi, Sherif Abdelwahed. 233-234 [doi]
• Joint Rebalancing and Charging for Shared Electric Micromobility Vehicles with Human-system InteractionHeng Tan, Yukun Yuan, Shuxin Zhong, Yu Yang 0010. 235-236 [doi]
• PIRAT - Tool for Automated Cyber-risk Assessment of PLC Components & Systems Deploying NVD CVE & MITRE ATT&CK DatabasesNatalija Vlajic, Stefan Petrovic, Gabriele Cianfarani. 237-238 [doi]
• Effects of Learning-Based Action-Space Attacks on Autonomous Driving AgentsYuting Wu, Xin Lou, Pengfei Zhou, Rui Tan, Zbigniew Kalbarczyk, Ravishankar K. Iyer. 239-240 [doi]
• FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and schedulingJavier E. Méndez Gómez, Albert M. K. Cheng, Santiago Muñoz. 241-242 [doi]
• An End-to-End Multi-Robot Framework for Weed Control in Agricultural FieldsJahid Chowdhury Choton, Mithila Jugulam, Pavithra Prabhakar. 243-244 [doi]
• 1 Adaptive Control using Verse Library: A Case Study of QuadrotorsLin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan. 245-246 [doi]
• Demonstration of Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge SystemsGhazal Alinezhad Noghre, Vinit Katariya, Armin Danesh Pazho, Christopher Neff, Hamed Tabkhi. 247-248 [doi]
• Automated Labeling Function Generation using Distance Functions for Physiological Alarm SuppressionSydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee 0001. 249-250 [doi]
• Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection AttacksAnik Roy, Ipsita Koley, Sunandan Adhikary, Soumyajit Dey. 251-252 [doi]
• Parameter Estimation for Decoding Sensor SignalsMatthew Nice, Matthew R. Bunting, Gergely Zachár, Rahul Bhadani, Paul Ngo, Jonathan W. Lee, Alexandre M. Bayen, Dan Work, Jonathan Sprinkle. 253-255 [doi]
• WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data CollectionMatt Bunting, Matthew Nice, Dan Work, Jonathan Sprinkle, Roman Golota. 256-257 [doi]
• Automated Multimodal Performance Evaluation in Simulation-based Medical Education using Natural Language ProcessingPrashish Paudel, Scott Pappada, Liang Cheng. 258-259 [doi]
• Mobility-On-Demand Transportation: A System for Microtransit and Paratransit OperationsMichael Wilbur, Maxime Coursey, Pravesh Koirala, Zakariyya Al-Quran, Philip Pugliese, Abhishek Dubey. 260-261 [doi]
• Automated Features and Requirements Identification for Improving CPS Software Reuse using Topic ModelingMd. Al Maruf, Akramul Azim. 262-263 [doi]
• Incremental Learning with Memory Regressors for Motion Prediction in Autonomous RacingYahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee 0001. 264-265 [doi]
• Digital-twin Co-evolution using Continuous ValidationJoost Mertens, Joachim Denil. 266-267 [doi]
• A Modular Platform For Collaborative, Distributed Sensor FusionR. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic. 268-269 [doi]
• Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical SystemsAkash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey. 270-271 [doi]
• iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and LonelinessXiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee 0001. 272-273 [doi]
• Guiding Federated Learning with Inferenced Formal Logic PropertiesZiyan An, Meiyi Ma. 274-275 [doi]
• POSTER: A Cyber Physical Aquaponics System (CyPhA) TestbedAnand Agrawal, Praneeta Maganti, Rajib Ranjan Maiti. 276-277 [doi]
• DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action SpacesPreston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson. 278-279 [doi]