3 papers
math.OC2026
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
Ege C. Kaya, Michael Hibbard, Takashi Tanaka +2
We study a pair of budget- and performance-constrained weak-submodular maximization problems. For computational efficiency, we explore the use of stochastic greedy algorithms which…
eess.SY2025
Verifiable Mission Planning For Space Operations
Quentin Rommel, Michael Hibbard, Pavan Shukla +3
Spacecraft must operate under environmental and actuator uncertainties while meeting strict safety requirements. Traditional approaches rely on scenario-based heuristics that fail…
cs.CR2025
Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis
Jihoon Suh, Michael Hibbard, Kaoru Teranishi +3
The computation of collision probability () is crucial for space environmentalism and sustainability by providing decision-making knowledge that can prevent collisio…