Kerianne Hobbs

According to our database, Kerianne Hobbs authored at least 23 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Tamás G. Molnár, Suresh K. Kannan, James Cunningham, Kyle Dunlap, Kerianne L. Hobbs, Aaron D. Ames

CoRR, 2024

Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates.

Arturo de la Barcena, Collin Rhodes, John McCarroll, Marzia Cescon, Kerianne L. Hobbs

CoRR, 2024

Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering.

Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton, Jabari Wilson, Kerianne L. Hobbs

CoRR, 2024

2023

Run Time Assured Reinforcement Learning for Safe Satellite Docking.

Kyle Dunlap, Mark Mote, Kaiden Delsing, Kerianne L. Hobbs

J. Aerosp. Inf. Syst., 2023

Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control.

Kerianne L. Hobbs, Bernard Li

CoRR, 2023

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning.

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan

CoRR, 2023

Deep Reinforcement Learning for Autonomous Spacecraft Inspection using Illumination.

David van Wijk, Kyle Dunlap, Manoranjan Majji, Kerianne L. Hobbs

CoRR, 2023

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture.

Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs

CoRR, 2023

Run Time Assurance for Autonomous Spacecraft Inspection.

Kyle Dunlap, David van Wijk, Kerianne L. Hobbs

CoRR, 2023

A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation.

Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs

Proceedings of the American Control Conference, 2023

2022

Comparing Run Time Assurance Approaches for Safe Spacecraft Docking.

Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs

IEEE Control. Syst. Lett., 2022

Space Trusted Autonomy Readiness Levels.

Kerianne L. Hobbs, Joseph B. Lyons, Martin S. Feather, Benjamen P. Bycroft, Sean Phillips, Michelle Simon, Mark Harter, Kenneth Costello, Yuri Gawdiak, Stephen Paine

CoRR, 2022

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System.

Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse, Kyle Dunlap, Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi

CoRR, 2022

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.

Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs

CoRR, 2022

Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics^*.

Michael Hibbard, Ufuk Topcu, Kerianne Hobbs

Proceedings of the American Control Conference, 2022

2021

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.

Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron

CoRR, 2021

Comparing the Explainability and Performance of Reinforcement Learning and Genetic Fuzzy Systems for Safe Satellite Docking.

Kyle Dunlap, Kelly Cohen, Kerianne Hobbs

Proceedings of the Explainable AI and Other Applications of Fuzzy Techniques, 2021

2020

Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems.

Kerianne Hobbs

PhD thesis, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report).

Stanley Bak, Kerianne Hobbs

CoRR, 2019

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees.

Stanley Bak, Kerianne Hobbs

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Space Debris Collision Detection using Reachability.

Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Foundations of Intelligent Additive Manufacturing.

Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs

CoRR, 2017