76 citations · 130 across the 11 of their papers we have counts for
6 papers · 1 filter
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
Jonathan Rowanhill, Ashlie B. Hocking, Aditya Zutshi +1
Recent advances in artificial intelligence and machine learning may soon yield paradigm-shifting benefits for aerospace systems. However, complexity and possible continued on-line…
Run Time Assurance for Autonomous Spacecraft Inspection
Kyle Dunlap, David van Wijk, Kerianne L. Hobbs
As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-ti…
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation
Umberto Ravaioli, Kyle Dunlap, Kerianne Hobbs
With the rise of increasingly complex autonomous systems powered by black box AI models, there is a growing need for Run Time Assurance (RTA) systems that provide online safety fil…
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse +4
This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neur…
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
Kerianne Hobbs, Mark Mote, Matthew Abate +2
Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a…
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking
Kyle Dunlap, Michael Hibbard, Mark Mote +1
Run Time Assurance (RTA) systems are online safety verification techniques that filter the output of a primary controller to assure safety. RTA approaches are used in safety-critic…