Cover Image

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bagheri, Maryam, Lamp, Josephine, Zhou, Xugui, Feng, Lu, Alemzadeh, Homa
Format:	Preprint
Published:	2022
Subjects:	Machine Learning Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems
by: Zhou, Xugui, et al.
Published: (2023)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
by: Dong, Shuyang, et al.
Published: (2024)

Action-Conditioned Risk Gating for Safety-Critical Control under Partial Observability
by: Liu, Yushen, et al.
Published: (2026)

A Modular Safety Filter for Safety-Certified Cyber-Physical Systems
by: Bajelani, Mohammad, et al.
Published: (2024)

Digital Guardians: The Past and The Future of Cyber-Physical Resilience
by: Bagchi, Saurabh, et al.
Published: (2026)

Providing Safety Assurances for Systems with Unknown Dynamics
by: Wang, Hao, et al.
Published: (2024)

Hierarchical Testing with Rabbit Optimization for Industrial Cyber-Physical Systems
by: Hu, Jinwei, et al.
Published: (2025)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception
by: Mei, Zhiting, et al.
Published: (2024)

Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
by: Niu, Luyao, et al.
Published: (2024)

A Data-Driven Safety Preserving Control Architecture for Constrained Cyber-Physical Systems
by: Attar, Mehran, et al.
Published: (2023)

CyberDep: Towards the Analysis of Cyber-Physical Power System Interdependencies Using Bayesian Networks and Temporal Data
by: Homoud, Leen Al, et al.
Published: (2024)

CPS-LLM: Large Language Model based Safe Usage Plan Generator for Human-in-the-Loop Human-in-the-Plant Cyber-Physical System
by: Banerjee, Ayan, et al.
Published: (2024)

Toward a Harmonized Approach -- Requirement-based Structuring of a Safety Assurance Argumentation for Automated Vehicles
by: Loba, Marvin, et al.
Published: (2025)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
by: Bensalem, Saddek, et al.
Published: (2023)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
by: Hashemi, Navid, et al.
Published: (2024)

The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
by: Nesti, Federico, et al.
Published: (2025)

Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems
by: Bansal, Ayoosh, et al.
Published: (2026)

Quantifying Cyber-Vulnerability in Power Electronics Systems via an Impedance-Based Attack Reachable Domain
by: Zhen, Hongwei, et al.
Published: (2026)

An Integrated Cyber-Physical Risk Assessment Framework for Worst-Case Attacks in Industrial Control Systems
by: Aftabi, Navid, et al.
Published: (2023)

Photolithography Control System : A Case Study For Cyber-Physical System
by: Zhang, Youbao, et al.
Published: (2024)

Approximate Information States for Worst-Case Control and Learning in Uncertain Systems
by: Dave, Aditya, et al.
Published: (2023)

IF-CPS: Influence Functions for Cyber-Physical Systems -- A Unified Framework for Diagnosis, Curation, and Safety Attribution
by: Li, Jiachen, et al.
Published: (2026)

A Cyber-HIL for Investigating Control Systems in Ship Cyber Physical Systems under Communication Issues and Cyber Attacks
by: Vu, Linh, et al.
Published: (2023)

On the Use of Safety Critical Control for Cyber-Physical Security in the Smart Grid
by: Mohamed, Amr S., et al.
Published: (2023)

Enabling Large Language Models to Perform Power System Simulations with Previously Unseen Tools: A Case of Daline
by: Jia, Mengshuo, et al.
Published: (2024)

A Data-Driven Approach To Preserve Safety and Reference Tracking for Constrained Cyber-Physical Systems Under Network Attacks
by: Attar, Mehran, et al.
Published: (2024)

A Multi-Scale Attention-Based Attack Diagnosis Mechanism for Parallel Cyber-Physical Attacks in Power Grids
by: Ren, Junhao, et al.
Published: (2025)

Security of Distributed Parameter Cyber-Physical Systems: Cyber-Attack Detection in Linear Parabolic PDEs
by: Roy, Tanushree, et al.
Published: (2021)

Hierarchical Decentralized Stochastic Control for Cyber-Physical Systems
by: Kaza, Kesav, et al.
Published: (2025)

Towards Reproducible Test Annotation for Cyber-Physical Energy Systems using Ontology-driven Dataspaces
by: Heussen, Kai, et al.
Published: (2026)

Decentralized Stealth Attacks on Cyber-Physical Systems
by: Ye, Xiuzhen, et al.
Published: (2025)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
by: Borquez, Javier, et al.
Published: (2022)

A Dynamic Coding Scheme to Prevent Covert Cyber-Attacks in Cyber-Physical Systems
by: Taheri, Mahdi, et al.
Published: (2025)

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems
by: Sabouni, Ehsan, et al.
Published: (2024)

Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
by: Prahlad, Deeksha, et al.
Published: (2026)

Cyber-Resilient System Identification for Power Grid through Bayesian Integration
by: Li, Shimiao, et al.
Published: (2025)

A Framework for Effective AI Recommendations in Cyber-Physical-Human Systems
by: Dave, Aditya, et al.
Published: (2024)

Retrieval Augmented (Knowledge Graph), and Large Language Model-Driven Design Structure Matrix (DSM) Generation of Cyber-Physical Systems
by: Bank, H. Sinan, et al.
Published: (2026)

A Scalable Design Approach to Resilient Architectures for Interconnected Cyber-Physical Systems: Safety Guarantees under Multiple Attacks
by: Badr, Eman, et al.
Published: (2025)