activity
20232026
most citedDisturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics

12 citations · 13 across the 14 of their papers we have counts for

collaborators

15 papers

cs.CV2026

Infant Fingerprints: Quality Assessment & Recognition

João L. H. Dall Agnol, Dalcimar Casanova, Rodrigo Minetto +4

Infant fingerprint recognition is hindered by a combination of physiological characteristics, such as small ridge width and spacing, and acquisition challenges that include involun…

eess.SY2025

Uncertainty Estimators for Robust Backup Control Barrier Functions

David E. J. van Wijk, Ersin Das, Anil Alan +5

Designing safe controllers is crucial and notoriously challenging for input-constrained safety-critical control systems. Backup control barrier functions offer an approach for the…

cs.LG2025

Investigating the Impact of Observation Space Design Choices On Training Reinforcement Learning Solutions for Spacecraft Problems

Nathaniel Hamilton, Kyle Dunlap, Kerianne L Hobbs

Recent research using Reinforcement Learning (RL) to learn autonomous control for spacecraft operations has shown great success. However, a recent study showed their performance co…

eess.SY2025

The Safe Trusted Autonomy for Responsible Space Program

Kerianne L. Hobbs, Sean Phillips, Michelle Simon +11

The Safe Trusted Autonomy for Responsible Space (STARS) program aims to advance autonomy technologies for space by leveraging machine learning technologies while mitigating barrier…

eess.SY2024

Deep Reinforcement Learning for Scalable Multiagent Spacecraft Inspection

Kyle Dunlap, Nathaniel Hamilton, Kerianne L. Hobbs

As the number of spacecraft in orbit continues to increase, it is becoming more challenging for human operators to manage each mission. As a result, autonomous control methods are…

eess.SY2024★ 12 cited

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics

David E. J. van Wijk, Samuel Coogan, Tamas G. Molnar +2

Obtaining a controlled invariant set is crucial for safety-critical control with control barrier functions (CBFs) but is non-trivial for complex nonlinear systems and constraints.…

eess.SY2024

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

Kyle Dunlap, Kochise Bennett, David van Wijk +2

The trial and error approach of reinforcement learning (RL) results in high performance across many complex tasks, but it can also lead to unsafe behavior. Run time assurance (RTA)…

cs.LG2024

Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls

Nathaniel Hamilton, Kyle Dunlap, Kerianne L. Hobbs

For many space applications, traditional control methods are often used during operation. However, as the number of space assets continues to grow, autonomous operation can enable…

eess.SY2024

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

Kyle Dunlap, Nathaniel Hamilton, Francisco Viramontes +3

As the number of spacecraft on orbit continues to grow, it is challenging for human operators to constantly monitor and plan for all missions. Autonomous control methods such as re…

eess.SY2024

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

Kyle Dunlap, Nathaniel Hamilton, Zachary Lippay +3

On-orbit spacecraft inspection is an important capability for enabling servicing and manufacturing missions and extending the life of spacecraft. However, as space operations becom…

eess.SY2024★ 1 cited

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions

Tamas G. Molnar, Suresh K. Kannan, James Cunningham +3

Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, pref…

cs.RO2024

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…

eess.SY2024

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…

cs.CY2023

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…

eess.SY2023

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…