English
Related papers

Related papers: Hybrid ASP-based multi-objective scheduling of sem…

200 papers

This paper addresses a production scheduling problem derived from an industrial use case, focusing on unrelated parallel machine scheduling with the personnel availability constraint. The proposed model optimizes the production plan over a…

Artificial Intelligence · Computer Science 2024-02-27 Maziyar Khadivi , Mostafa Abbasi , Todd Charter , Homayoun Najjaran

In this paper, we propose the first optimum process scheduling algorithm for an increasingly prevalent type of heterogeneous multicore (HEMC) system that combines high-performance big cores and energy-efficient small cores with the same…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-13 Chien-Hao Chen , Ren-Song Tsay

The Oven Scheduling Problem (OSP) is an NP-hard real-world parallel batch scheduling problem arising in the semiconductor industry. The objective of the problem is to schedule a set of jobs on ovens while minimizing several factors, namely…

Artificial Intelligence · Computer Science 2024-10-03 Francesca Da Ros , Marie-Louise Lackner , Nysret Musliu

We introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics applications. HCP-ASP relies on modeling actuation actions and sensing actions in an expressive nonmonotonic…

Artificial Intelligence · Computer Science 2017-07-20 Ibrahim Faruk Yalciner , Ahmed Nouman , Volkan Patoglu , Esra Erdem

Algorithms based on semi-partitioned scheduling have been proposed as a viable alternative between the two extreme ones based on global and partitioned scheduling. In particular, allowing migration to occur only for few tasks which cannot…

Operating Systems · Computer Science 2010-06-15 François Dorin , Patrick Meumeu Yomsi , Joël Goossens , Pascal Richard

Performance-, power-, and energy-aware scheduling techniques play an essential role in optimally utilizing processing elements (PEs) of heterogeneous systems. List schedulers, a class of low-complexity static schedulers, have commonly been…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-17 Joshua Mack , Samet E. Arda , Umit Y. Ogras , Ali Akoglu

Increasingly volatile electricity prices make simultaneous scheduling optimization desirable for production processes and their energy systems. Simultaneous scheduling needs to account for both process dynamics and binary on/off-decisions…

Optimization and Control · Mathematics 2022-07-28 Florian Joseph Baader , André Bardow , Manuel Dahmen

This paper studies a generalized busy-time scheduling model on heterogeneous machines. The input to the model includes a set of jobs and a set of machine types. Each job has a size and a time interval during which it should be processed.…

Data Structures and Algorithms · Computer Science 2021-05-14 Mozhengfu Liu , Xueyan Tang

Manufacturing companies face challenges when it comes to quickly adapting their production control to fluctuating demands or changing requirements. Control approaches that encapsulate production functions as services have shown to be…

Artificial Intelligence · Computer Science 2022-07-26 Aljosha Köcher , Rene Heesch , Niklas Widulle , Anna Nordhausen , Julian Putzke , Alexander Windmann , Oliver Niggemann

We present a case study of artificial intelligence techniques applied to the control of production printing equipment. Like many other real-world applications, this complex domain requires high-speed autonomous decision-making and robust…

Artificial Intelligence · Computer Science 2014-01-17 Wheeler Ruml , Minh Binh Do , Rong Zhou , Markus P. J. Fromherz

We study a variant of the single machine capacitated lot-sizing problem with sequence-dependent setup costs and product-dependent inventory costs. We are given a single machine and a set of products associated with a constant demand rate,…

Optimization and Control · Mathematics 2015-04-02 Michaël Gabay , Alexander Grigoriev , Vincent J. C. Kreuzen , Tim Oosterwijk

Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming, that has been recently employed in many applications. The development of efficient ASP systems…

Artificial Intelligence · Computer Science 2020-02-19 Marco Maratea , Luca Pulina , Francesco Ricca

This paper presents different methods for solving parallel machine scheduling problems with precedence constraints and setup times between the jobs. Limited discrepancy search methods mixed with local search principles, dominance conditions…

Data Structures and Algorithms · Computer Science 2009-02-19 Bernat Gacias , Christian Artigues , Pierre Lopez

In this paper we deal with a complex real world scheduling problem closely related to the well-known Resource-Constrained Project Scheduling Problem (RCPSP). The problem concerns industrial test laboratories in which a large number of tests…

Artificial Intelligence · Computer Science 2024-11-01 Tobias Geibinger , Florian Mischek , Nysret Musliu

Smart Manufacturing refers to optimization techniques that are implemented in production operations by utilizing advanced analytics approaches. With the widespread increase in deploying Industrial Internet of Things (IIoT) sensors in…

Machine Learning · Computer Science 2020-09-01 Mohammadhossein Ghahramani , Yan Qiao , MengChu Zhou , Adrian OHagan , James Sweeney

Efficient production planning is essential in modern manufacturing to improve performance indicators such as lead time and to reduce reliance on human intuition. While mathematical optimization approaches, formulated as job shop scheduling…

Quantum Physics · Physics 2025-11-06 Kenta Sawamura , Kensuke Araki , Naoki Maruyama , Renichiro Haba , Masayuki Ohzeki

We consider the problem of scheduling jobs with equal lengths on uniform parallel batch machines with non-identical capacities where each job can only be processed on a specified subset of machines called its processing set. For the case of…

Data Structures and Algorithms · Computer Science 2017-08-22 Shuguang Li

Technologies and lifestyles have been increasingly geared toward consumerism in recent years. Accordingly, it is both the price and the delivery time that matter most to the ultimate customers of commercial enterprises. Consequently, the…

Systems and Control · Electrical Eng. & Systems 2022-09-02 Sina Aghakhani , Mohammad Sadra Rajabi

Federated scheduling is a promising approach to schedule parallel real-time tasks on multi-cores, where each heavy task exclusively executes on a number of dedicated processors, while light tasks are treated as sequential sporadic tasks and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-10 Xu Jiang , Nan Guan , Xiang Long , Wang Yi

In our daily lives and industrial settings, we often encounter dynamic problems that require reasoning over time and metric constraints. These include tasks such as scheduling, routing, and production sequencing. Dynamic logics have…

Artificial Intelligence · Computer Science 2025-02-14 Susana Hahn