Abstract:Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may arise due to distribution shifts, environmental context, or failure of software or hardware components. Traditional techniques for risk assessment focus on design-time techniques such as hazard analysis, risk reduction, and assurance cases among others. However, these static, design-time techniques do not consider the dynamic contexts and failures the systems face at runtime. We hypothesize that this requires a dynamic assurance approach that computes the likelihood of unsafe conditions or system failures considering the safety requirements, assumptions made at design time, past failures in a given operating context, and the likelihood of system component failures. We introduce the ReSonAte dynamic risk estimation framework for autonomous systems. ReSonAte reasons over Bow-Tie Diagrams (BTDs) which capture information about hazard propagation paths and control strategies. Our innovation is the extension of the BTD formalism with attributes for modeling the conditional relationships with the state of the system and environment. We also describe a technique for estimating these conditional relationships and equations for estimating risk based on the state of the system and environment. To help with this process, we provide a scenario modeling procedure that can use the prior distributions of the scenes and threat conditions to generate the data required for estimating the conditional relationships. To improve scalability and reduce the amount of data required, this process considers each control strategy in isolation and composes several single-variate distributions into one complete multi-variate distribution for the control strategy in question.

Run Time Assurance for Autonomous Spacecraft Inspection

Control Barrier Function Based Trajectory Generation and Tracking Control for Spacecraft Inspection Mission under Multiple Safety Constraints

Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection

Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering

Comparing Run Time Assurance Approaches for Safe Spacecraft Docking

A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation

Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles

Safe Spacecraft Inspection via Deep Reinforcement Learning and Discrete Control Barrier Functions

Safe Tracking Control for Free-Flying Space Robots Via Control Barrier Functions

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning

Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System

Runtime Safety Assurance Using Reinforcement Learning

Guaranteed Safe Reachability-based Trajectory Design for a High-Fidelity Model of an Autonomous Passenger Vehicle

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems

On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis

Stress Testing Autonomous Racing Overtake Maneuvers with RRT

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture

Safety Guaranteed Control for Spacecraft Inspection Mission