Kerianne Hobbs

19 papers C 2Journal 11Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Optimal Runtime Assurance via Reinforcement Learning. ICCPS Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
2024	J	`jnl`	Provable observation noise robustness for neural network control systems. Res. Dir. Cyber Phys. Syst. Veena Krish, Andrew Mata, Stanley Bak, Kerianne Hobbs, Amir Rahmati
2024	J	`jnl`	Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. CoRR Kyle Dunlap, Kochise Bennett, David van Wijk, Nathaniel Hamilton, Kerianne Hobbs
2024	J	`jnl`	Safe Spacecraft Inspection via Deep Reinforcement Learning and Discrete Control Barrier Functions. J. Aerosp. Inf. Syst. David van Wijk, Kyle Dunlap, Manoranjan Majji, Kerianne Hobbs
2024	J	`jnl`	Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
2023	C	`conf`	A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. ACC Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs
2023	J	`jnl`	Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
2022	J	`jnl`	A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. CoRR Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs
2022	J	`jnl`	Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. IEEE Control. Syst. Lett. Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs
2022	C	`conf`	Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics ACC Michael Hibbard, Ufuk Topcu, Kerianne Hobbs
2021	J	`jnl`	Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. CoRR Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs
2021	—	`conf`	Comparing the Explainability and Performance of Reinforcement Learning and Genetic Fuzzy Systems for Safe Satellite Docking. NAFIPS Kyle Dunlap, Kelly Cohen, Kerianne Hobbs
2021	J	`jnl`	Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
2020	—	`—`	Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. Kerianne Hobbs
2020	—	`conf`	Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
2019	J	`jnl`	Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). CoRR Stanley Bak, Kerianne Hobbs
2019	—	`conf`	Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ARCH@CPSIoTWeek Stanley Bak, Kerianne Hobbs
2018	—	`conf`	Space Debris Collision Detection using Reachability. ARCH@ADHS Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak
2017	J	`jnl`	Foundations of Intelligent Additive Manufacturing. CoRR Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs