Carlos Hernández Corbato

dblp:14/1804-1 · also Carlos Hernandez 0001, Carlos Hernández 0001 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
4since 2021 · last 2025
0000-0001-6094-4917ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 3 · 3 since 2021Databases, data management, data science and information retrieval · 2Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Software architecture-based self-adaptation in robotics
abstract
Context: Robotics software architecture-based self-adaptive systems (RSASSs) are robotics systems made robust to runtime uncertainty by adapting their software architectures. The research landscape of RSASS approaches is multidisciplinary and fragmented, with many aspects still unexplored or ineffectively shared among communities involved. Objective: We aim at identifying, classifying, and analyzing the state of the art of existing approaches for RSASSs from the following perspectives: (i) the key characteristics of approaches and (ii) the evaluation strategies applied by researchers. Method: We apply the systematic mapping research method. We selected 37 primary studies via automatic, manual, and snowballing-based search and selection procedures. We rigorously defined and applied a classification framework composed of 32 parameters and synthesize the obtained data to produce a comprehensive overview of the state of the art. Results: This work contributes (i) a rigorously defined classification framework for studies on RSASSs, (ii) a systematic map of the research efforts on RSASSs, (iii) a discussion of emerging findings and implications for future research, and (iv) a publicly available replication package. Conclusion: This study provides a solid evidence-based overview of the state of the art in RSASS approaches. Its results can benefit RSASS researchers at different levels of seniority and involvement in RSASS research. Editor’s note: Open Science material was validated by the Journal of Systems and Software Open Science Board .
Elvin Alberts, Ilias Gerostathopoulos, Ivano Malavolta, Carlos Hernández Corbato, Patricia Lago
J. Syst. Softw.4
2023 SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
abstract
Once deployed in the real world, autonomous underwater vehicles (AUVs) are out of reach for human supervision yet need to take decisions to adapt to unstable and unpredictable environments. To facilitate research on self-adaptive AUVs, this paper presents SUAVE, an exemplar for two-layered system-level adaptation of AUVs, which clearly separates the application and self-adaptation concerns. The exemplar focuses on a mission for underwater pipeline inspection by a single AUV, implemented as a ROS 2-based system. This mission must be completed while simultaneously accounting for uncertainties such as thruster failures and unfavorable environmental conditions. The paper discusses how SUAVE can be used with different self-adaptation frameworks, illustrated by an experiment using the Metacontrol framework to compare AUV behavior with and without self-adaptation. The experiment shows that the use of Metacontrol to adapt the AUV during its mission improves its performance when measured by the overall time taken to complete the mission or the length of the inspected pipeline.
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SEAMS8
2023 Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics
abstract
In this article, we propose a hybrid combination of active inference and behavior trees (BTs) for reactive action planning and execution in dynamic environments, showing how robotic tasks can be formulated as a free-energy minimization problem. The proposed approach allows handling partially observable initial states and improves the robustness of classical BTs against unexpected contingencies while at the same time reducing the number of nodes in a tree. In this work, we specify the nominal behavior offline, through BTs. However, in contrast to previous approaches, we introduce a new type of leaf node to specify the desired state to be achieved rather than an action to execute. The decision of which action to execute to reach the desired state is performed online through active inference. This results in continual online planning and hierarchical deliberation. By doing so, an agent can follow a predefined offline plan while still keeping the ability to locally adapt and take autonomous decisions at runtime, respecting safety constraints. We provide proof of convergence and robustness analysis, and we validate our method in two different mobile manipulators performing similar tasks, both in a simulated and real retail environment. The results showed improved runtime adaptability with a fraction of the hand-coded nodes compared to classical BTs.
Corrado Pezzato, Carlos Hernández Corbato, Stefan Bonhof, Martijn Wisse
IEEE Trans. Robotics2
2022 A Formal Model of Metacontrol in Maude
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
ISoLA (1)5
2018 Integrating Different Levels of Automation: Lessons From Winning the Amazon Robotics Challenge 2016
abstract
This paper describes Team Delft's robot winning the Amazon Robotics Challenge 2016. The competition involves automating pick and place operations in semistructured environments, specifically the shelves in an Amazon warehouse. Team Delft's entry demonstrated that the current robot technology can already address most of the challenges in product handling: object recognition, grasping, motion, or task planning; under broad yet bounded conditions. The system combines an industrial robot arm, 3-D cameras and a custom gripper. The robot's software is based on the robot operating system to implement solutions based on deep learning and other state-of-the-art artificial intelligence techniques, and to integrate them with off-the-shelf components. From the experience developing the robotic system, it was concluded that: 1) the specific task conditions should guide the selection of the solution for each capability required; 2) understanding the characteristics of the individual solutions and the assumptions they embed is critical to integrate a performing system from them; and 3) this characterization can be based on “levels of robot automation.” This paper proposes automation levels based on the usage of information at design or runtime to drive the robot's behavior, and uses them to discuss Team Delft's design solution and the lessons learned from this robot development experience.
Carlos Hernández Corbato, Mukunda Bharatheesha, Jeff van Egmond, Jihong Ju, Martijn Wisse
IEEE Trans. Ind. Informatics1
2016 Team Delft's Robot Winner of the Amazon Picking Challenge 2016
Carlos Hernández Corbato, Mukunda Bharatheesha, Wilson Ko, Hans Gaiser, Jethro Tan, Kanter van Deurzen, Maarten de Vries, Bas Van Mil, Jeff van Egmond, Ruben Burger, Mihai Morariu, Jihong Ju, Xander Gerrmann, Ronald Ensing, Jan van Frankenhuyzen, Martijn Wisse
RoboCup1
2011 Ontology Engineering for the Autonomous Systems Domain
Julita Bermejo-Alonso, Ricardo Sanz, Manuel Rodríguez 0003, Carlos Hernández Corbato
IC3K4
2011 Engineering an Ontology for Autonomous Systems - The OASys Ontology
Julita Bermejo-Alonso, Ricardo Sanz, Manuel Rodríguez 0003, Carlos Hernández Corbato
KEOD4
2010 An Ontology-Based Approach for Autonomous Systems' Description and Engineering - The OASys Framework
Julita Bermejo-Alonso, Ricardo Sanz, Manuel Rodríguez 0003, Carlos Hernández Corbato
KES (1)4
2007 Principles for consciousness in integrated cognitive control
Ricardo Sanz, Ignacio López 0005, Manuel Rodríguez 0003, Carlos Hernández Corbato
Neural Networks4