English
Related papers

Related papers: Systems-theoretic Safety Assessment of Robotic Tel…

200 papers

Teleoperation is becoming an essential feature in automated vehicle concepts, as it will help the industry overcome challenges facing automated vehicles today. Teleoperation follows the idea to get humans back into the loop for certain rare…

Systems and Control · Electrical Eng. & Systems 2024-09-04 Simon Hoffmann , Frank Diermeyer

Robotic and embodied-AI systems have the potential to improve accessibility and quality of care in clinical settings, but their deployment in close physical contact with vulnerable patients introduces significant safety risks. This paper…

Teleoperated robots are playing an increasingly important role in military actions and medical services. In the future, remotely operated surgical robots will likely be used in more scenarios such as battlefields and emergency response. But…

Robotics · Computer Science 2015-05-13 Tamara Bonaci , Jeffrey Herron , Tariq Yusuf , Junjie Yan , Tadayoshi Kohno , Howard Jay Chizeck

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

All of the frontier AI companies have published safety frameworks where they define capability thresholds and risk mitigations that determine how they will safely develop and deploy their models. Adoption of systematic approaches to risk…

Computers and Society · Computer Science 2025-06-03 Simon Mylius

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner , Nancy Leveson

Self-adaptive systems are able to change their behaviour at run-time in response to changes. Self-adaptation is an important strategy for managing uncertainty that is present during the design of modern systems, such as autonomous vehicles.…

Systems and Control · Electrical Eng. & Systems 2023-04-04 Simon Diemert , Jens H. Weber

Understanding the causes and patient impacts of surgical adverse events will help improve systems and operational practices to avoid incidents in the future. We analyzed the adverse events data related to robotic systems and instruments…

Robotics · Computer Science 2016-11-29 Homa Alemzadeh , Ravishankar K. Iyer , Zbigniew Kalbarczyk , Nancy Leveson , Jaishankar Raman

As robotic systems such as autonomous cars and delivery drones assume greater roles and responsibilities within society, the likelihood and impact of catastrophic software failure within those systems is increased.To aid researchers in the…

Software Engineering · Computer Science 2024-04-05 Christopher S. Timperley , Gijs van der Hoorn , André Santos , Harshavardhan Deshpande , Andrzej Wąsowski

Cyber-physical systems for robotic surgery have enabled minimally invasive procedures with increased precision and shorter hospitalization. However, with increasing complexity and connectivity of software and major involvement of human…

Robotics · Computer Science 2020-06-19 Mohammad Samin Yasar , Homa Alemzadeh

Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defense. The unstoppable trend of using Machine Learning (ML) in…

Software Engineering · Computer Science 2023-07-18 Yi Qi , Yi Dong , Siddartha Khastgir , Paul Jennings , Xingyu Zhao , Xiaowei Huang

This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neural network control systems (NNCS). This research studies a…

Systems and Control · Electrical Eng. & Systems 2023-03-28 Kerianne L. Hobbs , Benjamin K. Heiner , Lillian Busse , Kyle Dunlap , Jonathan Rowanhill , Ashlie B. Hocking , Aditya Zutshi

The transition to the smart grid introduces complexity to the design and operation of electric power systems. This complexity has the potential to result in safety-related losses that are caused, for example, by unforeseen interactions…

Software Engineering · Computer Science 2023-09-15 Paul Smith , Eva Piatkowska , Edmund Widl , Filip Pröstl Andrén , Thomas I. Strasser

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

Logic in Computer Science · Computer Science 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

As reinforcement learning (RL) deployments expand into safety-critical domains, existing evaluation methods fail to systematically identify hazards arising from the black-box nature of neural network enabled policies and distributional…

Governments, industry, and academia have undertaken efforts to identify and mitigate harms in ML-driven systems, with a particular focus on social and ethical risks of ML components in complex sociotechnical systems. However, existing…

Machine Learning · Computer Science 2022-11-10 Edgar W. Jatho , Logan O. Mailloux , Shalaleh Rismani , Eugene D. Williams , Joshua A. Kroll

Autonomous vehicles (AV) depend on the sensors like RADAR and camera for the perception of the environment, path planning, and control. With the increasing autonomy and interactions with the complex environment, there have been growing…

Systems and Control · Computer Science 2021-06-22 Abu Hasnat Mohammad Rubaiyat , Yongming Qin , Homa Alemzadeh

The growing integration of artificial intelligence (AI) and machine learning (ML) in medical systems requires effective measures to address emerging security risks. One such risk is that of adversaries introducing false data through…

Robotic surgery represents a major breakthrough in medical interventions, which has revolutionized surgical procedures. However, the high cost and limited accessibility of robotic surgery systems pose significant challenges for training…

Robotics · Computer Science 2026-04-28 Walid Shaker , Mustafa Suphi Erden

Robotic-assisted minimally invasive surgery (MIS) has enabled procedures with increased precision and dexterity, but surgical robots are still open loop and require surgeons to work with a tele-operation console providing only limited…

Robotics · Computer Science 2019-01-29 Mohammad Samin Yasar , David Evans , Homa Alemzadeh
‹ Prev 1 2 3 10 Next ›