Disentangling automatic and semi-automatic approaches to the optimization-based design of control software for robot swarms

M Birattari, A Ligot, K Hasselmann - Nature Machine Intelligence, 2020 - nature.com
Optimization-based design is an effective and promising approach to realizing collective
behaviours for robot swarms. Unfortunately, the domain literature often remains vague about …

Model-driven engineering for mobile robotic systems: a systematic map** study

GL Casalaro, G Cattivera, F Ciccozzi… - Software and Systems …, 2022 - Springer
Mobile robots operate in various environments (eg aquatic, aerial, or terrestrial), they come
in many diverse shapes and they are increasingly becoming parts of our lives. The …

Drone mission definition and implementation for automated infrastructure inspection using airborne sensors

JA Besada, L Bergesio, I Campaña… - Sensors, 2018 - mdpi.com
This paper describes a Mission Definition System and the automated flight process it
enables to implement measurement plans for discrete infrastructure inspections using aerial …

Specification patterns for robotic missions

C Menghi, C Tsigkanos, P Pelliccione… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Automatic off-line design of robot swarms: a manifesto

M Birattari, A Ligot, D Bozhinoski… - Frontiers in Robotics …, 2019 - frontiersin.org
Designing collective behaviors for robot swarms is a difficult endeavor due to their fully
distributed, highly redundant, and ever-changing nature. To overcome the challenge, a few …

A BPMN-driven framework for Multi-Robot System development

F Corradini, S Pettinari, B Re, L Rossi… - Robotics and Autonomous …, 2023 - Elsevier
Programming robotic systems is often a challenging task requiring advanced skills,
especially when the goal is to ensure loosely-coupled coordination in heterogeneous Multi …

Drones-as-a-service: A management architecture to provide mission planning, resource brokerage and operation support for fleets of drones

JA Besada, AM Bernardos, L Bergesio… - 2019 IEEE …, 2019 - ieeexplore.ieee.org
Drone operators, institutions (eg law enforcement, rescue agencies, preservation organisms,
etc.) and companies (logistics, surveillance, inspection, etc.), are constituting themselves as …

Democratizing drone autonomy via edge computing

M Bala, T Eiszler, X Chen, J Harkes, J Blakley… - Proceedings of the …, 2023 - dl.acm.org
Fully autonomous flight by low-cost, lightweight commercial off-the-shelf (COTS) drones
could transform many use cases involving real-time computer vision. We show how such …

Mission specification patterns for mobile robots: Providing support for quantitative properties

C Menghi, C Tsigkanos, M Askarpour… - IEEE Transactions …, 2022 - ieeexplore.ieee.org
With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …

[HTML][HTML] Mission specification and decomposition for multi-robot systems

EB Gil, GN Rodrigues, P Pelliccione… - Robotics and Autonomous …, 2023 - Elsevier
Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …