Source author record

Miguel Duarte

Miguel Duarte appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers

The widespread use of Internet-of-Things (IoT) across different application domains leads to an increased concern regarding their dependability, especially as the number of potentially mission-critical systems becomes considerable. Fault-tolerance has been used to reduce the impact of faults in systems, and their adoption in IoT is becoming a necessity. This work focuses on how to exercise fault-tolerance mechanisms by deliberately provoking its malfunction. We start by describing a proof-of-concept fault-injection add-on to a commonly used publish/subscribe broker. We then present several experiments mimicking real-world IoT scenarios, focusing on injecting faults in systems with (and without) active self-healing mechanisms and comparing their behavior to the baseline without faults. We observe evidence that fault-injection can be used to (a) exercise in-place fault-tolerance apparatus, and (b) detect when these mechanisms are not performing nominally, providing insights into enhancing in-place fault-tolerance techniques.

preprint2022arXiv

Regularizing Dual-Frame Generalized Harmonic Gauge at Null Infinity

The dual-frame formalism leads to an approach to extend numerical relativity simulations in generalized harmonic gauge (GHG) all the way to null infinity. A major setback is that without care, even simple choices of initial data give rise to logarithmically divergent terms that would result in irregular variables and equations on the compactified domain, which would in turn prevent accurate numerical approximation. It has been shown, however, that a suitable choice of gauge and constraint addition can be used to prevent their appearance. Presently we give a first order symmetric hyperbolic reduction of general relativity in GHG on compactified hyperboloidal slices that exploits this knowledge and eradicates these log-terms at leading orders. Because of their effect on the asymptotic solution space, specific formally singular terms are systematically chosen to remain. Such formally singular terms have been successfully treated numerically in toy models and result in a formulation with the desirable property that unphysical radiation content near infinity is suppressed.

preprint2019arXiv

Conformally flat slices of asymptotically flat spacetimes

For mathematical convenience initial data sets in numerical relativity are often taken to be conformally flat. Employing the dual-foliation formalism, we investigate the physical consequences of this assumption. Working within a large class of asymptotically flat spacetimes we show that the ADM linear momentum is governed by the leading Lorentz part of a boost even in the presence of supertranslation-like terms. Following up, we find that in spacetimes that are asymptotically flat, and admit spatial slices with vanishing linear momentum that are sufficiently close to conformal flatness, any boosted slice can not be conformally flat. Consequently there are no conformally flat boosted slices of the Schwarzschild spacetime. This confirms the previously anticipated explanation for the presence of junk-radiation in Brandt-Bruegmann puncture data.

preprint2016arXiv

Asymptotically anti-de Sitter Proca Stars

We show that complex, massive spin-1 fields minimally coupled to Einstein's gravity with a negative cosmological constant, admit asymptotically anti-de Sitter self-gravitating solutions. Focusing on 4-dimensional spacetimes, we start by obtaining analytical solutions in the test-field limit, where the Proca field equations can be solved in a fixed anti-de Sitter background, and then find fully non-linear solutions numerically. These solutions are a natural extension of the recently found asymptotically flat Proca stars and share similar properties with scalar boson stars. In particular, we show that they are stable against spherically symmetric linear perturbations for a range of fundamental frequencies limited by their point of maximum mass. We finish with an overview of the behavior of Proca stars in $5$ dimensions.

preprint2016arXiv

Evolution of Collective Behaviors for a Real Swarm of Aquatic Surface Robots

Swarm robotics is a promising approach for the coordination of large numbers of robots. While previous studies have shown that evolutionary robotics techniques can be applied to obtain robust and efficient self-organized behaviors for robot swarms, most studies have been conducted in simulation, and the few that have been conducted on real robots have been confined to laboratory environments. In this paper, we demonstrate for the first time a swarm robotics system with evolved control successfully operating in a real and uncontrolled environment. We evolve neural network-based controllers in simulation for canonical swarm robotics tasks, namely homing, dispersion, clustering, and monitoring. We then assess the performance of the controllers on a real swarm of up to ten aquatic surface robots. Our results show that the evolved controllers transfer successfully to real robots and achieve a performance similar to the performance obtained in simulation. We validate that the evolved controllers display key properties of swarm intelligence-based control, namely scalability, flexibility, and robustness on the real swarm. We conclude with a proof-of-concept experiment in which the swarm performs a complete environmental monitoring task by combining multiple evolved controllers.