76 citations · 130 across the 11 of their papers we have counts for
11 papers
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…
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…
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…
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…
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Nathaniel Hamilton, Kyle Dunlap, Taylor T Johnson +1
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 surrou…
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…
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report)
Stanley Bak, Kerianne Hobbs
Collision detection algorithms are used in aerospace, swarm robotics, automotive, video gaming, dynamics simulation and other domains. As many applications of collision detection r…
Foundations of Intelligent Additive Manufacturing
Kévin Garanger, Eric Feron, Pierre-Loïc Garoche +4
During the last decade, additive manufacturing has become increasingly popular for rapid prototyping, but has remained relatively marginal beyond the scope of prototyping when it c…