activity
20172023
most citedRun Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

76 citations · 130 across the 11 of their papers we have counts for

collaborators

11 papers

cs.RO2023★ 3 cited

Deep Reinforcement Learning for Autonomous Spacecraft Inspection using Illumination

David van Wijk, Kyle Dunlap, Manoranjan Majji +1

This paper investigates the problem of on-orbit spacecraft inspection using a single free-flying deputy spacecraft, equipped with an optical sensor, whose controller is a neural ne…

eess.SY2023

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…

eess.SY2023★ 3 cited

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…

cs.CY2022★ 2 cited

Space Trusted Autonomy Readiness Levels

Kerianne L. Hobbs, Joseph B. Lyons, Martin S. Feather +7

Technology Readiness Levels are a mainstay for organizations that fund, develop, test, acquire, or use technologies. Technology Readiness Levels provide a standardized assessment o…

eess.SY2022

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…

eess.SY2022★ 7 cited

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…