Conferences
Underwater Localization using Probabilistic Sonar Registration and Pose Graph Optimization
This study is focused on a novel approach to perform underwater robot localization using sonar sensors. The approach is divided in three main steps. First, the sonar data is used to build probabilistic point clouds. Second, these point clouds are registered and a pose...
Towards Multi Session Visual SLAM in Underwater Environments Colonized with Posidonia Oceanica
Towards a Fault-Tolerant Architecture based on Time Sensitive Networking
The Time Sensitive Networking (TSN) Task Group has been working on describing a set of standards that will provide enhanced capabilities to standard Ethernet. Specifically, they work to provide Ethernet with real-time, reliability and reconfiguration capacities....
Verification of the Schedule Consistent Update Mechanisms of FTTRS with UPPAAL
Critical Adaptive Distributed Embedded Systems (ADESs) are nowadays the focus of many researchers. ADESs are envisioned to dynamically modify their behavior to support changes of their real-time and dependability requirements at runtime as the conditions of the...
Towards a Self-Reconfigurable Infrastructure for Critical Adaptive Distributed Embedded Systems
Adaptive systems, apart from fulfilling some functional requirements, can modify their behaviour autonomously and dynamically to cope with new operational requirements or conditions. The DFT4FTT project aims at providing a self-reconfigurable infrastructure that can...
First Study of the Proactive Transmission of Replicated Frames Mechanism over TSN
TSN is a set of technical standards developed by IEEE to provide Ethernet with flexibility, real-time and reliability services. For these reasons, TSN represents an appealing technology for the networks of Cyberphysical Systems. Nevertheless, TSN does not cover some...