Michael Hibbard

21 papers C 4Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis.
CoRR
Jihoon Suh, Michael Hibbard, Kaoru Teranishi, Takashi Tanaka, Moriba Jah, Maruthi Akella
2025 C conf
Optimal Multi-Spacecraft Refueling Planning for Cislunar Operations Using Multi-Fidelity Models.
ACC
Quentin Rommel, Michael Hibbard, John 'Jack' Chubick, Daniel J. Scheeres, Ufuk Topcu
2025 J jnl
Randomized greedy methods for weak submodular sensor selection with robustness considerations.
Autom.
Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi
2025 J jnl
Verifiable Mission Planning For Space Operations.
CoRR
Quentin Rommel, Michael Hibbard, Pavan Shukla, Himanshu Save, Srinivas Bettadpur, Ufuk Topcu
2024 J jnl
On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints.
IEEE Trans. Autom. Control.
Yagiz Savas, Christos K. Verginis, Michael Hibbard, Ufuk Topcu
2024 J jnl
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations.
CoRR
Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi
2023 C conf
Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations.
ACC
Michael Hibbard, Abolfazl Hashemi, Takashi Tanaka, Ufuk Topcu
2023 J jnl
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.
IEEE Trans. Robotics
Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2023 J jnl
Simultaneous perception-action design via invariant finite belief sets.
Autom.
Michael Hibbard, Takashi Tanaka, Ufuk Topcu
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 J jnl
Entropy Maximization for Partially Observable Markov Decision Processes.
IEEE Trans. Autom. Control.
Yagiz Savas, Michael Hibbard, Bo Wu, Takashi Tanaka, Ufuk Topcu
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
2022 J jnl
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.
CoRR
Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2021 J jnl
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking.
CoRR
Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs
2021 C conf
Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes.
ACC
Michael Hibbard, Kirsten Tuggle, Takashi Tanaka
2021 J jnl
Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes.
IEEE Control. Syst. Lett.
Michael Hibbard, Kirsten Tuggle, Takashi Tanaka
2021 J jnl
Simultaneous Perception-Action Design via Invariant Finite Belief Sets.
CoRR
Michael Hibbard, Takashi Tanaka, Ufuk Topcu
2020 — conf
Path Integral Control for Stochastic Dynamic Traffic Routing Problems.
CDC
Michael Hibbard, Yasuaki Wasa, Takashi Tanaka
2020 J jnl
Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes.
CoRR
Michael Hibbard, Kirsten Tuggle, Takashi Tanaka
2019 J jnl
Minimizing the Information Leakage Regarding High-Level Task Specifications.
CoRR
Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu
2019 — conf
Unpredictable Planning Under Partial Observability.
CDC
Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu