Synthesising robust schedules for minimum disruption repair using linear programming

An off-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. This schedule must, however, be executed in a dynamic and unpredictable operating environment where resources may fail and tasks may execute longer than expected. To accommodate such execution uncertainties, this paper addresses the synthesis of robust task schedules using a slack-based approach and proposes a solution using integer linear programming (ILP). Earlier we formulated a time slot based ILP model whose solutions maximise the temporal flexibility of the overall task schedule. In this paper, we propose an improved, interval based model, compare it to the former, and evaluate both on a set of random scenarios using two public domain ILP solvers and a proprietary SAT/ILP mixed solver

Evolutionary fleet sizing in static and uncertain environments with shuttle transportation tasks - the case studies of container terminals

This paper aims to identify the optimal number of vehicles in environments with shuttle transportation tasks. These environments are very common industrial settings where goods are transferred repeatedly between multiple machines by a fleet of vehicles. Typical examples of such environments are manufacturing factories, warehouses and container ports. One very important optimisation problem in these environments is the fleet sizing problem. In real-world settings, this problem is highly complex and the optimal fleet size depends on many factors such as uncertainty in travel time of vehicles, the processing time of machines and size of the buffer of goods next to machines. These factors, however, have not been fully considered previously, leaving an important gap in the current research. This paper attempts to close this gap by taking into account the aforementioned factors. An evolutionary algorithm was proposed to solve this problem under static and uncertain situations. Two container ports were selected as case studies for this research. For the static cases, the state-of-the-art CPLEX solver was considered as the benchmark. Comparison results on real-world scenarios show that in the majority of cases the proposed algorithm outperforms CPLEX in terms of solvability and processing time. For the uncertain cases, a high-fidelity simulation model was considered as the benchmark. Comparison results on real-world scenarios with uncertainty show that in most cases the proposed algorithm could provide an accurate robust fleet size. These results also show that uncertainty can have a significant impact on the optimal fleet size

Smart manufacturing scheduling: A literature review

[EN] Within the scheduling framework, the potential of digital twin (DT) technology, based on virtualisation and intelligent algorithms to simulate and optimise manufacturing, enables an interaction with processes and modifies their course of action in time synchrony in the event of disruptive events. This is a valuable capability for automating scheduling and confers it autonomy. Automatic and autonomous scheduling management can be encouraged by promoting the elimination of disruptions due to the appearance of defects, regardless of their origin. Hence the zero-defect manufacturing (ZDM) management model oriented towards zero-disturbance and zero-disruption objectives has barely been studied. Both strategies combine the optimisation of production processes by implementing DTs and promoting ZDM objectives to facilitate the modelling of automatic and autonomous scheduling systems. In this context, this particular vision of the scheduling process is called smart manufacturing scheduling (SMS). The aim of this paper is to review the existing scientific literature on the scheduling problem that considers the DT technology approach and the ZDM model to achieve self-management and reduce or eliminate the need for human intervention. Specifically, 68 research articles were identified and analysed. The main results of this paper are to: (i) find methodological trends to approach SMS models, where three trends were identified; i.e. using DT technology and the ZDM model, utilising other enabling digital technologies and incorporating inherent SMS capabilities into scheduling; (ii) present the main SMS alignment axes of each methodological trend; (iii) provide a map to classify the literature that comes the closest to the SMS concept; (iv) discuss the main findings and research gaps identified by this study. Finally, managerial implications and opportunities for further research are identified.This work was supported by the Spanish Ministry of Science, Innovation and Universities project entitled 'Optimisation of zero-defects production technologies enabling supply chains 4.0 (CADS4.0) ' (RTI2018-101344-B-I00) , the European Union H2020 research and innovation programme with grant agreement No. 825631 "Zero Defect Manufacturing Platform (ZDMP) " and the European Union H2020 research and innovation programme with agreement No. 958205 "In-dustrial Data Services for Quality Control in Smart Manufacturing (i4Q) ".Serrano-Ruiz, JC.; Mula, J.; Poler, R. (2021). Smart manufacturing scheduling: A literature review. Journal of Manufacturing Systems. 61:265-287. https://doi.org/10.1016/j.jmsy.2021.09.0112652876

Working Notes from the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning

The symposium presented issues involved in the development of scheduling systems that can deal with resource and time limitations. To qualify, a system must be implemented and tested to some degree on non-trivial problems (ideally, on real-world problems). However, a system need not be fully deployed to qualify. Systems that schedule actions in terms of metric time constraints typically represent and reason about an external numeric clock or calendar and can be contrasted with those systems that represent time purely symbolically. The following topics are discussed: integrating planning and scheduling; integrating symbolic goals and numerical utilities; managing uncertainty; incremental rescheduling; managing limited computation time; anytime scheduling and planning algorithms, systems; dependency analysis and schedule reuse; management of schedule and plan execution; and incorporation of discrete event techniques

A CAPACITY MODEL FOR RESEARCH BASED GOVERNMENT MANUFACTURING SYSTEMS

Manufacturing systems take longer than necessary to be designed and implemented, hence the greater developmental cost. A class of manufacturing systems exist which would benefit from the concepts of reverse engineering, to reduce lead times for establishing critical manufacturing capabilities essential to national safety and security. There is a need to reverse engineer these manufacturing systems as no current system and/or body of knowledge exists. Manufacturing systems vary in their ability to deliver products in an efficient and reliable manner and hence the variability in national readiness. Presently the design of manufacturing systems for some critical operations ranges from an educated trial and error process to duplicating from documentation and professional expertise. The literature search highlights the non-existence of a current systematic operational reverse engineering model that could be the standard for designing manufacturing systems. One of the main constraints in the manufacturing is that the time for production is limited and denoted by time available (TA). The time to finish (TF) is the time needed to complete the manufacturing operations in a facility so that the entire quantity demanded is produced, from start to end, in the production line. If the TF is less than the TA there is sufficient capacity to meet the demand. Literature search indicates that no study has been conducted to compute the TF. Further, it also indicates that no study has been carried out focusing on the vi impact of variations and disruptions at the design stage, even though these topics are covered in analysis of existing operational systems. The algorithms and mathematical model were developed. The model will compute the exact TF taking into account variation, disruption and flow issues. The equation for TF was developed. The model to be designed is validated using information from a government manufacturing system

Network-Level Scheduling of Road Projects During the Construction Season Considering Network Connectivity

INDOT implements several hundred highway projects annually. One of the unintended (and adverse) consequences of road work is the establishment of work zones or full or partial closure of certain road links and the subsequent impairment of network connectivity during the construction season. The temporary reduction in network connectivity can lead to reduced mobility and decreased accessibility to businesses. The user costs incurred during highway construction can be significant, particularly where the affected links have very high traffic volumes or offer few opportunities to detour. Delay also inflicts costs on the non-traveling public, such as when it is necessary to reroute school buses in communities. Delay-related costs also impact the traveling public and shippers of raw materials and finished products. In some cases, construction-related disruptions cause adverse impacts on adjacent businesses. The main objective of this study was to develop a methodology and software tool that INDOT’s Construction and Contracts Division could use to evaluate the systemic impacts of work zones on a network. The optimal schedules developed using the methodology were checked using data from past projects and was validated by comparing the reduction in user costs compared to actual past construction schedules. The case study results showed that, compared with INDOT’s current plan, the developed framework would greatly reduce the user and business disruption costs associated with network-wide construction plans by providing optimal construction schedules. The developed network-level project scheduling methodology and software tool will help INDOT to plan various construction projects in a given district while considering user and business disruption costs

Robustness and stability in dynamic constraint satisfaction problems

Constraint programming is a paradigm wherein relations between variables are stated in the form of constraints. It is well-known that many real life problems can be modeled as Constraint Satisfaction Problems (CSPs). Much effort has been spent to increase the efficiency of algorithms for solving CSPs. However, many of these techniques assume that the set of variables, domains and constraints involved in the CSP are known and fixed when the problem is modeled. This is a strong limitation because many problems come from uncertain and dynamic environments, where both the original problem may evolve because of the environment, the user or other agents. In such situations, a solution that holds for the original problem can become invalid after changes. There are two main approaches for dealing with these situations: reactive and proactive approaches. Using reactive approaches entails re-solving the CSP after each solution loss, which is a time consuming. That is a clear disadvantage, especially when we deal with short-term changes, where solution loss is frequent. In addition, in many applications, such as on-line planning and scheduling, the delivery time of a new solution may be too long for actions to be taken on time, so a solution loss can produce several negative effects in the modeled problem. For a task assignment production system with several machines, it could cause the shutdown of the production system, the breakage of machines, the loss of the material/object in production, etc. In a transport timetabling problem, the solution loss, due to some disruption at a point, may produce a delay that propagates through the entire schedule. In addition, all the negative effects stated above will probably entail an economic loss. In this thesis we develop several proactive approaches. Proactive approaches use knowledge about possible future changes in order to avoid or minimize their effects. These approaches are applied before the changes occur. Thus, our approaches search for robust solutions, which have a high probability to remain valid after changes. Furthermore, some of our approaches also consider that the solutions can be easily adapted when they did not resist the changes in the original problem. Thus, these approaches search for stable solutions, which have an alternative solution that is similar to the previous one and therefore can be used in case of a value breakage. In this context, sometimes there exists knowledge about the uncertain and dynamic environment. However in many cases, this information is unknown or hard to obtain. For this reason, for the majority of our approaches (specifically 3 of the 4 developed approaches), the only assumptions made about changes are those inherent in the structure of problems with ordered domains. Given this framework and therefore the existence of a significant order over domain values, it is reasonable to assume that the original bounds of the solution space may undergo restrictive or relaxed modifications. Note that the possibility of solution loss only exists when changes over the original bounds of the solution space are restrictive. Therefore, the main objective for searching robust solutions in this framework is to find solutions located as far away as possible from the bounds of the solution space. In order to meet this criterion, we propose several approaches that can be divided in enumeration-based techniques and a search algorithm.Climent Aunés, LI. (2013). Robustness and stability in dynamic constraint satisfaction problems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34785TESI

Dynamic scheduling of recreational rental vehicles with revenue management extensions

The rental fleet scheduling problem (RFSP) arises in vehicle-rental operations that offer a wide variety of vehicle types to customers, and allow a rented vehicle to migrate to a setdown depot other than the pickup depot. When there is a shortage of vehicles of a particular type at a depot, vehicles may be relocated to that depot, or vehicles of similar types may be substituted. The RFSP involves assigning vehicles to rentals so as to minimise the costs of these operations, and arises in both static and online contexts. The authors have adapted a well-known assignment algorithm for application in the online context. In addition, a network-flow algorithm with more comprehensive coverage of problem conditions is used to investigate the determination of rental pricing using revenue management principles. The paper concludes with an outline of the algorithms use in supporting the operations of a large recreational vehicle rental company