default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICCPS 2023: San Antonio, TX, USA
- Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. ACM 2023 - Haochen Wang
, Zhiwei Shi, Yafei Qiao, Fan Yang, Yuzhe He, Dong Xuan, Wei Zhao:
Autonomous and Cost-effective Defect Detection System for Molded Pulp Products. 1-11 - Jiale Chen, Duc Van Le, Rui Tan, Daren Ho:
BubCam: A Vision System for Automated Quality Inspection at Manufacturing Lines. 12-21 - Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang:
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation. 22-33 - Ata Vafi, Kourosh Vali, Begum Kasap, Jonathan C. Hu, Eric Kurzrock, Soheil Ghiasi:
Towards non-invasive bladder volume sensing via bio-impedance spectroscopy: feasibility demonstration in ex-vivo bladder models. 34-43 - Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic:
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. 44-55 - Fangqi Liu, Janine Ann Baijnath-Rodino, Tung-Chun Chang, Tirtha Banerjee, Nalini Venkatasubramanian:
DOME: Drone-assisted Monitoring of Emergent Events For Wildland Fire Resilience. 56-67 - Aron Brenner, Rahman Khorramfar, Saurabh Amin:
Learning Spatio-Temporal Aggregations for Large-Scale Capacity Expansion Problems. 68-77 - Ashish Gupta, Hari Prabhat Gupta, Sajal K. Das:
FedAR+: A Federated Learning Approach to Appliance Recognition with Mislabeled Data in Residential Environments. 78-87 - Ghazal Alinezhad Noghre, Vinit Katariya, Armin Danesh Pazho, Christopher Neff, Hamed Tabkhi:
Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems. 88-97 - Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh:
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. 98-109 - Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson:
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces. 110-119 - Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. 120-131 - Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. 132-141 - Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. 142-153 - Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour:
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. 154-165 - Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey:
Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach. 166-176 - Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay:
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. 177-186 - Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque:
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. 187-198 - Kees Kroep, Vineet Gokhale, Ashutosh Simha, R. Venkatesha Prasad, Vijay S. Rao:
TIM: A Novel Quality of Service Metric for Tactile Internet. 199-208 - Robert Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic:
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. 209-220 - Yoones Rezaei, Stephen Lee:
sat2pc: Generating Building Roof's Point Cloud from a Single 2D Satellite Images. 221-230 - Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang:
pyUPPAAL: A Python Package for Risk Analysis of CPS. 231-232 - Mostafa Zaman, Nathan Puryear, Nasibeh Zohrabi, Sherif Abdelwahed:
Development of the OpenCyberCity Testbed: Smart City Research Innovation and Opportunities. 233-234 - Heng Tan, Yukun Yuan, Shuxin Zhong, Yu Yang:
Joint Rebalancing and Charging for Shared Electric Micromobility Vehicles with Human-system Interaction. 235-236 - Natalija Vlajic, Stefan Petrovic, Gabriele Cianfarani:
PIRAT - Tool for Automated Cyber-risk Assessment of PLC Components & Systems Deploying NVD CVE & MITRE ATT&CK Databases. 237-238 - Yuting Wu, Xin Lou, Pengfei Zhou, Rui Tan, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
Effects of Learning-Based Action-Space Attacks on Autonomous Driving Agents. 239-240 - Javier Enrique Méndez Gómez, Albert M. K. Cheng, Santiago Muñoz:
FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and scheduling. 241-242 - Jahid Chowdhury Choton, Mithila Jugulam, Pavithra Prabhakar:
An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. 243-244 - Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan:
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors. 245-246 - Ghazal Alinezhad Noghre, Vinit Katariya, Armin Danesh Pazho, Christopher Neff, Hamed Tabkhi:
Demonstration of Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems. 247-248 - Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee:
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. 249-250 - Anik Roy, Ipsita Koley, Sunandan Adhikary, Soumyajit Dey:
Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks. 251-252 - Matthew Nice, Matthew R. Bunting, Gergely Zachár, Rahul Bhadani, Paul Ngo, Jonathan W. Lee, Alexandre M. Bayen, Dan Work, Jonathan Sprinkle:
Parameter Estimation for Decoding Sensor Signals. 253-255 - Matt Bunting, Matthew Nice, Dan Work, Jonathan Sprinkle, Roman Golota:
WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection. 256-257 - Prashish Paudel, Scott Pappada, Liang Cheng:
Automated Multimodal Performance Evaluation in Simulation-based Medical Education using Natural Language Processing. 258-259 - Michael Wilbur, Maxime Coursey, Pravesh Koirala, Zakariyya Al-Quran, Philip Pugliese, Abhishek Dubey:
Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations. 260-261 - Md. Al Maruf, Akramul Azim:
Automated Features and Requirements Identification for Improving CPS Software Reuse using Topic Modeling. 262-263 - Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee:
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. 264-265 - Joost Mertens, Joachim Denil:
Digital-twin Co-evolution using Continuous Validation. 266-267 - R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic:
A Modular Platform For Collaborative, Distributed Sensor Fusion. 268-269 - Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey:
Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. 270-271 - Xiayan 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:
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. 272-273 - Ziyan An, Meiyi Ma:
Guiding Federated Learning with Inferenced Formal Logic Properties. 274-275 - Anand Agrawal, Praneeta Maganti, Rajib Ranjan Maiti:
POSTER: A Cyber Physical Aquaponics System (CyPhA) Testbed. 276-277 - Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson:
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces. 278-279
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
