default search action
14th 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
Autonomous and Cost-effective Defect Detection System for Molded Pulp Products. 1-11 - Jiale Chen
BubCam: A Vision System for Automated Quality Inspection at Manufacturing Lines. 12-21 - Yilun Chen
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation. 22-33 - Ata Vafi
Towards non-invasive bladder volume sensing via bio-impedance spectroscopy: feasibility demonstration in ex-vivo bladder models. 34-43 - Qitong Gao
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. 44-55 - Fangqi Liu
DOME: Drone-assisted Monitoring of Emergent Events For Wildland Fire Resilience. 56-67 - Aron Brenner
Learning Spatio-Temporal Aggregations for Large-Scale Capacity Expansion Problems. 68-77 - Ashish Gupta
FedAR+: A Federated Learning Approach to Appliance Recognition with Mislabeled Data in Residential Environments. 78-87 - Ghazal Alinezhad Noghre
Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems. 88-97 - Navid Hashemi
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. 98-109 - Preston K. Robinette
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces. 110-119 - Ramneet Kaur
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. 120-131 - Yixuan Wang
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. 132-141 - Lars Lindemann
Conformal Prediction for STL Runtime Verification. 142-153 - Anik Momtaz
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. 154-165 - Ipsita Koley
Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach. 166-176 - Baiting Luo
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. 177-186 - Mohanad Odema
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. 187-198 - Kees Kroep
TIM: A Novel Quality of Service Metric for Tactile Internet. 199-208 - Robert Spencer Hallyburton
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. 209-220 - Yoones Rezaei
sat2pc: Generating Building Roof's Point Cloud from a Single 2D Satellite Images. 221-230 - Guangyao Chen
pyUPPAAL: A Python Package for Risk Analysis of CPS. 231-232 - Mostafa Zaman
Development of the OpenCyberCity Testbed: Smart City Research Innovation and Opportunities. 233-234 - Heng Tan
Joint Rebalancing and Charging for Shared Electric Micromobility Vehicles with Human-system Interaction. 235-236 - Natalija Vlajic
PIRAT - Tool for Automated Cyber-risk Assessment of PLC Components & Systems Deploying NVD CVE & MITRE ATT&CK Databases. 237-238 - Yuting Wu
Effects of Learning-Based Action-Space Attacks on Autonomous Driving Agents. 239-240 - Javier Enrique Méndez Gómez
FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and scheduling. 241-242 - Jahid Chowdhury Choton
An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. 243-244 - Lin Song
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors. 245-246 - Ghazal Alinezhad Noghre
Demonstration of Pishgu: Universal Path Prediction Network Architecture for Real-time Cyber-physical Edge Systems. 247-248 - Sydney Pugh
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. 249-250 - Anik Roy
Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks. 251-252 - Matthew Nice
Parameter Estimation for Decoding Sensor Signals. 253-255 - Matt Bunting
WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection. 256-257 - Prashish Paudel
Automated Multimodal Performance Evaluation in Simulation-based Medical Education using Natural Language Processing. 258-259 - Michael Wilbur
Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations. 260-261 - Md. Al Maruf
Automated Features and Requirements Identification for Improving CPS Software Reuse using Topic Modeling. 262-263 - Yahan Yang
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. 264-265 - Joost Mertens
Digital-twin Co-evolution using Continuous Validation. 266-267 - R. Spencer Hallyburton
A Modular Platform For Collaborative, Distributed Sensor Fusion. 268-269 - Akash Bhattacharya
Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. 270-271 - Xiayan Ji
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. 272-273 - Ziyan An
Guiding Federated Learning with Inferenced Formal Logic Properties. 274-275 - Anand Agrawal
POSTER: A Cyber Physical Aquaponics System (CyPhA) Testbed. 276-277 - Preston K. Robinette
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-09-25 00:32 CEST 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: