NombreValle Sevillano, Carmelo del
DepartamentoLenguajes y Sistemas Informáticos
Área de conocimientoLenguajes y Sistemas Informáticos
Categoría profesionalProfesor Titular de Universidad
Correo electrónicoSolicitar
           
  • Nº publicaciones

    71

  • Nº visitas

    4994

  • Nº descargas

    12063


 

Artículo
IconIcon

Flexible runtime support of business processes under rolling planning horizons

Barba Rodríguez, Irene; Jiménez Ramírez, Andrés; Reichert, Manfred; Valle Sevillano, Carmelo del; Weber, Barbara (Elsevier, 2021)
This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ...
Ponencia
Icon

Problem Generalization for Designing Recursive Algorithms

Borrego Núñez, Diana; Barba Rodríguez, Irene; Toro Bonilla, Miguel; Valle Sevillano, Carmelo del (Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...
Ponencia
Icon

An Innovative Methodology to Optimize Aerospace Eco-efficiency Assembly Processes

Oliva, Manuel; Mas Mórate, Fernando; Eguía Salinas, Ignacio; Valle Sevillano, Carmelo del; Lourenço, Emanuel J.; Baptista, Antonio J. (Springer, 2020)
Sustainability and eco-efficiency have been researched in multiple scientific papers since the last years. However the ...
Ponencia
Icon

Towards an OpenSource Logger for the Analysis of RPA Projects

López Carnicer, José Manuel; Valle Sevillano, Carmelo del; González Enríquez, José (Springer, 2020)
Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. ...
Ponencia
Icon

Semantic Model-Driven PLM Data Interoperability: An Application for Aircraft Ground Functional Testing with Eco-Design Criteria

Arena, D.; Oliva, M.; Eguía Salinas, Ignacio; Valle Sevillano, Carmelo del; Kiritsis, D. (Springer, 2019)
The latest developments in Model-Based Systems Engineering (MBSE) and Product Life-Cycle Management (PLM) are playing a ...
Ponencia
Icon

A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle

Jiménez Ramírez, Andrés; Reijers, Hajo A.; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2019)
The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive ...
Ponencia
Icon

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Reichert, Manfred; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2018)
For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To ...
Artículo
Icon

Time prediction on multi-perspective declarative business processes

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Fernández Olivares, Juan; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2018)
Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The ...
Ponencia
Icon

A constraint-based approach for managing declarative temporal business process models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Association for Information Systems (AIS), 2018)
There is an increasing interest in aligning information systems in a process-oriented way. As an alternative of the ...
Ponencia
Icon

Towards a new Tool for Managing Declarative Temporal Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) ...
Ponencia
Icon

Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies

Oliva, Manuel; Racero Moreno, Jesús; Morales-Palma, Domingo; Valle Sevillano, Carmelo del; Mas, Fernando (Springer, 2017)
Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes ...
Ponencia
Icon

Predicciones en Procesos de Negocio Declarativos

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Fernández Olivares, Juan; Valle Sevillano, Carmelo del; Weber, Barbara (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento ...
Ponencia
Icon

Providing Support for the Optimized Management of Declarative Processes

Barba Rodríguez, Irene; Lanz, Andreas; Jiménez Ramírez, Andrés; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Declarative process models are becoming increasingly popular due to the high flexibility they offer to process participants. ...
Ponencia
Icon

Patient Lifecycle Management: An Approach for Clinical Processes

Salido López, Alberto; Valle Sevillano, Carmelo del; Escalona Cuaresma, María José; Lee, Vivian; Goto, Masatomo (Springer, 2015)
Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and ...
Artículo
Icon

Generating optimized configurable business process models in scenarios subject to uncertainty

Jiménez Ramírez, Andrés; Weber, Barbara; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Elsevier, 2015)
Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational ...
Tesis Doctoral
Icon

Supporting users during the execution of declarative business process models in scenarios subject to uncertainty

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (2014)
La calidad de los modelos de los procesos de negocio (es decir, artefactos software que capturan las relaciones entre las ...
Ponencia
Icon

Automatic Generation of Questionnaires for Supporting Users during the Execution of Declarative Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2014)
When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing ...
Capítulo de Libro
Icon

Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry

Mas, Fernando; Menéndez, José Luis; Oliva, Manuel; Servan, Javier; Arista, Rebeca; Valle Sevillano, Carmelo del; Escalona Cuaresma, María José; Aragón, Gustavo; Linger, Henry; Lang, Michael; Barry, Chris; Schneider, Christoph (Springer, 2014)
The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An ...
Ponencia
Icon

Automatic Generation of Questionnaires for Managing Configurable BP Models

Jiménez Ramírez, Andrés; Weber, Barbara; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (SciTePress, 2014)
Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, ...
Ponencia
Icon

Applying model-driven paradigm: CALIPSOneo experience

Escalona Cuaresma, María José; García García, Julián Alberto; Mas, Fernando; Oliva, Manuel; Valle Sevillano, Carmelo del (CEUR-WS.Org, 2013)
Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. ...
Artículo
Icon

User recommendations for the optimized execution of business processes

Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del; Jiménez Ramírez, Andrés (Elsevier, 2013)
In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible ...
Artículo
Icon

Automatic generation of optimized business process models from constraint-based specifications

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara; Jiménez Ramírez, Andrés (World Scientific, 2013)
Business process (BP) models are usually defined manually by business analysts through imperative languages considering ...
Ponencia
Icon

Generating Multi-objective Optimized Business Process Enactment Plans

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2013)
Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead ...
Ponencia
Icon

Generating Multi-objective Optimized Configurable Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (IEEE Computer Society, 2012)
The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially ...
Ponencia
Icon

OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2012)
Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to ...
Ponencia
Icon

Optimized Time Management for Declarative Workflows

Barba Rodríguez, Irene; Lanz, Andreas; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Springer, 2012)
Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information ...
Tesis Doctoral
Icon

Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2011)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...
Tesis Doctoral
Icon

Constraint-based Planning and scheduling techniques for the optimized management of business processes

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (2011)
Un proceso de negocio (business process, BP) se puede definir como un conjunto de actividades que se ejecutan de forma ...
Ponencia
Icon

Supporting the Optimized Execution of Business Processes through Recommendations

Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2011)
In order to be able to flexibly adjust a company’s business processes (BPs) there is an increasing interest in flexible ...
Ponencia
Icon

A Planning and Scheduling Perspective for Designing Business Processes from Declarative Specifications

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (SciTePress, 2011)
Usually, business process models are manually achieved by business analysts and most of current modelling languages are ...
Artículo
Icon

A CSP model for simple non-reversible and parallel repair plans

Valle Sevillano, Carmelo del; Márquez, Antonio; Barba Rodríguez, Irene (Springer, 2010)
Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly ...
Artículo
Icon

A job-shop scheduling model of software development planning for constraint-based local search

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (2010)
Ponencia
Icon

Planning and Scheduling of Business Processes in Run-Time: A Repair Planning Example

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2010)
Over the last decade, the efficient and flexible management of business processes has become one of the most critical ...
Artículo
Icon

Developing a labelled object-relational constraint database architecture for the projection operator

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Ponencia
Icon

A Constraint-based Job-Shop Scheduling Model for Software Development Planning

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ...
Ponencia
Icon

A Multiobjective Constraint Optimization Model for Multimode Repair Plans

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (SciTePress, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
Ponencia
Icon

A Constraint-based Model for Multi-objective Repair Planning

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (IEEE Computer Society, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
Ponencia
Icon

Nuevas propuestas sobre evaluación alternativa para las asignaturas de programación en las Ingenierías en Informática

Barba Rodríguez, Irene; Borrego Núñez, Diana; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del (Universidad de Sevilla, 2008)
En este trabajo se expone la experiencia de un equipo docente para la enseñanza de las asignaturas de programación de ...
Tesis Doctoral
Icon

LORCDB Gestor de bases de datos objeto-relacionales de restricciones

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2007)
Ponencia
Icon

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Ceballos Guerrero, Rafael (Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
Artículo
Icon

Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ...
Ponencia
Icon

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Pozo Hidalgo, Sergio (IEEE Computer Society, 2006)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...
Artículo
Icon

Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ...
Artículo
Icon

An integration of model-based techniques for determining the minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006)
Ponencia
Icon

Diagnosis con variables intervalares usando técnicas Max-CSP

Ceballos Guerrero, Rafael; Cejudo, V.; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (Edición Digital @tres, 2005)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ...
Ponencia
Icon

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way

Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Ponencia
Icon

A Topological-Based Method for Allocating Sensors by Using CSP Techniques

Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
Ponencia
Icon

Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Rosa Troyano, Francisco Fernando de la (Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...
Ponencia
Icon

Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Cejudo, V.; Barba Rodríguez, Irene (Springer, 2005)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...
Ponencia
Icon

Diagnosing Errors in DbC Programs Using Constraint Programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
Ponencia
Icon

A model integration of DX an FDI techniques for automatic determination of minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Artículo
Icon

Combining Heuristics in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
Ponencia
Icon

Constraint Databases Technology for Polynomial Models Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ...
Ponencia
Icon

Interval model-based diagnosis using constraint programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (IEEE Computer Society, 2004)
Ponencia
Icon

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Ponencia
Icon

A Genetic Algorithm for Assembly Sequence Planning

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
Artículo
Icon

CSP aplicados a la diagnosis basada en modelos

Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
Artículo
Icon

CSP y Bases de Datos Restrictivas

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
Ponencia
Icon

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Valle Sevillano, Carmelo del; Márquez, Antonio A.; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 2003)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Artículo
Icon

Supervised learning by means of accuracy-aware evolutionary algorithms

Riquelme Santos, José Cristóbal; Aguilar Ruiz, Jesús Salvador; Valle Sevillano, Carmelo del (Elsevier, 2003)
This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ...
Ponencia
Icon

A scheduling approach to assembly sequence planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F.; Martínez Gasca, Rafael (IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Ponencia
Icon

Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...
Ponencia
Icon

Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Aguilar, J. (Edición Digital @tres, 2002)
Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas ...
Ponencia
Icon

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Ceballos Guerrero, Rafael; Aguilar, Jesús (Springer, 2002)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
Ponencia
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Artículo
Icon

Un modelo CSP para la planificación de la sustitución óptima de piezas defectuosas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Gómez López, María Teresa (AEPIA: Asociación Española para la Inteligencia Artificial, 2002)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...
Ponencia
Icon

A model for assembly sequence planning in a multirobot environment

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel (Elsevier, 2002)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Ponencia
Icon

Improving the Evolutionary Coding for Machine Learning Tasks

Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Valle Sevillano, Carmelo del (IOS Press, 2002)
The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of ...
Ponencia
Icon

Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos

Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002)
Tesis Doctoral
Icon

Algoritmos heurísticos para la selección de secuencias óptimas de ensamblaje

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F. (2001)
Artículo
Icon

Automatic assembly task assignment for a multirobot environment

Valle Sevillano, Carmelo del; Camacho, Eduardo F. (Elsevier, 1996)
This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The ...