English
Related papers

Related papers: Systems Theoretic Process Analysis of a Run Time A…

200 papers

Reinforcement Learning (RL) has become an increasingly important research area as the success of machine learning algorithms and methods grows. To combat the safety concerns surrounding the freedom given to RL agents while training, there…

Machine Learning · Computer Science 2024-05-22 Nathaniel Hamilton , Kyle Dunlap , Taylor T Johnson , Kerianne L Hobbs

As autonomous driving technology continues to advance, end-to-end models have attracted considerable attention owing to their superior generalisation capability. Nevertheless, such learning-based systems entail numerous safety risks…

Robotics · Computer Science 2025-05-22 Hongrui Kou , Zhouhang Lyu , Ziyu Wang , Cheng Wang , Yuxin Zhang

Cyber-physical systems (CPSes), such as autonomous vehicles, use sophisticated components like ML-based controllers. It is difficult to provide evidence about the safe functioning of such components. To overcome this problem, Runtime…

Logic in Computer Science · Computer Science 2023-04-25 Vivek Nigam , Carolyn Talcott

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

We present an approach for safe trajectory planning, where a strategic task related to autonomous racing is learned sample-efficient within a simulation environment. A high-level policy, represented as a neural network, outputs a reward…

Robotics · Computer Science 2022-12-06 Rudolf Reiter , Jasper Hoffmann , Joschka Boedecker , Moritz Diehl

Systems Theoretic Process Analysis (STPA) is a widely recommended method for analysing complex system safety. STPA can identify numerous Unsafe Control Actions (UCAs) and requirements depending on the level of granularity of the analysis…

Systems and Control · Electrical Eng. & Systems 2025-08-15 Halima El Badaoui

The Safe Trusted Autonomy for Responsible Space (STARS) program aims to advance autonomy technologies for space by leveraging machine learning technologies while mitigating barriers to trust, such as uncertainty, opaqueness, brittleness,…

Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these systems is particularly challenging due to the complexity of…

Computer Vision and Pattern Recognition · Computer Science 2023-02-13 Corina S. Pasareanu , Ravi Mangal , Divya Gopinath , Sinem Getir Yaman , Calum Imrie , Radu Calinescu , Huafeng Yu

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of…

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

Safety and security are essential for the admission and acceptance of automated and autonomous vehicles. Deep neural networks (DNNs) are widely used for perception and further components of the autonomous driving (AD) stack. However, they…

Cryptography and Security · Computer Science 2026-04-24 Svetlana Pavlitska , Christopher Gerking , J. Marius Zöllner

Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. Despite significant improvements in design of robotic surgical…

High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performance becomes extremely difficult. In this paper, we present an…

Robotics · Computer Science 2021-10-05 Stanley Bak , Johannes Betz , Abhinav Chawla , Hongrui Zheng , Rahul Mangharam

Efficient multi-robot task allocation (MRTA) is fundamental to various time-sensitive applications such as disaster response, warehouse operations, and construction. This paper tackles a particular class of these problems that we call…

Multiagent Systems · Computer Science 2023-08-21 Steve Paul , Wenyuan Li , Brian Smyth , Yuzhou Chen , Yulia Gel , Souma Chowdhury

Reinforcement Learning (RL) algorithms have achieved remarkable performance in decision making and control tasks due to their ability to reason about long-term, cumulative reward using trial and error. However, during RL training, applying…

Robotics · Computer Science 2021-03-03 Yifei Simon Shao , Chao Chen , Shreyas Kousik , Ram Vasudevan

The air transport system recognizes the criticality of safety, as even minor anomalies can have severe consequences. Reporting accidents and incidents play a vital role in identifying their causes and proposing safety recommendations.…

Computation and Language · Computer Science 2025-01-14 Aziida Nanyonga , Hassan Wasswa , Oleksandra Molloy , Ugur Turhan , Graham Wild

Recently, safe reinforcement learning (RL) with the actor-critic structure for continuous control tasks has received increasing attention. It is still challenging to learn a near-optimal control policy with safety and convergence…

Machine Learning · Computer Science 2024-02-06 Xinglong Zhang , Yaoqian Peng , Biao Luo , Wei Pan , Xin Xu , Haibin Xie

This paper reviews the current status and challenges of Neural Networks (NNs) based machine learning approaches for modern power grid stability control including their design and implementation methodologies. NNs are widely accepted as…

Systems and Control · Computer Science 2017-01-06 Reza Yousefian , Sukumar Kamalasadan

Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and…

Systems and Control · Electrical Eng. & Systems 2021-01-22 Weiming Xiang

Recent advances in deep learning have provided new data-driven ways of controller design to replace the traditional manual synthesis and certification approaches. Employing neural network (NN) as controllers however, presents its own…

Systems and Control · Electrical Eng. & Systems 2025-03-25 Sanghyoup Gu , Ratnesh Kumar

The volume of textual data available in aviation safety reports presents a challenge for timely and accurate analysis. This paper examines how Artificial Intelligence (AI) and, specifically, Natural Language Processing (NLP) can automate…

Artificial Intelligence · Computer Science 2025-06-03 Aziida Nanyonga , Graham Wild