Secure and Safe Multi-Robot Systems

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Tools for Automated Quality Assurance of EDDI-Supported MRS (Initial Version)

This deliverable will provide an initial version of the SESAME quality assurance toolset. The toolset will support testing of data-generating and learning components of MRS and robustness and fuzzing testing for EDDIs.

Tools for Automated Safety Analysis of MRS and for Production of EDDIs (Initial Version)

The deliverable will detail the initial version of EDDI-specific tool extensions in HiP-HOPS and safeTbox.

Tools for Automated Security Analysis of MRS and for Production of EDDIs

This deliverable will provide an initial version of the techniques and tools developed in Task 5.5 for vulnerability scanning and intrusion detection through incoming packet inspection for MRS.

Executable Scenarios Workbench (Initial Version)

This deliverable will present the metamodels for scenario-based design from Task 3.2 and an initial version of the scenario workbench from Task 3.3.

Open-Source Software Components for Explainable EDDIs

This deliverable will provide mechanisms for making EDDIs explainable by utilising the digital twin technology developed in WP6.

Executable Scenario Workbench (Final Version)

This deliverable will provide the final version of the scenario workbench, including scenario management and code generation facilities.

Integrated Platform - Final Version

This deliverable will produce the final version of the SESAME unified development studio and deployment platform. The platform will synthesise the technical contributions from WP2-7 into an integrated analysis and development environment.

Integrated Platform - Initial Version

The deliverable will include preliminary integrated versions of the SESAME solution and reports on main features and installation/customization guidelines.

Tools for Automated Safety Analysis of MRS and for Production of EDDIs (Final Version)

This deliverable will provide the final version of EDDI-specific tool extensions in HiP-HOPS and safeTbox.

Quality Assurance of EDDI-Enabled MRS Using Digital Twins

This deliverable will present the digital twin technology developed in Task 6.4.

Tools for Automated Quality Assurance of EDDI-Supported MRS (Final Version)

This deliverable will provide the final version of the quality assurance toolset which will include quality assurance tools for data-driven learning components, simulation-based testing tools for EDDIs, EDDI debugging and hardening tools, and a digital twins technology for verification and validation. A deliverable will document the interfaces of these tools and how they can be integrated.

Open and Public Repository of Executable Scenarios

This deliverable will report on the executable scenarios repository and on how scenarios can be reused for different applications and domains.

Tools for Automated Security Analysis of MRS and for Production of EDDIs (Final Version)

This deliverable will report the final version of the methodology from Task 5.1 and techniques and tools developed in Task 5.5 for vulnerability scanning and intrusion detection.

Runtime Safety and Security Concept - EDDI-based MAS and Communication

This deliverable will report the architecture of the EDDI-based MAS, the collaboration protocols, and functions provided, as well as the tools for the configuration and deployment of runtime EDDIs.

Tools for Generation of Runtime EDDIs

This deliverable will report the transformation and code generation tools developed to support the semi-automatic generation of runtime EDDIs in Task 7.2.

Executable Scenario Management

This deliverable will provide the graph-based scenario management approach developed in the context of Task 3.4.

Project Website

A public website describing the project objectives, ap- proach, partners involved and expected results in the initial version. Later updates will include announcements of workshops and conferences, downloadable papers and articles and the public deliverables from the project. The website will be updated periodically.

Project Presentation and Brochure

Materials to present the project to interested parties including details on the technical challenges and the approaches being developed within the project to address the challenges, the expected impact from both a technical and societal standpoint, and where to obtain further information and details concerning the project research and development work.

Press and Media Materials

Summary of Press Releases and other supporting materials and activities used during the operation of the project to promote and create awareness of the project and expected impact for industry. The materials also includes a summary of articles, interviews and other write-ups and articles that reference the SESAME project generated from the communications activities carried out within the project.

Specification of MRS Capabilities

This deliverable will introduce the concept of the stratagem developed in Task 2.1 and will provide a set of architectural guidelines for MRS. Moreover, it will specify the MRS capabilities, which are relevant to the SESAME use cases.

Recommendations for EDDI Repair and Hardening

This deliverable will present the recommendation engine for EDDI repair and hardening developed in Task 6.3.

Architectural Guidelines Report

This deliverable will detail the core design decisions and architectural guidelines that will ensure that the contributions of WP2-7 will be interoperable by construction.

Security Analysis of EDDIs

This deliverable will report the process for assessing the security of the infrastructure underpinning the EDDIs, the results of this analysis, potential vulnerabilities, and possible hardening techniques. This work is performed in Task 5.4.

Multi-staged Quality Assurance Methodology for EDDI-Supported MRS

This deliverable will report on a multi-staged quality assurance process for EDDI-enabled MRS developed in Task 6.5. Moreover, it will provide guidelines on how to use the SESAME quality assurance toolset to support this process.

Safety-Security Co-Engineering Framework

This report will describe the co- engineering process of design artefacts (ExSce) with safety and security analysis artefacts (EDDIs).

Assurance of Data-Driven and Learning Components of EDDIs

This deliverable will detail the assurance techniques for data-driven and learning components developed in Task 6.1.

Evaluation Method Establishment

This deliverable will present the methodology for evaluation of SESAME solutions within use cases, defined criteria and KPIs.

Safety Analysis Concept and Methodology for EDDI development (Final Version)

This deliverable will provide the final versions of (1) the safety EDDI; and (2) the safety analysis methodology.

Tailorability of EDDIs

This deliverable will report the results of Task 5.3, including the techniques developed for making EDDIs tailorable and reusable in different applications and operational domains.

Simulation-Based Testing Methodology for EDDIs

This deliverable will document the proposed simulation-based approach developed in Task 6.2, including relevant coverage and adequacy criteria.

Security-Targeted ODE and EDDI Specification

This deliverable will present the extensions to the ODE metamodel with security-specific concerns for MRS. This work is performed in Task 5.2.

Collaborative Sensor Fusion

This deliverable will provide the details from Task 2.3 on performing accurate multi-sensor and multi-robot sensor fusion based on perception sensors for localisation, mapping, obstacle detection and other team robots identification algorithms.

Security Analysis Concept and Methodology for EDDI development

This deliverable will report the development of the MRS security concept developed in Task 5.1. This deliverable will also present the state-of-the-art in security analysis for robotic systems, informing the rest of the work.

Safety Analysis Concept and Methodology for EDDI development (Initial Version)

This deliverable will report on the relevant state-of-the-art in safety analysis and will provide an initial version of: (1) safety EDDI - a generic, tool-agnostic concept for safety analysis that enables efficient MRS safety analysis at design-time and runtime; and (2) a safety analysis methodology for applying the concept.

MRS Design Concept and Methodology

This deliverable will document the analysis of the state-of-the-art in requirements engineering and model-based development for robotics performed in Task 3.1. Moreover, it will document the novel ExSce concept and methodology developed in the same work package.

Experience-Based Planning and Collaborative Intelligence of MRS

This deliverable will detail the novel experience-based planning approach to collaborative MRS intelligence developed in Task 2.5.

Multi-Robot Monitoring Online Trajectory Generation

This deliverable will report on work performed in Task 2.4, including the novel approach to online collaborative trajectory planning which reduces the uncertainty of situational awareness. Also, the deliverable will provide the analysis and validation of the experiments developed on simulated environments and in-the-lab settings.

Safety-Targeted ODE and EDDI specification

This deliverable is an extended version of the ODE metamodel that will address the issues mentioned in the Task 4.2. The metamodel will be accompanied by appropriate documentation and relevant digital artefacts.

Multi-Robot Collaborative Rescue Mission

This deliverable will report the novel approach to generate trajectories of a collaborative MRS performed in Task 2.4. The generated trajectories can provide extra off-board sensor feedback to rescue robots under various distress types (e.g., cyber-attack, sensor malfunction).

Runtime Safety and Security Concept - EDDI Runtime Model Specification

This deliverable will introduce the concept of EDDI runtime models and the algorithms required for enabling event monitoring, fault diagnosis, and dependability management. The work in this deliverable is performed in Task 7.1.

Model Identification

This deliverable will document the model identification technique for runtime detection of dynamic and kinematic models of robots developed in the context of Task 2.2.

Data Management Plan

"Report documenting the consortium’s data management plan in compliance with the guidelines provided in Annex 2 of the EC ""Guidelines on Data Management in Horizon 2020"" document. More specifically, the deliverable will outline how research data will be collected, handled and made available to the community during and after the lifespan of SESAME. This will be a live document that will evolve beyond its delivery and capture the current status of each data set used in the project including its name and description, any standards that it conforms to, a description of how it is shared with the community (or why it cannot be shared), and a plan for long term archiving and preservation."

Publicaciones

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems

Autores: Armengaud, E.; Schneider, D.; Reich, J.; Sorokos, I.; Papadopoulos, Y.; Zeller, M.; Regan, G.; Macher, G.; Veledar, O.; Thalmann, S.; Kabir, Sohag
Publicado en: Proceedings of the 2021 Design, Automation & Test in Europe (DATE 2021), 2021
Editor: IEEE
DOI: 10.23919/date51398.2021.9474049

Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation

Autores: Salman Omar Sohaily, Alex Mitrevskiyx, Nico Hochgeschwendery, and Paul G. Ploger
Publicado en: Proceedings 10th European Conference on Mobile Robots, 2021, ISBN 978-1-6654-1213-1
Editor: IEEE Explore
DOI: 10.1109/ecmr50962.2021

GPS-aided Visual Wheel Odometry

Autores: Junlin Song, Pedro J. Sanchez-Cuevas, Antoine Richard, Miguel Olivares-Mendez
Publicado en: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 2024, Página(s) 375-382
Editor: IEEE
DOI: 10.1109/itsc57777.2023.10422097

An Analysis of Behaviour-Driven Requirement Specification for Robotic Competitions

Autores: Minh Nguyen, Nico Hochgeschwender, Sebastian Wrede
Publicado en: 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE), 2023, Página(s) 17-24
Editor: IEEE
DOI: 10.1109/rose59155.2023.00008

Improving GPS-VIO Fusion with Adaptive Rotational Calibration

Autores: Junlin Song, Pedro J. Sanchez-Cuevas, Antoine Richard, Raj Thilak Rajan, Miguel Olivares-Mendez
Publicado en: Proceedings of 2024 IEEE International Conference on Robotics and Automation, 2024
Editor: IEEE

Maximum Likelihood Uncertainty Estimation: Robustness to Outliers

Autores: Deebul S. Nair, Nico Hochgeschwender, Miguel A. Olivares-Mendez
Publicado en: Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022), Edición 16130073, 2022, ISSN 1613-0073
Editor: CEUR-WS.org

Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud Practical Experience Report

Autores: Schmidt, Andreas & Reich, Jan & Sorokos, Ioannis
Publicado en: Proceedings 17th European Dependable Computing Conference (EDCC), 2021
Editor: IEEE Explore
DOI: 10.1109/edcc53658.2021.00016

An Integrated Real-time UAV Trajectory Optimization and Potential Field Approach for Dynamic Collision Avoidance

Autores: D. M. K. K. Venkateswara Rao, Hamed Habibi, Jose Luis Sanchez-Lopez, Holger Voos
Publicado en: 2023 International Conference on Unmanned Aircraft Systems (ICUAS), 2024
Editor: IEEE
DOI: 10.1109/icuas57906.2023.10156337

Domain-specific languages for kinematic chains and their solver algorithms: lessons learned for composable models

Autores: Sven Schneider, Nico Hochgeschwender, Herman Bruyninckx
Publicado en: 2023 IEEE International Conference on Robotics and Automation (ICRA), 2023, Página(s) 9104-9110
Editor: IEEE
DOI: 10.1109/icra48891.2023.10160474

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Autores: Simos Gerasimou; Javier Cámara; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang
Publicado en: IEEE International Conference on Automated Software Engineering (ASE), 2022
Editor: IEEE
DOI: 10.1109/ase51524.2021.9678727

Joint Spatial-Temporal Calibration for Camera and Global Pose Sensor

Autores: Junlin Song, Antoine Richard, Miguel Olivares-Mendez
Publicado en: 2024 International Conference on 3D Vision (3DV), 2024, Página(s) 1027-1036
Editor: IEEE
DOI: 10.1109/3dv62453.2024.00074

Towards Online System Identification: Benchmark of Model Identification Techniques for Variable Dynamics UAV Applications

Autores: Junlin Song; Pedro J. Sanchez-Cuevas; Miguel Olivares-Mendez
Publicado en: Proceedings 2022 International Conference on Unmanned Aircraft Systems (ICUAS), 2022
Editor: IEEE
DOI: 10.1109/icuas54217.2022.9836134

Testing Service Robots in the Field: An Experience Report

Autores: Argentina Ortega, Nico Hochgeschwender, Thorsten Berger
Publicado en: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2024, Página(s) 165-172
Editor: IEEE
DOI: 10.1109/iros47612.2022.9981789

Analysing the Safety and Security of a UV-C Disinfection Robot

Autores: Desiana Nurchalifah, Sebastian Blumenthal, Luigi Lo Iacono, Nico Hochgeschwender
Publicado en: 2023 IEEE International Conference on Robotics and Automation (ICRA), 2024, Página(s) 12729-12736
Editor: IEEE
DOI: 10.1109/icra48891.2023.10160527

Combining Drone-based Monitoring and Machine Learning for Online Reliability Evaluation of Wind Turbines

Autores: Sohag Kabir, Koorosh Aslansefat, Prosanta Gope, Felician Campean, Yiannis Papadopoulos
Publicado en: 2022 International Conference on Computing, Electronics & Communications Engineering (iCCECE), 2022, Página(s) 53-58
Editor: IEEE
DOI: 10.1109/iccece55162.2022.9875095

A Thousand Worlds: Scenery Specification and Generation for Simulation-Based Testing of Mobile Robot Navigation Stacks

Autores: Samuel Parra, Argentina Ortega, Sven Schneider, Nico Hochgeschwender
Publicado en: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Página(s) 5537-5544
Editor: IEEE
DOI: 10.1109/iros55552.2023.10342315

Automated Testing of Standard Conformance for Robots

Autores: Salman Omar Sohail, Sven Schneider, Nico Hochgeschwender
Publicado en: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), 2023, Página(s) 1-8
Editor: IEEE
DOI: 10.1109/case56687.2023.10260447

From zero to hero

Autores: Dominik Opitz, Nico Hochgeschwender
Publicado en: Proceedings of the 1st International Workshop on Natural Language-based Software Engineering, 2023, Página(s) 17-20
Editor: ACM
DOI: 10.1145/3528588.3528655

Semantic Data Augmentation for Deep Learning Testing Using Generative AI

Autores: Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas
Publicado en: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, Página(s) 1694-1698
Editor: IEEE
DOI: 10.1109/ase56229.2023.00194

SafetyKube: Towards Orchestration at the Edge for Critical Production Systems

Autores: Yousuf Al-Obaidi, Ioannis Sorokos, Andreas Schmidt
Publicado en: Proceeding of the 33rd European Safety and Reliability Conference, 2023, Página(s) 942-949
Editor: Research Publishing Services
DOI: 10.3850/978-981-18-8071-1_p217-cd

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

Autores: James Harbin; Simos Gerasimou; Nicholas Matragkas; Athanasios Zolotas; Radu Calinescu
Publicado en: Proceedings of ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021
Editor: IEEE
DOI: 10.1109/models50736.2021.00040

Adaptive Super-Twisting Controller Design for Accurate Trajectory Tracking Performance of Unmanned Aerial Vehicles

Autores: D. M. K. K. Venkateswara Rao, Hamed Habibi, Jose Luis Sanchez-Lopez, Prathyush P. Menon, Christopher Edwards, Holger Voos
Publicado en: IEEE Transactions on Control Systems Technology, Edición 32, 2024, Página(s) 2126-2135, ISSN 1063-6536
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcst.2024.3398293

A Review of Radio Frequency Based Localisation for Aerial and Ground Robots with 5G Future Perspectives

Autores: Meisam Kabiri, Claudio Cimarelli, Hriday Bavle, Jose Luis Sanchez-Lopez, Holger Voos
Publicado en: Sensors, Edición 23, 2024, Página(s) 188, ISSN 1424-8220
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s23010188

Adaptive Parameters for LoRa-Based Networks Physical-Layer

Autores: Edelberto Franco Silva, Lucas M. Figueiredo, Leonardo A. de Oliveira, Luciano J. Chaves, André L. de Oliveira, Denis Rosário, Eduardo Cerqueira
Publicado en: Sensors, Edición 23, 2023, Página(s) 4597, ISSN 1424-8220
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s23104597

Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations

Autores: Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
Publicado en: IEEE Software, Edición 41, 2024, Página(s) 87-97, ISSN 0740-7459
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2023.3321282

Model-driven design space exploration for multi-robot systems in simulation

Autores: James Harbin, Simos Gerasimou, Nicholas Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Publicado en: Software and Systems Modeling, Edición 22, 2023, Página(s) 1665-1688, ISSN 1619-1366
Editor: Springer Verlag
DOI: 10.1007/s10270-022-01041-w

RAUM-VO: Rotational Adjusted Unsupervised Monocular Visual Odometry

Autores: Claudio Cimarelli, Hriday Bavle, Jose Luis Sanchez-Lopez and Holger Voos
Publicado en: Sensors - Special Edición - Aerial Robotics: Navigation and Path Planning, Edición 14248220, 2022, ISSN 1424-8220
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s22072651

A Review of the Applications of Explainable Machine Learning for Lithium–Ion Batteries: From Production to State and Performance Estimation

Autores: Mona Faraji Niri, Koorosh Aslansefat, Sajedeh Haghi, Mojgan Hashemian, Rüdiger Daub, James Marco
Publicado en: Energies, Edición 16, 2024, Página(s) 6360, ISSN 1996-1073
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en16176360

Online Distributed Relative Positioning Utilizing Multiple Cooperative Autonomous Agents

Autores: Nicolas Souli, Panayiotis Kolios, Georgios Ellinas
Publicado en: Journal of Intelligent & Robotic Systems, Edición 109, 2023, ISSN 0921-0296
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10846-023-01992-2

A Hybrid Modelling Approach for Aerial Manipulators

Autores: Paul Kremer; Jose Luis Sanchez-Lopez; Holger Voos
Publicado en: Journal of Intelligent & Robotic Systems, Edición 15730409, 2022, ISSN 1573-0409
Editor: Springer
DOI: 10.48550/arxiv.2206.08644

Safe navigation of a quadrotor UAV with uncertain dynamics and guaranteed collision avoidance using barrier Lyapunov function

Autores: Hamed Habibi, Ali Safaei, Holger Voos, Mohamed Darouach, Jose Luis Sanchez-Lopez
Publicado en: Aerospace Science and Technology, Edición 132, 2024, Página(s) 108064, ISSN 1270-9638
Editor: Elsevier BV
DOI: 10.1016/j.ast.2022.108064

SORA Methodology for Multi-UAS Airframe Inspections in an Airport

Autores: Carol Martinez, Pedro J. Sanchez-Cuevas, Simos Gerasimou, Abhishek Bera and Miguel A. Olivares-Mendez
Publicado en: Drones, 2021, ISSN 2504-446X
Editor: MDPI

Andromeda: A model-connected framework for safety assessment and assurance

Autores: Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos
Publicado en: Journal of Systems and Software, Edición 220, 2024, Página(s) 112256, ISSN 0164-1212
Editor: Elsevier BV
DOI: 10.1016/j.jss.2024.112256

A Lightweight Universal Gripper with Low Activation Force for Aerial Grasping

Autores: P. Kremer, H. R. Nohooji, J. L. Sánchez-López, H. Voos
Publicado en: IEEE Access, 2022, ISSN 2169-3536
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.48550/arxiv.2208.10768

Cooperative Multi-Agent Jamming of Multiple Rogue Drones Using Reinforcement Learning

Autores: Panayiota Valianti, Kleanthis Malialis, Panayiotis Kolios, Georgios Ellinas
Publicado en: IEEE Transactions on Mobile Computing, Edición 23, 2024, Página(s) 12345-12359, ISSN 1536-1233
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tmc.2024.3409050

A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare Alternative Flare Gas Recovery Systems

Autores: Soheyl Moheb Khodayee, Ferdinando Chiacchio, Yiannis Papadopoulos
Publicado en: IEEE Access, Edición 21693536, 2021, ISSN 2169-3536
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2021.3069807

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities

Autores: Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
Publicado en: Lecture Notes in Computer Science, Model-Based Safety and Assessment, 2022, Página(s) 252-266
Editor: Springer International Publishing
DOI: 10.1007/978-3-031-15842-1_18

Scope Compliance Uncertainty Estimate Through Statistical Distance

Autores: Al-Harith Farhad, Ioannis Sorokos, Mohammed Naveed Akram, Koorosh Aslansefat
Publicado en: Lecture Notes in Networks and Systems, Advances in Information and Communication, 2024, Página(s) 413-432
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-53963-3_28

Adaptive Design of Uni-Variate Alarm Systems Based on Statistical Distance Measures

Autores: Mohsen Asaadi, Koorosh Aslansefat, Iman Izadi, Fan Yang
Publicado en: Communications in Computer and Information Science, Advanced Computational Intelligence and Intelligent Informatics, 2023, Página(s) 101-115
Editor: Springer Nature Singapore
DOI: 10.1007/978-981-99-7590-7_9

Buscando datos de OpenAIRE...

Resultado final

Publicaciones

Compartir esta página Compartir esta página en las redes sociales

Descargar Descargar el contenido de la página