2,397 research outputs found
Combining a hierarchical task network planner with a constraint satisfaction solver for assembly operations involving routing problems in a multi-robot context
This work addresses the combination of a symbolic hierarchical task network planner and a constraint satisfaction solver for the vehicle routing problem in a multi-robot context for structure assembly operations. Each planner has its own problem domain and search space, and the article describes how both planners interact in a loop sharing information in order to improve the cost of the solutions. The vehicle routing problem solver gives an initial assignment of parts to robots, making the distribution based on the distance among parts and robots, trying also to maximize the parallelism of the future assembly operations evaluating during the process the dependencies among the parts assigned to each robot. Then, the hierarchical task network planner computes a scheduling for the given assignment and estimates the cost in terms of time spent on the structure assembly. This cost value is then given back to the vehicle routing problem solver as feedback to compute a better assignment, closing the loop and repeating again the whole process. This interaction scheme has been tested with different constraint satisfaction solvers for the vehicle routing problem. The article presents simulation results in a scenario with a team of aerial robots assembling a structure, comparing the results obtained with different configurations of the vehicle routing problem solver and showing the suitability of using this approach.Unión Europea ARCAS FP7-ICT-287617Unión Europea H2020-ICT-644271Unión europea H2020-ICT-73166
A Quantum Optimization Case Study for a Transport Robot Scheduling Problem
We present a comprehensive case study comparing the performance of D-Waves'
quantum-classical hybrid framework, Fujitsu's quantum-inspired digital
annealer, and Gurobi's state-of-the-art classical solver in solving a transport
robot scheduling problem. This problem originates from an industrially relevant
real-world scenario. We provide three different models for our problem
following different design philosophies. In our benchmark, we focus on the
solution quality and end-to-end runtime of different model and solver
combinations. We find promising results for the digital annealer and some
opportunities for the hybrid quantum annealer in direct comparison with Gurobi.
Our study provides insights into the workflow for solving an
application-oriented optimization problem with different strategies, and can be
useful for evaluating the strengths and weaknesses of different approaches
Notes on feasibility and optimality conditions of small-scale multifunction robotic cell scheduling problems with pickup restrictions
Optimization of robotic workcells is a growing concern in automated manufacturing systems. This study develops a methodology to maximize the production rate of a multifunction robot (MFR) operating within a rotationally arranged robotic cell. An MFR is able to perform additional special operations while in transit between transferring parts from adjacent processing stages. Considering the free-pickup scenario, the cycle time formulas are initially developed for small-scale cells where an MFR interacts with either two or three machines. A methodology for finding the optimality regions of all possible permutations is presented. The results are then extended to the no-wait pickup scenario in which all parts must be processed from the input hopper to the output hopper, without any interruption either on or between machines. This analysis enables insightful evaluation of the productivity improvements of MFRs in real-life robotized workcells.Mehdi Foumani, Indra Gunawan, Kate Smith-Miles, M. Yousef Ibrahi
A Survey and Analysis of Multi-Robot Coordination
International audienceIn the field of mobile robotics, the study of multi-robot systems (MRSs) has grown significantly in size and importance in recent years. Having made great progress in the development of the basic problems concerning single-robot control, many researchers shifted their focus to the study of multi-robot coordination. This paper presents a systematic survey and analysis of the existing literature on coordination, especially in multiple mobile robot systems (MMRSs). A series of related problems have been reviewed, which include a communication mechanism, a planning strategy and a decision-making structure. A brief conclusion and further research perspectives are given at the end of the paper
Architecture for planning and execution of missions with fleets of unmanned vehicles
Esta tesis presenta contribuciones en el campo de la planificación automática y la
programación de tareas, la rama de la inteligencia artificial que se ocupa de la
realización de estrategias o secuencias de acciones típicamente para su ejecución por
parte de vehículos no tripulados, robots autónomos y/o agentes inteligentes. Cuando se
intenta alcanzar un objetivo determinado, la cooperación puede ser un aspecto clave. La
complejidad de algunas tareas requiere la cooperación entre varios agentes. Mas aún,
incluso si una tarea es lo suficientemente simple para ser llevada a cabo por un único
agente, puede usarse la cooperación para reducir el coste total de la misma. Para realizar
tareas complejas que requieren interacción física con el mundo real, los vehículos no
tripulados pueden ser usados como agentes. En los últimos años se han creado y utilizado
una gran diversidad de plataformas no tripuladas, principalmente vehículos que pueden
ser dirigidos sin un humano a bordo, tanto en misiones civiles como militares.
En esta tesis se aborda la aplicación de planificación simbólica de redes jerárquicas
de tareas (HTN planning, por sus siglas en inglés) en la resolución de problemas de
enrutamiento de vehículos (VRP, por sus siglas en inglés) [18], en dominios que implican
múltiples vehículos no tripulados de capacidades heterogéneas que deben cooperar para
alcanzar una serie de objetivos específicos.
La planificación con redes jerárquicas de tareas describe dominios utilizando una
descripción que descompone conjuntos de tareas en subconjuntos más pequeños de
subtareas gradualmente, hasta obtener tareas del más bajo nivel que no pueden ser
descompuestas y se consideran directamente ejecutables. Esta jerarquía es similar al modo
en que los humanos razonan sobre los problemas, descomponiéndolos en subproblemas
según el contexto, y por lo tanto suelen ser fáciles de comprender y diseñar.
Los problemas de enrutamiento de vehículos son una generalización del problema del
viajante (TSP, por sus siglas en inglés). La resolución del problema del viajante consiste
en encontrar la ruta más corta posible que permite visitar una lista de ciudades, partiendo
y acabando en la misma ciudad. Su generalización, el problema de enrutamiento de
vehículos, consiste en encontrar el conjunto de rutas de longitud mínima que permite
cubrir todas las ciudades con un determinado número de vehículos. Ambos problemas
cuentan con una fuerte componente combinatoria para su resolución, especialmente en el caso del VRP, por lo que su presencia en dominios que van a ser tratados con un planificador
HTN clásico supone un gran reto.
Para la aplicación de un planificador HTN en la resolución de problemas de enrutamiento
de vehículos desarrollamos dos métodos. En el primero de ellos presentamos un sistema
de optimización de soluciones basado en puntuaciones, que nos permite una nueva forma
de conexión entre un software especializado en la resolución del VRP con el planificador
HTN. Llamamos a este modo de conexión el método desacoplado, puesto que resolvemos
la componente combinatoria del problema de enrutamiento de vehículos mediante un
solucionador específico que se comunica con el planificador HTN y le suministra la
información necesaria para continuar con la descomposición de tareas. El segundo método
consiste en mejorar el planificador HTN utilizado para que sea capaz de resolver el
problema de enrutamiento de vehículos de la mejor forma posible sin tener que depender
de módulos de software externos. Llamamos a este modo el método acoplado. Con
este motivo hemos desarrollado un nuevo planificador HTN que utiliza un algoritmo de
búsqueda distinto del que se utiliza normalmente en planificadores de este tipo.
Esta tesis presenta nuevas contribuciones en el campo de la planificación con redes
jerárquicas de tareas para la resolución de problemas de enrutamiento de vehículos. Se
aplica una nueva forma de conexión entre dos planificadores independientes basada en
un sistema de cálculo de puntuaciones que les permite colaborar en la optimización de
soluciones, y se presenta un nuevo planificador HTN con un algoritmo de búsqueda distinto
al comúnmente utilizado. Se muestra la aplicación de estos dos métodos en misiones
civiles dentro del entorno de los Proyectos ARCAS y AEROARMS financiados por la
Comisión Europea y se presentan extensos resultados de simulación para comprobar la
validez de los dos métodos propuestos.This thesis presents contributions in the field of automated planning and scheduling,
the branch of artificial intelligence that concerns the realization of strategies or
action sequences typically for execution by unmanned vehicles, autonomous robots and/or
intelligent agents. When trying to achieve certain goal, cooperation may be a key aspect.
The complexity of some tasks requires the cooperation among several agents. Moreover,
even if the task is simple enough to be carried out by a single agent, cooperation can be
used to decrease the overall cost of the operation. To perform complex tasks that require
physical interaction with the real world, unmanned vehicles can be used as agents. In the
last years a great variety of unmanned platforms, mainly vehicles that can be driven without
a human on board, have been developed and used both in civil and military missions.
This thesis deals with the application of Hierarchical Task Network (HTN) planning
in the resolution of vehicle routing problems (VRP) [18] in domains involving multiple
heterogeneous unmanned vehicles that must cooperate to achieve specific goals.
HTN planning describes problem domains using a description that decomposes set of
tasks into subsets of smaller tasks and so on, obtaining low-level tasks that cannot be
further decomposed and are supposed to be executable. The hierarchy resembles the way
the humans reason about problems by decomposing them into sub-problems depending
on the context and therefore tend to be easy to understand and design.
Vehicle routing problems are a generalization of the travelling salesman problem (TSP).
The TSP consists on finding the shortest path that connects all the cities from a list, starting
and ending on the same city. The VRP consists on finding the set of minimal routes that
cover all cities by using a specific number of vehicles. Both problems have a combinatorial
nature, specially the VRP, that makes it very difficult to use a HTN planner in domains
where these problems are present.
Two approaches to use a HTN planner in domains involving the VRP have been tested.
The first approach consists on a score-based optimization system that allows us to apply a
new way of connecting a software specialized in the resolution of the VRP with the HTN
planner. We call this the decoupled approach, as we tackle the combinatorial nature of the
VRP by using a specialized solver that communicates with the HTN planner and provides
all the required information to do the task decomposition. The second approach consists on improving and enhancing the HTN planner to be capable of solving the VRP without
needing the use of an external software. We call this the coupled approach. For this reason,
a new HTN planner that uses a different search algorithm from these commonly used in
that type of planners has been developed and is presented in this work.
This thesis presents new contributions in the field of hierarchical task network planning
for the resolution of vehicle routing problem domains. A new way of connecting two
independent planning systems based on a score calculation system that lets them cooperate
in the optimization of the solutions is applied, and a new HTN planner that uses a different
search algorithm from that usually used in other HTN planners is presented. These two
methods are applied in civil missions in the framework of the ARCAS and AEROARMS
Projects funded by the European Commission. Extensive simulation results are presented
to test the validity of the two approaches
The Coupled Task Scheduling Problem: Models and Solution Methods
University of Technology Sydney. Faculty of Science.The coupled task scheduling problem (CTSP) is studied in this thesis. The problem consists of scheduling a set of jobs on one or a set of machines, where each job consists of at least two tasks. The main characteristic of the problem is a fixed time-lag between the process of each two consecutive tasks of the same job, where its duration is fixed, i.e., the succeeding task cannot be started earlier or later than the time-lag is passed. The fixed time-lags were introduced to model radar tracking systems, and later extended to formulate problems in chemistry manufacturing systems and robotic cells. The motivation for studying the CTSP in this thesis is to model certain problems in healthcare scheduling with the same characteristics. One example is the scheduling of patients in a chemotherapy clinic, where each patient must undergo a number of consecutive treatments with time-lags in between. Meeting the fixed delays between the treatments of a patient is an important factor in gaining the best outcomes for them. To study the CTSP, a literature review is first conducted, followed by studying the problem in different scheduling environments, including the single-machine, parallel-machine, open-shop and flow-shop settings, where we propose several new complexity results and solution algorithms for different variants of the problem.
Regarding the single-machine coupled task problem, a new mathematical formulation and two matheuristic algorithms are proposed for the classical problem, as well as a dynamic programming algorithm for a variant of the problem with time-dependent processing times.
With regard to the parallel-machine environment, we first explore the complexity of the problem and propose NP-hardness proofs for certain cases, followed by approximation bounds for the two-machine problem. The latter result is then extended to the open-shop scheduling environment.
The problem in the flow-shop environment is then extensively investigated under the permutation setting, and also under the case of ordered processing times. A set of publicly available hard data set and state-of-the-art algorithms are proposed for the ordered flow-shops. Then, flow-shop problem with coupled tasks is studied and polynomial-time algorithms are proposed for various settings of the problem, including the ordered processing times
- …