Uniprocessor Scheduling Under Precedence Constraints

2006 ◽  
Author(s):  
L. Mangeruca ◽  
A. Ferrari ◽  
A.L. Sangiovanni-Vincentelli
Keyword(s):  
Precedence Constraints ◽  
Uniprocessor Scheduling

Uniprocessor scheduling under precedence constraints for embedded systems design

2007 ◽  
Vol 7 (1) ◽  
pp. 1-30 ◽  
Author(s):  
Leonardo Mangeruca ◽  
Massimo Baleani ◽  
Alberto Ferrari ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Embedded Systems ◽  
Systems Design ◽  
Precedence Constraints ◽  
Uniprocessor Scheduling

scholarly journals Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints

Constraints ◽  
2021 ◽  
Author(s):  
Jana Koehler ◽  
Josef Bürgler ◽  
Urs Fontana ◽  
Etienne Fux ◽  
Florian Herzog ◽  
...  
Keyword(s):  
State Of The Art ◽  
Precedence Constraints ◽  
Traveling Salesman ◽  
Mixed Integer ◽  
Automated Manufacturing ◽  
Scheduling Problem ◽  
Tasks Scheduling ◽  
Optimization Modulo Theories ◽  
Coupled Tasks ◽  
Np Hardness

AbstractCable trees are used in industrial products to transmit energy and information between different product parts. To this date, they are mostly assembled by humans and only few automated manufacturing solutions exist using complex robotic machines. For these machines, the wiring plan has to be translated into a wiring sequence of cable plugging operations to be followed by the machine. In this paper, we study and formalize the problem of deriving the optimal wiring sequence for a given layout of a cable tree. We summarize our investigations to model this cable tree wiring problem (CTW). as a traveling salesman problem with atomic, soft atomic, and disjunctive precedence constraints as well as tour-dependent edge costs such that it can be solved by state-of-the-art constraint programming (CP), Optimization Modulo Theories (OMT), and mixed-integer programming (MIP). solvers. It is further shown, how the CTW problem can be viewed as a soft version of the coupled tasks scheduling problem. We discuss various modeling variants for the problem, prove its NP-hardness, and empirically compare CP, OMT, and MIP solvers on a benchmark set of 278 instances. The complete benchmark set with all models and instance data is available on github and was included in the MiniZinc challenge 2020.

scholarly journals Randomized and Generated Instances Fitting with the Home Health Care Problem Subjected to Certain Constraints

2021 ◽  
Vol 11 (8) ◽  
pp. 3346
Author(s):  
Colin Huvent ◽  
Caroline Gagné ◽  
Aymen Sioud
Keyword(s):  
Health Care ◽  
Home Health Care ◽  
Hospital Cost ◽  
Time Window ◽  
Developed Countries ◽  
Home Health ◽  
Precedence Constraints ◽  
Social Organizations ◽  
Health Support ◽  
Time Window Constraints

Home Health Care (HHC) is a worldwide issue. It focuses on how medical and social organizations of different countries handle providing patients with health support at home. In most developed countries, reducing hospital cost constitutes a main objective. It is important to research the improvement of HHC logistics. This paper addressed the generation and development of a benchmark properly fitting different constraints of the HCC problem. Consequently, a generator was proposed dealing with all kinds of constraints such as time window constraints, workload constraints, synchronization, and precedence constraints. This generator allows researchers to validate and compare solving methods on a common dataset regardless of confidentiality issues. We validated our generator by firstly creating a common benchmark available for researchers and secondly by proposing a set of instances and a solving method based on an HHC problem found in the literature.

Vehicle route-sequence planning using temporal logic

2002 ◽  
Vol 16 (1) ◽  
pp. 31-38
Author(s):  
KIAM TIAN SEOW ◽  
MICHEL PASQUIER
Keyword(s):  
Temporal Logic ◽  
Linear Time ◽  
Simple Procedure ◽  
Precedence Constraints ◽  
Sequence Planning ◽  
Vehicle Route ◽  
Passenger Travel ◽  
State Formula ◽  
Linear Time Temporal Logic ◽  
Service Task

This paper proposes a new logical framework for vehicle route-sequence planning of passenger travel requests. Each request is a fetch-and-send service task associated with two request-locations, namely, a source and a destination. The proposed framework is developed using propositional linear time temporal logic of Manna and Pnueli. The novelty lies in the use of the formal language for both the specification and theorem-proving analysis of precedence constraints among the location visits that are inherent in route sequences. In the framework, legal route sequences—each of which visits every request location once and only once in the precedence order of fetch-and-send associated with every such request—is formalized and justified, forming a basis upon which the link between a basic precedence constraint and the corresponding canonical forbidden-state formula is formally established. Over a given base route plan, a simple procedure to generate a feasible subplan based on a specification of the forbidden-state canonical form is also given. An example demonstrates how temporal logic analysis and the proposed procedure can be applied to select a final (feasible) subplan based on additional precedence constraints.

Sign in / Sign up

Export Citation Format

Share Document