7 papers
Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates
Arturo de la Barcena, Collin Rhodes, John McCarroll +2
As the space domain becomes increasingly congested, autonomy is proposed as one approach to enable small numbers of human ground operators to manage large constellations of satelli…
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering
Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton +2
A fundamental capability for On-orbit Servicing, Assembly, and Manufacturing (OSAM) is inspection of the vehicle to be serviced, or the structure being assembled. This research ass…
Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control
Kerianne L. Hobbs, Bernard Li
Designing a safe, trusted, and ethical AI may be practically impossible; however, designing AI with safe, trusted, and ethical use in mind is possible and necessary in safety and m…
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller, Christopher K. Zeitler, William Shen +4
A runtime assurance system (RTA) for a given plant enables the exercise of an untrusted or experimental controller while assuring safety with a backup (or safety) controller. The r…
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…