3 papers · 1 filter
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…
Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1
The assessment of planktonic standing stocks and microorganism structures is critical for understanding upper ocean biological processes. Currently, autonomous underwater vehicles…
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…