Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL
Multi-robot systems (MRS) have gained interest as a versatile paradigm for complex task execution across various domains such as healthcare, logistics, and maintenance. Often, they are called to operate in variable and dynamic environments, which makes uncertainties arise and affect those systems. Uncertainties require the system to be able to adapt its behavior at runtime, in response to the changing and unpredictable conditions in its operating environment. Moreover, often the behavior of the robots cannot be completely anticipated at design time. Consequently, static mission planning is not always suitable: mission specifications need to take into account the uncertainties and, hence, be dynamic and re-configurable at runtime, when the required knowledge is available.
This work focuses on the realization of adaptable multi-robot systems, which are capable of dealing with uncertainties by adapting their mission at runtime. We introduce the concept of “adaptable task” that is used in the global mission specification of the MRS to identify the mission tasks affected by uncertainties. Adaptation alternatives are modeled as sub-missions and associated with the adaptable task. At runtime, ad hoc written “trigger functions” executed by robots sense and evaluate the environment and select the most suitable adaptation alternative to be executed.
We have experimented with the approach by simulating a use case to assess its validity. The system was able to adapt its behavior in response to the environmental conditions, thus allowing the fulfillment of the mission goals. We also discuss the applicability of the use case on a set of known single- and multi-robot systems.
Mon 15 AprDisplayed time zone: Lisbon change
11:00 - 12:30 | Session 2: UncertaintyResearch Track at Luis de Freitas Branco Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
11:00 25mTalk | Formal Synthesis of Uncertainty Reduction ControllersFULL Research Track Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin | ||
11:25 25mTalk | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL Research Track Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
11:50 25mTalk | Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL Research Track Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:15 15mTalk | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT Research Track Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York |