Carmelo Del Valle

Verified

Carmelo verified their affiliation via an institutional email.

Learn more

Verified

Carmelo verified their affiliation via an institutional email.

Learn more

• Doctor of Engineering
• Professor (Associate) at University of Seville

The robotic process automation (RPA) paradigm is a discipline that is becoming increasingly popular thanks to the great interest shown by the industry. In such context, RPA solutions based on artificial intelligence, i.e., cognitive solutions, are receiving increasing attention. In a cognitive RPA project, the RPA developer is in charge of selectin...

This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain that have revealed high flexibility demands and complex temporal constraints. When trying to model these processes with existing languages, we learned that none of the latter was able to fully address these needs. This motivated us...

This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve certain problems through recursion. The acquisition of this type of reasoning is essential to understand the different problem solving techniques that are based on recursive algorithms, such as divide and conquer or dynamic pr...

Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. Similarly, successful RPA projects require a prior analysis of the undergoing processes which are being executed by humans. The process of collecting this type of information is known as user interface (UI) logging since it rec...

The latest developments in Model-Based Systems Engineering (MBSE) and Product Life-Cycle Management (PLM) are playing a role in the evolution of the aeronautical industry. Despite the reluctance of this domain to accept the introduction of technology leaps in the production process - mostly due to safety reasons - aircraft manufacturers are slowly...

The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive manual tasks (or processes) that are currently done by back-office staff through some information system (IS). The lifecycle of any Robotic Process Automation (RPA) project starts with the analysis of the process to automate. Th...

Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The support given through a PAIS is greatly enhanced when it is able to provide accurate time predictions which is typically a very challenging task. Predictions should be (1) multi-dimensional and (2) not based on a single process in...

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarati...

Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and patient decisions about appropriate health care for specific clinical circumstances. In industry, Product Lifecycle Management (PLM) is the process of managing the entire lifecycle of a product from inception, through engineering...

When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing uncertainty, optimizing conflicting objective functions). To facilitate such design, declarative BP models are increasingly used. However, how to execute a given declarative model can be quite challenging since there are typicall...

In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible process-aware information systems (PAISs). This increasing flexibility, however, typically implies decreased user guidance by the PAIS and thus poses significant challenges to its users. As a major contribution of this work, we pr...

Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, configurable BP models can be used for managing these BPs while allowing analysts to understand what these BPs share and what their differences are. Before the execution of the configurable BP model, a BP model has to be selected...

The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An aircraft like the Airbus A400M is composed of about 700,000 parts (excluding standard parts). The parts are assembled into aerostructures and major components, which are designed and manufactured in several countries all over the wor...

Unlike imperative models, the specification of business process (BP) properties in a declarative way allows the user to specify what has to be done instead of having to specify how it has to be done, thereby facilitating the human work involved, avoiding failures, and obtaining a better optimization. Frequently, there are several enactment plans re...

Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead of how. Due to their flexible nature, there are several enactment plans related to a specific declarative model, each one presenting specific values for different objective functions, e.g., completion time or profit. In this wo...

Business process (BP) models are usually defined manually by business analysts through imperative languages considering activity properties, constraints imposed on the relations between the activities as well as different performance objectives. Furthermore, allocating resources is an additional challenge since scheduling may significantly impact B...

Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. However, there are few practical experiences in the enterprise field. This paper presents the use of this paradigm in an aeronautical PLM project named CALIPSOneo currently under development in Airbus. In this context, NDT method...

The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially leading to non-optimized models or even errors. To support process analysts in the definition of these models, a method for generating optimized configurable BP models from a constraint-based specification by considering multiple...

Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information systems and the require-ments of the stakeholders involved. When managing business processes, in addi-tion, support for representing time and reasoning about it becomes crucial. Given a declarative process model, users may ch...

In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible Process-Aware Information Systems (PAISs). This increasing flexibility, however, typically implies decreased user guidance by the PAIS and thus poses additional challenges to its users. This work proposes a recommendation system w...

This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The model can be used to represent a multiple software process planning problem when the different (activities of) projects compete for limited staff. The main aspects of the model are: the use of integer variables which repr...

Usually, business process models are manually achieved by business analysts and most of current modelling languages are of imperative nature. As a consequence, non-optimized or faulty models can be obtained. This work proposes a planning based approach to give business analysts assistance for the process models generation. This approach entails the...

The main purpose of this work entails the development of a constraint-based proposal, in order to solve problems which deal with the planning and scheduling of activities which can be executed several times and are related by high-level constraints. The proposed constraint-based approach includes new filtering rules for the definition of the high-l...

Over the last decade, the efficient and flexible management of business processes has become one of the most critical success aspects. Furthermore, there exists a growing interest in the application of Artificial Intelligence Planning and Scheduling techniques to automate the production and execution of models of organization. However, from our poi...

This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when repairing faulty components in a system. Since multi-mode operations are considered, the problem involves the ordering and the selection of the tasks and modes from a set of alternatives, using the shared resources efficiently. Add...

Current relational databases have been developed in order to improve the handling of stored data, however, there are some types of information that have to be analysed for which no suitable tools are available. These new types of data can be represented and treated as constraints, allowing a set of data to be represented through equations, inequati...

This work presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly tasks when repairing or substituting faulty parts. The problem involves not only the ordering of assembly and disassembly tasks, but also the selection of them from a set of alternatives. The goal of the plan is the minimizat...

In model-based diagnosis, minimal hitting sets (HSs) are usually used to identify which components may fail in a system. This chapter presents a set of algorithms to improve the determination of all minimal HSs. The proposal in the chapter uses minimal conflict sets (MCSs) to obtain, in an efficient way, the diagnosis of a system. The improvement c...

Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and planning/sheduling applications. Many of these models are overconstrained Numeric Constraint Satisfaction Problems (NCSP), where the numeric constraints could have linear or polynomial relations. In practical scenarios, it is very useful to k...

Two communities are working in parallel in model-based diagnosis: FDI and DX. This paper proposes a new methodology, based on FDI and DX techniques, in order to automate the diagnosis process. According to this approach, only relevant information for identifying the minimal diagnoses is used in order to reduce the computational complexity. All the...

Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) and a model of the system in order to explain a wrong behaviour. In this work, a new approach is proposed with the aim of improving the computational complexity for isolating faults in a system. The key idea is the addition of a...

Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones se desarrollan en paralelo, suelen trabajar por separado. Este trabajo propone una integración de las técnicas provenientes de ambas metodologías?as. En un primer paso el sistema es dividido en conjuntos de componentes de forma q...

In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our proposal uses the minimal conflict sets to obtain, in an efficient way, the diagnosis of a system. The improvement consists of three a...

Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by Contract, Model-Based Diagnosis and Constraint Programming. The contracts are specified by assertions embedded in the source code. T...

Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. The consideration of symmetries ensures that NCSP-solver will find solutions if they exist on a smaller search space. Our work prop...

Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX communities is proposed. Only relevant information for the identification of the minimal diagnosis is used. In the first step, the system is divided into clusters of components, and each cluster is separated into nodes. The minim...

Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the treatment of constraints as a new data type. Our proposal presents a new way of storing and manipulating constraints as a usual data, and of making queries about the constraint variables derived from an Object-Relational Constraint...

Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan in a system with multiple assembly machines. The objective of the plan is the minimization of the total assembly time (makespan). To meet this objective, the model takes into account the durations and resources for the assembly...

Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and they can be represented by constraints associated to the components. The variables including in these constraints can be observable or non-observable, depending on the situation of sensors. In ord...

Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and may be represented by constraints associated to the components. The variables of these constraints can be observable or non-observable, depending on the situation of the sensors. In order to obtai...

Not Available

This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous and discrete domains based on evolutionary algorithms. The main contributions of our approach are the integration of both binary and real evolutionary coding; the use of specific operators; the relaxing coefficient to construct m...

Constraint Databases were proposed because it was necessary to represent infinite relations in a more modular and compact way. In this way, Constraint Databases were used to handle continuous data, like spatio-temporal, and to enrich both the data model and the queries with constraints. It allows us to handle these constraints and it makes easier t...

In the last decades, model-based diagnosis has been an active research topic for the Artificial Intelligence community. It uses the explicit model of a system, the system inputs and the measured system outputs, in order to identify the subsystems that can generate faults. The system or the process that incorporates diagnosis may reduce costs and pr...

This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. The set of all feasible assembly plans for a single product is represented using an {ıt And/Or} graph. This representation embodies some of the constraints involved in the planning problem, such as precedence of tasks, and th...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The objective of the plan is the minimization of the total assembly time (makespan). To meet this objective, the model takes into account the assembly times and resources for each task, the times needed to change tools in the robots, and...

The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of the search space and an appropriate evaluation function of the potential solutions. The coding of the search space for the obtaining of decision rules is approached, i.e., the representation of the individuals of the genetic popul...

This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing problems that have already been tackled with success using these techniques, such as the classic Traveling Salesperson Problem (TSP) or the Job Shop Scheduling Problem (JSSP). It not only involves the arranging of tasks, as i...

Constraint Databases were proposed because it was necessary to represent infinite relations in a more modular and compact way. In this way, Constraint Databases were used to handle continuous data, like spatio-temporal, and to enrich both the data model and the queries with constraints. It allows us to handle these constraints and it makes easier t...

In the last decades, model-based diagnosis has been an active research topic for the Artificial Intelligence community. It uses the explicit model of a system, the system inputs and the measured system outputs, in order to identify the subsystems that can generate faults. The system or the process that incorporates diagnosis may reduce costs and pr...

In engineering applications, many models are a set of polynomial constraints. In order to automate and improve the diagnosis of these models, we propose a new approach for the integration of both FDI and DX approaches. It allows us to achieve a synergy that produces results that could not be obtained if each one was operating individually. This pap...

This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in the workcells in Assembly Sequence Planning. This problem is focused through the minimization of the makespan (total assembly time) in a multirobot system. The planning model considers, apart from the durations and resources nee...

In software development is essential to have tools for the software diagnosis to help the programmers and development engineers to locate the bugs. In this paper, we propose a new approach that identifies the possible bugs and detect why the program does not satisfy the specified result. A typical diagnosis problem is built starting from the struct...

Resumen La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el comportamiento anómalo del sistema de estudio. Tras la diagnosis, el objetivo es restablecer el funcionamiento deseado mediante la reparación o sustitución de tales componentes. En sistemas complejos pueden existir muy diversa...

The most influential factors in the quality of the solu- tions found by an evolutionary algorithm are a correct coding of the search space and an appropriate evaluation function of the potential solutions. The coding of the search space for the obtaining of deci- sion rules is approached, i.e., the representation of the individuals of the genetic p...

This work presents an application of genetic algorithms to assembly sequence planning. This problem is more difficult than other sequencing problems that have already been tackled with success using these techniques, such as the classic Travelling Salesperson Problem (TSP) or the Job Shop Scheduling Problem (JSSP). It not only involves the arrangin...

This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The algorithm takes into account, in addition to the assembly times, the times needed to change tools in the robots. The objective of the plan is the minimization of the makespan. To meet this objective, the algorithm starts from the And...

This paper presents an algorithm A* for obtaining the “best” assembly plan for a product in a multirobot system. The algorithm takes into account, in addition to the assembly times, the times needed to change tools in the robots. The objective of the plan is the minimization of the makespan. To meet this objective, the algorithm starts from the And...

Resumen. En este trabajo se presenta un modelo CSP (Problema de Satisfac- ción de Restricciones) para el secuenciamiento óptimo de tareas en la sustitu- ción de piezas defectuosas. Para ello, se parte de un modelo para la selección de secuencias óptimas de ensamblaje en sistemas con múltiples máquinas. El obje- tivo del plan es la minimización del...

Resumen. En este trabajo se presenta la especificación en PDDL 2.2 de un do- minio de ensamblaje, que incluye la selección y secuenciamiento óptimo de ta- reas de montaje e n un sistema c on varias máquinas. El objetivo del plan es la minimización del tiempo total del ensamblaje, para lo cual el modelo considera, además de las duraciones y los recu...

This report presents a constraint-based approach for solving problems which deal with the planning and scheduling of activities which can be executed several times and are related by high-level constraints. This approach includes filtering rules (propagators) for the definition of the high-level relations between the repeated activities, and thereb...