3 papers
eess.SY2026
A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
Jason J. Choi, Donggun Lee, Boyang Li +4
Control invariant sets are crucial for various methods that aim to design safe control policies for systems whose state constraints must be satisfied over an indefinite time horizo…
eess.SY2026
System-Level Analysis of Module Uncertainty Quantification in the Autonomy Pipeline
Sampada Deglurkar, Haotian Shen, Anish Muthali +5
Modern autonomous systems with machine learning components often use uncertainty quantification to help produce assurances about system operation. However, there is a lack of conse…
eess.SY2025
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
Matthias Killer, Marius Wiggert, Hanna Krasowski +3
Seaweed biomass presents a substantial opportunity for climate mitigation, yet to realize its potential, farming must be expanded to the vast open oceans. However, in the open ocea…