EDBT 2026 Demo / reviewers in the wild / expert
Victor Nan Fernandez-Ayala
dblp:353/6022
· DBLP profile ↗
4ranked-venue papers
1as first author
4since 2021 · last 2026
0000-0002-1881-1974ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 1 first-author · 3 since 2021Systems, architecture and hardware · 3 · 1 first-author · 3 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
3 papers |
Multi-agent systems · 46% Motion planning and robot control · 38% Planning, search and constraint satisfaction · 17% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Multi-agent systems
multi-robot coordination |
1.6 | 2 | 2025 | Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic · ICRA 2025 Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications · ICRA 2024 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › task planning
temporal logic task planning |
0.9 | 1 | 2025 | Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic · ICRA 2025 |
Knowledge, reasoning and agents › Multi-agent systems
task allocation |
0.8 | 1 | 2024 | Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications · ICRA 2024 |
Robotics › Motion planning and robot control › robot control
human-in-the-loop control |
0.7 | 1 | 2023 | Distributed barrier function-enabled human-in-the-loop control for multi-robot systems · ICRA 2023 |
Robotics › Motion planning and robot control
multi-robot control |
0.7 | 1 | 2023 | Distributed barrier function-enabled human-in-the-loop control for multi-robot systems · ICRA 2023 |
Robotics › Motion planning and robot control
collision avoidance |
0.4 | 2 | 2024 | Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications · ICRA 2024 Distributed barrier function-enabled human-in-the-loop control for multi-robot systems · ICRA 2023 |
Robotics › Motion planning and robot control › robot control › safe control
control barrier functions |
0.2 | 1 | 2024 | Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications · ICRA 2024 |
Methods — techniques the papers use, named apart from their topics
control barrier functions · 1.4linear temporal logic · 0.9bottom-up plan synthesis · 0.9signal temporal logic · 0.8nonlinear model predictive control · 0.8optimization · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | ConstrucTwin: Digital Twin-Driven Multirobot Construction System Toward Industry 5.0abstractRapid advancements in digitalization and artificial intelligence (AI) have catalyzed the adoption of digital twin technologies in the construction sector, enabling real-time synchronization between virtual models and physical systems. Simultaneously, on-site robotic automation has shown promise for reducing physical workloads, enhancing productivity, and contributing to sustainability goals that are key values of Industry 5.0. However, current digital twin implementations rarely incorporate multirobot construction systems, often relying on single-robot approaches or purely offline simulations. This gap hinders the realization of truly integrated construction environments that combine sensing, data analytics, wireless communications, and multirobot coordination. In response, this article proposes ConstrucTwin, a digital twin-driven multirobot construction framework designed to support complex construction tasks in real-world settings. By combining a 5G communication estimation-involved architecture and a cross-level planning strategy, ConstrucTwin streamlines interactions between physical robots and their digital counterparts. Essential tasks such as motion and task-level planning, as well as remote human-in-the-loop (HIL) oversight, are orchestrated within a single unified architecture. Through case studies involving rebar cage and brick wall construction, we demonstrate how an integrated approach to vision-based servoing and multirobot coordination enhances execution speed, precision, and scalability. The results underscore the system’s potential to advance human-centric, resilient, and sustainable construction, thereby aligning with the broader vision of Industry 5.0. Ruirui Zhong, Qiang Qin, Neelabhro Roy, Victor Nan Fernandez-Ayala, Johan Lesko, Ulf Håkansson, Sara Sandberg, Dimos V. Dimarogonas, James Gross, Xi Vincent Wang, Lihui Wang 0001 |
IEEE Trans. Syst. Man Cybern. Syst. | 6 |
| 2025 | Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal LogicabstractWe consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem efficiently, we propose a bottomup approach combining offline plan synthesis with online coordination, dynamically adjusting plans via real-time communication. To address action delays, we introduce a synchronization mechanism ensuring coordinated task execution, leading to a multi-agent coordination and synchronization framework that is adaptable to a wide range of multi-robot applications. The software package is developed in Python and ROS2 for broad deployment. We validate our findings through lab experiments involving nine robots showing enhanced adaptability compared to previous methods. Additionally, we conduct simulations with up to ninety agents to demonstrate the reduced computational complexity and the scalability features of our work. Davide Peron, Victor Nan Fernandez-Ayala, Eleftherios E. Vlahakis, Dimos V. Dimarogonas |
ICRA | 2 |
| 2024 | Multi-robot Human-in-the-loop Control under Spatiotemporal SpecificationsabstractIn this work, we present a coordination strategy tailored for scenarios involving multiple agents and tasks. We devise a range of tasks using signal temporal logic (STL), each earmarked for specific agents. These tasks are then imposed through control barrier function (CBF) constraints to ensure completion. To extend existing methodologies, our framework adeptly manages interactions among multiple agents. This extension is facilitated by leveraging nonlinear model predictive control (NMPC) to compute trajectories that avoid collisions. An integral aspect of our approach is the integration of a human-in-the-loop (HIL) model. This model enables real-time integration of human directives into the coordination process. A novel task allocation protocol is embedded within the frame-work to guide this process. We substantiate our methodology through a series of experiments, which corroborate the viability and relevance of our algorithms. Victor Nan Fernandez-Ayala, Dimos V. Dimarogonas |
ICRA | 2 |
| 2023 | Distributed barrier function-enabled human-in-the-loop control for multi-robot systemsabstractIn this work, we propose a distributed control scheme for multi-robot systems in the presence of multiple constraints using control barrier functions. The proposed scheme expands previous work where only one single constraint can be handled. Here we show how to transform multiple constraints to a collective one using a smoothly approximated minimum function. Additionally, human-in-the-loop control is also incorporated seamlessly to our control design, both through the nominal control in the optimization objective as well as a safety condition in the constraints. Possible failure regions are identified and a suitable fix is proposed. Two types of human-in- the-loop scenarios are tested on real multi-robot systems with multiple constraints, including collision avoidance, connectivity maintenance, and arena range limits. Victor Nan Fernandez-Ayala, Xiao Tan 0002, Dimos V. Dimarogonas |
ICRA | 1 |