7 papers
Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study
Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer +4
Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as exi…
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Hanna Krasowski, Elizabeth Dietrich, Emir Cem Gezer +3
Signal Temporal Logic (STL) is an expressive language for specifying behaviors of dynamical systems from continuous signals. However, a limitation of standard STL is its inherently…
Risk-Aware Obstacle Avoidance Algorithm for Real-Time Applications
Ozan Kaya, Emir Cem Gezer, Roger Skjetne +1
Robust navigation in changing marine environments requires autonomous systems capable of perceiving, reasoning, and acting under uncertainty. This study introduces a hybrid risk-aw…
Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin
Emir Cem Gezer, Mael Korentin Ivan Moreau, Anders Sandneseng Høgden +3
The algorithms developed for Maritime Autonomous Surface Ships (MASS) are often challenging to test on actual vessels due to high operational costs and safety considerations. Simul…
Towards Modular and Accessible AUV Systems
Mingxi Zhou, Farhang Naderi, Yuewei Fu +6
This paper reports the development of a new open-access modular framework, called Marine Vehicle Packages (MVP), for Autonomous Underwater Vehicles. The framework consists of both…
Symbolic Control for Autonomous Docking of Marine Surface Vessels
Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong +4
We develop a hierarchical control architecture for autonomous docking maneuvers of a dynamic positioning vessel and provide formal safety guarantees. At the upper-level, we treat t…