11 citations · 31 across the 28 of their papers we have counts for
6 papers · 1 filter
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems
Maryam Bagheri, Josephine Lamp, Xugui Zhou +2
Machine Learning (ML) technologies have been increasingly adopted in Medical Cyber-Physical Systems (MCPS) to enable smart healthcare. Assuring the safety and effectiveness of lear…
COMPASS: A Formal Framework and Aggregate Dataset for Generalized Surgical Procedure Modeling
Kay Hutchinson, Ian Reyes, Zongyu Li +1
Purpose: We propose a formal framework for the modeling and segmentation of minimally-invasive surgical tasks using a unified set of motion primitives (MPs) to enable more objectiv…
Design and Validation of an Open-Source Closed-Loop Testbed for Artificial Pancreas Systems
Xugui Zhou, Maxfield Kouzel, Haotian Ren +1
The development of a fully autonomous artificial pancreas system (APS) to independently regulate the glucose levels of a patient with Type 1 diabetes has been a long-standing goal…
Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems
Xugui Zhou, Maxfield Kouzel, Homa Alemzadeh
The growing complexity of Cyber-Physical Systems (CPS) and challenges in ensuring safety and security have led to the increasing use of deep learning methods for accurate and scala…
Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System
Xugui Zhou, Anna Schmedding, Haotian Ren +4
A growing number of vehicles are being transformed into semi-autonomous vehicles (Level 2 autonomy) by relying on advanced driver assistance systems (ADAS) to improve the driving e…
Runtime Detection of Executional Errors in Robot-Assisted Surgery
Zongyu Li, Kay Hutchinson, Homa Alemzadeh
Despite significant developments in the design of surgical robots and automated techniques for objective evaluation of surgical skills, there are still challenges in ensuring safet…