Victor Nan Fernandez-Ayala

dblp:353/6022 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Multi-agent systems
multi-robot coordination
1.622025
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.912025
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.812024
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.712023
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.712023
Distributed barrier function-enabled human-in-the-loop control for multi-robot systems · ICRA 2023
Robotics › Motion planning and robot control
collision avoidance
0.422024
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.212024
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
YearPublicationVenuePosition
2026 ConstrucTwin: Digital Twin-Driven Multirobot Construction System Toward Industry 5.0
abstract
Rapid 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 Logic
abstract
We 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
ICRA2
2024 Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications
abstract
In 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
ICRA2
2023 Distributed barrier function-enabled human-in-the-loop control for multi-robot systems
abstract
In 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
ICRA1