• Publications
  • Influence
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems
TLDR
A comparison of some state of the art approaches for decision making, applied to a self-optimizing autonomic system that allocates resources to a software application, indicates that the most suitable decision mechanism can vary depending on the specific test case. Expand
An Adversarial Approach to Private Flocking in Mobile Robot Teams
TLDR
This letter introduces the problem of private flocking, a team of mobile robots flocking in the presence of an adversary, who is able to observe all robots’ trajectories, and who is interested in identifying the leader. Expand
Engineering Safety in Swarm Robotics
TLDR
This paper proposes to extend the Buzz multi-robot scripting language with constructs and code analysis that allow the verification of safety and security during development, and believes that detecting and correcting issues with what are inherently emergent systems would allow for a more effective advancement of swarm robotics. Expand
Robust connectivity maintenance for fallible robots
TLDR
This paper analyzes a set of techniques to assess, control, and enforce connectivity in the context of fallible robots and introduces a controller for connectivity maintenance in the presence of faults. Expand
Balancing system availability and lifetime with dynamic hidden Markov models
TLDR
A mechanism based on dynamic hidden Markov models (D-HMMs) that balances availability and lifetime of a multi-resource system by estimating the occurrence of permanent faults amid transient faults, and by dynamically migrating the computation on excess resources when failure occurs is presented. Expand
Effects of online fault detection mechanisms on Probabilistic Timing Analysis
TLDR
The effects of two online detection mechanisms for permanent faults, namely rule-based detection and Dynamic Hidden Markov Model (D-HMM) based detection, are compared for the generation of safe pWCET estimates. Expand
Probabilistic timing analysis of time-randomised caches with fault detection mechanisms
TLDR
A static probabilistic timing analysis approach for time-randomised caches that is able to account for the presence of faults – and their detection mechanisms – using a state-space modelling technique is proposed and is capable of providing tight pWCET estimates. Expand
From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints
TLDR
This work proposes a methodology to address the problem of the spatial coverage of multiple tasks with a swarm of robots that must not lose global connectivity. Expand
...
1
2
3
4
...