Miguel A. Salido

Constraint satisfaction techniques in planning and scheduling

Over the last few years constraint satisfaction, planning, and scheduling have received increased attention, and substantial effort has been invested in exploiting constraint satisfaction techniques when solving real life planning and scheduling problems. Constraint satisfaction is the process of finding a solution to a set of constraints. Planning is the process of finding a sequence of actions that transfer the world from some initial state to a desired state. Scheduling is the problem of assigning a set of tasks to a set of resources subject to a set of constraints. In this paper, we introduce the main definitions and techniques of constraint satisfaction, planning and scheduling from the Artificial Intelligence point of view.

A Genetic Algorithm for Railway Scheduling Problems

This work is focused on the application of evolutionary algorithms to solve very complex real-world problems. For this purpose a Genetic Algorithm is designed to solve the Train Timetabling Problem. Optimizing train timetables on a single line track is known to be NP-hard with respect to the number of conflicts in the schedule. This makes it difficult to obtain good solutions to real life problems in a reasonable computational time and raises the need for good heuristic scheduling techniques. The railway scheduling problem considered in this work implies the optimization of trains on a railway line that is occupied (or not) by other trains with fixed timetables. The timetable for the new trains is obtained with a Genetic Algorithm (GA) that includes a guided process to build the initial population. The proposed GA is tested using real instances obtained from the Spanish Manager of Railway Infrastructure (ADIF). The results of the computational experience, point out that GA is an appropriate method to explore the search space of this complex problems and able to lead to good solutions in a short amount of time.

Energy-efficient dynamic scheduling for a flexible flow shop using an improved particle swarm optimization

Manufacturing companies are facing the emergent challenges to meet the demand of sustainable manufacturing.Energy-efficient dynamic scheduling is a NP-hard problem presented in manufacturing systems.A novel particle swarm optimization algorithm based on Hill function is presented to minimize makespan and energy consumption.The relationship between makespan and energy consumption is conflicting.The results show that the proposed algorithm outperforms the behavior of state of the art algorithms. Due to increasing energy requirements and associated environmental impacts, nowadays manufacturing companies are facing the emergent challenges to meet the demand of sustainable manufacturing. Most existing research on reducing energy consumption in production scheduling problems has focused on static scheduling models. However, there exist many unexpected disruptions like new job arrivals and machine breakdown in a real-world production scheduling. In this paper, it is proposed an approach to address the dynamic scheduling problem reducing energy consumption and makespan for a flexible flow shop scheduling. Since the problem is strongly NP-hard, a novel algorithm based on an improved particle swarm optimization is adopted to search for the Pareto optimal solution in dynamic flexible flow shop scheduling problems. Finally, numerical experiments are carried out to evaluate the performance and efficiency of the proposed approach.

Domain-dependent distributed models for railway scheduling

Many combinatorial problems can be modelled as Constraint Satisfaction Problems (CSPs). Solving a general CSP is known to be NP-complete, so closure and heuristic search are usually used. However, many problems are inherently distributed and the problem complexity can be reduced by dividing the problem into a set of subproblems. Nevertheless, general distributed techniques are not always appropriate to distribute real-life problems. In this work, we model the railway scheduling problem by means of domain-dependent distributed constraint models, and we show that these models maintained better behaviors than general distributed models based on graph partitioning. The evaluation is focused on the railway scheduling problem, where domain-dependent models carry out a problem distribution by means of trains and contiguous sets of stations.

Distributed CSPs by graph partitioning

Nowadays, many real problems in artificial intelligence can be modelled as constraint satisfaction problems (CSPs). A general CSP is known to be NP-complete. Nevertheless, distributed models may reduce the exponential complexity by partitioning the problem into a set of subproblems. In this paper, we present a preprocess technique to break a single large problem into a set of smaller loosely connected ones. These semi-independent CSPs can be efficiently solved and, furthermore, they can be solved concurrently.

Robustness in railway transportation scheduling

Railway scheduling has been a significant issue in the railway industry. Over the last few years, numerous approaches and tools have been developed to compute railway scheduling. However, robust solutions are necessary to absorb short disruptions. In this paper, we present the robustness problem from the point of view of railway operators and we give some guidelines to measure robustness in timetabling. We have developed some formulae to compare robustness between two timetables based on the study of railway infrastructure topology and buffer times. Thus, each buffer time is pondered by some factors such as tightest tracks, number of subsequent trains, remaining stations, etc. This method is inserted in MOM1, which is a project in collaboration with the Spanish Railway Infrastructure Manager (ADIF).

A decision support system for managing combinatorial problems in container terminals

A container terminal is a facility where cargo containers are transshipped between different transport vehicles. We focus our attention on the transshipment between vessels and land vehicles, in which case the terminal is described as a maritime container terminal. In these container terminals, many combinatorial related problems appear and the solution of one of the problems may affect to the solution of other related problems. For instance, the berth allocation problem can affect to the crane assignment problem and both could also affect to the Container Stacking Problem. Thus, terminal operators normally demand all containers to be loaded into an incoming vessel should be ready and easily accessible in the yard before vessels arrival. Similarly, customers (i.e., vessel owners) expect prompt berthing of their vessels upon arrival. However the efficiency of the loading/unloading tasks of containers in a vessel depends on the number of assigned cranes and the efficiency of the container yard logistic. In this paper, we present a decision support system to guide the operators in the development of these typical tasks. Due to some of these problems are combinatorial, some analytical formulas are presented to estimate the behavior of the container terminal.

Distributed search in railway scheduling problems

Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). Solving a general CSP is known to be NP-complete; however, distributed models may take advantage of dividing the problem into a set of simpler inter-connected sub-problems which can be more easily solved. The purpose of this paper is three-fold: first, we present a technique to distribute the constraint network by means of selection of tree structures. Thus, the CSP is represented as a meta-tree CSP structure that is used as a hierarchy of communication by our distributed algorithm. Then, a distributed and asynchronous search algorithm (DTS) is presented. DTS is committed to solving the meta-tree CSP structure in a depth-first search tree. Finally, an intra-agent search algorithm is presented. This algorithm takes into account the Nogood_message to prune the search space. We have focused our research on the railway scheduling problem which can be distributed by tree structures. We show that our distributed algorithm outperforms well-known centralized algorithms.

Introduction to planning, scheduling and constraint satisfaction

Planning, scheduling and constraint satisfaction are important areas in artificial intelligence (AI). Many real-world problems are known as AI planning and scheduling problems, where resources must be allocated so as to optimize overall performance objectives. Therefore, solving these problems requires an adequate mixture of planning, scheduling and resource allocation to competing goal activities over time in the presence of complex state-dependent constraints. Constraint satisfaction plays also an important role to solve real-life problems, so that integrated techniques that manage planning and scheduling with constraint satisfaction remains necessary. This special issue on Planning, Scheduling and Constraint Satisfaction compiles a selection of papers of CAEPIA’2007 workshop on Planning, Scheduling and Constraint Satisfaction and COPLAS’2007: CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. This issue presents novel advances on planning, scheduling, constraint programming/constraint satisfaction problems (CSPs) and many other common areas that exist among them. On the whole, this issue mainly focus on managing complex problems where planning, scheduling, constraint satisfaction and search must be combined and/or interrelated, which entails an enormous potential for practical applications and future research. Furthermore, this issue also includes a complete survey about constraint satisfaction, planning, scheduling and integration among these areas.

Robustness for a single railway line: Analytical and simulation methods

Railway scheduling has been a significant issue in the railway industry. Over the last few years, numerous approaches and tools have been developed to compute railway scheduling. However, robust solutions are necessary to absorb short disruptions. In this paper, we present the robustness problem from the point of view of railway operators and we propose analytical and simulation methods to measure robustness in a single railway line. In the analytical approach, we have developed some formulas to measure robustness based on the study of railway line infrastructure topology and buffer times. In the simulation approach, we have developed a software tool to assess the robustness for a given schedule. These methods have been inserted in MOM (More information can be found at the MOM web page http://www.dsic.upv.es/users/ia/gps/MOM), which is a project in collaboration with the Spanish Railway Infrastructure Manager (ADIF).