Reliable AI for Marine Robotics

Projektinformationen

REMARO

ID Finanzhilfevereinbarung: 956200

DOI

10.3030/956200

Projekt abgeschlossen

EK-Unterschriftsdatum 31 August 2020

Startdatum 1 Dezember 2020

Enddatum 30 April 2025

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 4 076 959,20

EU-Beitrag

€ 4 076 959,20

Koordiniert durch

IT-UNIVERSITETET I KOBENHAVN
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Documents, reports (15)

Reliable Marine AI Tools

The deliverable reports the key scientific results by all ESRs involved in WP3 during the first reporting period

Reliable Vision and Navigation Under Water

The deliverable reports the key scientific results by all ESRs involved in WP1 during the first reporting period

Sonar-based 3D reconstruction for dense underwater SLAM maps

ESR3 Sonar-based 3D reconstruction for dense underwater SLAM maps

Vision-based navigation for underwater safety critical applications

ESR2 Vision-based navigation for underwater safety critical applications

Reliable Mission and Planning Under Water

The deliverable reports the key scientific results by all ESRs involved in WP2 during the first reporting period

Probabilistic property-based testing for feature classification in submarine vision

ESR4 Probabilistic property-based testing for feature classification in submarine vision

System-level verification of an autonomous under-water robot

ESR9 System-level verification of an autonomous under-water robot

Continuous quality assurance for cognitive control

ESR15 Continuous quality assurance for cognitive control

Identification of biogeochemical signatures of dynamic features of the ocean

ESR6 Identification of biogeochemical signatures of dynamic features of the ocean

Formal methods for underwater robots as probabilistic hybrid systems

ESR13 Formal methods for underwater robots as probabilistic hybrid systems

Model-based probabilistic testing for system-level safety of underwater visioncontrolled robot

ESR7 Model-based probabilistic testing for system-level safety of underwater visioncontrolled robot

Verification methods for reflective control systems

ESR14 Verification methods for reflective control systems

Meta-control for reliable autonomous operation of underwater robots

ESR8 Meta-control for reliable autonomous operation of underwater robots

Digital Twin Knowledge Base for submarine robot inspection/manipulation

ESR10 Digital Twin Knowledge Base for submarine robot inspection/manipulation

Property-based testing and statistical assessment of plans

ESR12 Property-based testing and statistical assessment of plans

Veröffentlichungen

Conference proceedings (25)

Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees

Autoren: Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, László Antal, Maria Costa, Yury Brodskiy
Veröffentlicht in: OCEANS 2024 - Singapore, 2024, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/oceans51537.2024.10682385

Real-Time Automatic Wall Detection and Localization based on Side Scan Sonar Images

Autoren: Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Veröffentlicht in: 2022 IEEE OES AUV SYMPOSIUM, Ausgabe 2022, 2022, ISBN 978-1-6654-1689-4
Herausgeber: IEEE
DOI: 10.1109/auv53081.2022.9965813

Belief-based Fault Recovery for Marine Robotics

Autoren: Coffelt, Kashani, Wąsowski, Kampmann
Veröffentlicht in: 2022 Joint Ontology Workshops, Ausgabe Vol 3249, 2022, Seite(n) 1-14, ISSN 1613-0073
Herausgeber: CEUR

MIMIR-UW: A Multipurpose Synthetic Dataset for Underwater Navigation and Inspection

Autoren: Olaya Álvarez-Tuñón, Hemanth Kanner, Luiza Ribeiro Marnet, Huy Xuan Pham, Jonas le Fevre Sejersen, Yury Brodskiy, Erdal Kayacan
Veröffentlicht in: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Ausgabe n 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Seite(n) 6141-6148, ISBN 978-1-6654-9190-7
Herausgeber: IEEE
DOI: 10.1109/iros55552.2023.10341436

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles

Autoren: Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
Veröffentlicht in: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023, Seite(n) 181-187
Herausgeber: ACM
DOI: 10.1109/seams59076.2023.00031

Towards a Cognitive Architecture for Marine Robots

Autoren: Jeremy Paul Coffelt, Michael Beetz, Peter Kampmann
Veröffentlicht in: OCEANS 2023 - Limerick, 2023, Seite(n) 1-8, ISBN 979-8-3503-3226-1
Herausgeber: IEEE
DOI: 10.1109/oceanslimerick52467.2023.10244274

Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings

Autoren: Tobias John, Patrick Koopmann
Veröffentlicht in: 2023 PLanning And onTology wOrkshop (PLATO), Ausgabe Vol 3493, 2023, ISSN 1613-0073
Herausgeber: CEUR

Loss it right: Euclidean and Riemannian Metrics in Learning-based Visual Odometry

Autoren: Olaya Alvarez-Tunon; Yury Brodskiy; Erdal Kayacan
Veröffentlicht in: ISR Europe 2023; 56th International Symposium on Robotics, Ausgabe SR Europe 2023; 56th International Symposium on Robotics, 2023, Seite(n) 107-111, ISBN 978-3-8007-6140-1
Herausgeber: IEEE

SAVOR: Sonar-Aided Visual Odometry and Reconstruction

Autoren: Jeremy Coffelt, Peter Kampmann, Bilal Wehbe
Veröffentlicht in: IROS 2024, 2024
Herausgeber: IEEE

A Deep Learning Framework for Semantic Segmentation of Underwater Environments

Autoren: A Smith, J Coffelt, K Lingemann
Veröffentlicht in: 2022 IEEE OES OCEANS, Ausgabe 2022, 2022, Seite(n) 1-7, ISSN 0197-7385
Herausgeber: IEEE
DOI: 10.1109/oceans47191.2022.9977212

Towards Ontology-Mediated Planning with OWL DL Ontologies

Autoren: Tobias John, Patrick Koopmann
Veröffentlicht in: 36th International Workshop on Description Logics (DL 2023), Ausgabe Vol 3515, 2023, Seite(n) 1–14, ISSN 1613-0073
Herausgeber: CEUR

Risk-Averse Planning and Plan Assessment for Marine Robots*

Autoren: Mahya Mohammadi Kashani, Tobias John, Jeremy P. Coffelt, Einar Broch Johnsen, Andrzej Wąsowski
Veröffentlicht in: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Ausgabe Electronic ISSN: 2153-0866, 2024, Seite(n) 1277-1282
Herausgeber: IEEE
DOI: 10.1109/iros58592.2024.10802496

SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization

Autoren: Olaya Álvarez-Tuñón, Luiza Ribeiro Marnet, Martin Aubard, László Antal, Maria Costa, Yury Brodskiy
Veröffentlicht in: OCEANS 2024 - Singapore, 2024, Seite(n) 1-7
Herausgeber: IEEE
DOI: 10.1109/oceans51537.2024.10682150

A Formal Model of Metacontrol in Maude

Autoren: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Veröffentlicht in: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2022: Verification and Validation of Concurrent and Distributed Heterogeneous Systems., 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-19849-6_32

MarineLLM-PDDL: Generation of Planning Domains for Marine Vessels Using Past Incident Response Plans

Autoren: Mahya Mohammadi Kashani, Stefan Heinrich, Andrzej Wasowski
Veröffentlicht in: The 16 edition of the European Robotics Forum 2025, Springer Proceedings in Advanced Robotics, 2025
Herausgeber: Springer

Bridging the Sim-to-Real GAP for Underwater Image Segmentation

Autoren: Luiza Ribeiro Marnet, Stella Grasshof, Yury Brodskiy & Andrzej Wąsowski
Veröffentlicht in: OCEANS 2024 Singapore, 2024, ISBN 978-3-031-59057-3
Herausgeber: IEEE

Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions

Autoren: László Antal, Hana Masara, Erika Ábrahám
Veröffentlicht in: 5th International Workshop on Formal Methods for Autonomous Systems (FMAS), Ausgabe 2023, 2023, Seite(n) 30-68
Herausgeber: EPTCS

Sonar2Depth: Acoustic-Based 3D Reconstruction Using cGANs

Autoren: Nael Jaber, Bilal Wehbe, Frank Kirchner
Veröffentlicht in: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Seite(n) 5828-5835, ISBN 978-1-6654-9190-7
Herausgeber: IEEE
DOI: 10.1109/iros55552.2023.10342251

Marine Snow Simulation and Elimination in Video

Autoren: Jeremy Paul Coffelt, Nicolas Nowald, Peter Kampmann
Veröffentlicht in: 2023 IEEE Underwater Technology (UT), Ausgabe 2023, 2024, Seite(n) 1-10, ISBN 979-8-3503-3175-2
Herausgeber: IEEE
DOI: 10.1109/ut49729.2023.10103393

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Autoren: Sergio Quijano; Mahsa Varshosaz
Veröffentlicht in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Ausgabe 08-June-2022, 2022, Seite(n) 486-488, ISBN 978-1-6654-6680-6
Herausgeber: IEEE
DOI: 10.1109/icst53961.2022.00063

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Autoren: Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Veröffentlicht in: Lecture Notes in Computer Science, Integrated Formal Methods, Ausgabe vol 14300, 2024, Seite(n) 343-363, ISBN 978-3-031-47704-1
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-47705-8_18

Segmentation of Multibeam Echosounder Bathymetry and Backscatter

Autoren: Jeremy Paul Coffelt, Amos Smith, Niklas Conen, Peter Kampmann
Veröffentlicht in: OCEANS 2024 - Singapore, 2024, Seite(n) 1-6, ISBN 979-8-3503-6207-7
Herausgeber: IEEE
DOI: 10.1109/oceans51537.2024.10706267

LSTS Toolchain Framework for Deep Learning Implementation into Autonomous Underwater Vehicle

Autoren: Martin Aubard, Ana Madureira, Luis Madureira, Renato Campos, Maria Costa, José Pinto, João Sousa
Veröffentlicht in: OCEANS 2023 - Limerick, 2023, Seite(n) 1-6, ISBN 979-8-3503-3226-1
Herausgeber: IEEE
DOI: 10.1109/oceanslimerick52467.2023.10244721

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

Autoren: Sergio Quijano, Mahsa Varshosaz, Andrzej Wąsowski
Veröffentlicht in: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, Seite(n) 63-67
Herausgeber: IEEE
DOI: 10.1109/icstw60967.2024.00022

Mutation-Based Integration Testing of Knowledge Graph Applications

Autoren: Tobias John, Einar Broch Johnsen, Eduard Kamburjan
Veröffentlicht in: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE), Ausgabe 2024, 2025, Seite(n) 475-486, ISBN 979-8-3503-5388-4
Herausgeber: IEEE
DOI: 10.1109/issre62328.2024.00052

Peer reviewed articles (4)

3D-DUO: 3D detection of underwater objects in low-resolution multibeam echosounder maps

Autoren: Nael Jaber, Bilal Wehbe, Frank Kirchner
Veröffentlicht in: Ocean Engineering, Ausgabe 331, 2025, Seite(n) 121254, ISSN 0029-8018
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.oceaneng.2025.121254

Linear Time-Varying Parameter Estimation: Maximum A Posteriori Approach via Semidefinite Programming

Autoren: Sasan Vakili, Mohammad Khosravi, Peyman Mohajerin Esfahani, Manuel Mazo
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe 8, 2024, Seite(n) 73-78, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2023.3347198

A Configurable Software Model of a Self-Adaptive Robotic System

Autoren: Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, S. Lizeth Tapia Tarifa
Veröffentlicht in: Science of Computer Programming, Ausgabe 240, 2024, Seite(n) 103221, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2024.103221

Monocular Visual Simultaneous Localization and Mapping: (R)Evolution From Geometry to Deep Learning-Based Pipelines

Autoren: Olaya Álvarez-Tuñón, Yury Brodskiy, Erdal Kayacan
Veröffentlicht in: IEEE Transactions on Artificial Intelligence, Ausgabe 5, 2024, Seite(n) 1990-2010, ISSN 2691-4581
Herausgeber: IEEE
DOI: 10.1109/tai.2023.3321032

Book chapters (4)

Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection

Autoren: Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wąsowski
Veröffentlicht in: Communications in Computer and Information Science, Robotics, Computer Vision and Intelligent Systems, 2024, Seite(n) 66-81
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-59057-3_5

A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories

Autoren: László Antal, Martin Aubard, Erika Ábrahám, Ana Madureira, Luís Madureira, Maria Costa, José Pinto, Renato Campos
Veröffentlicht in: Lecture Notes in Networks and Systems, Innovations in Bio-Inspired Computing and Applications, 2023, Seite(n) 448-457, ISBN 978-3-031-27498-5
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-27499-2_42

Planning with OWL-DL Ontologies

Autoren: Tobias John, Patrick Koopmann
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2024, Ausgabe 2024, 2024, Seite(n) 4165 – 4172, ISBN 978-1-64368-548-9
Herausgeber: IOS Press
DOI: 10.3233/faia240988

Template Decision Diagrams for Meta Control and Explainability

Autoren: Clemens Dubslaff, Verena Klös, Juliane Päßler
Veröffentlicht in: Communications in Computer and Information Science, Explainable Artificial Intelligence, 2024, Seite(n) 219-242
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63797-1_12