A logic-based approach to scheduling problems with resource constraints

Computers and Chemical Engineering

Volumn 21, Issue 8, 1997, Pages 801-818

  Pinto, Jose M ^a,b   Grossmann, Ignacio E ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; FORMAL LOGIC; LINEAR PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS CONTROL; PRODUCTION CONTROL; RANDOM PROCESSES; RESOURCE ALLOCATION; SCHEDULING;

DISCRETE RESOURCE CONSTRAINTS; NOVEL RELAXATION MODEL;

PLANT MANAGEMENT;

EID: 0030713544     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(96)00318-3     Document Type: Article

References (24)

1. Balas, E. (1985) Disjunctive programming and a hierarchy of relaxations for discrete optimization problems. SIAM J. Alg. Disc. Meth. 6, 466-486.
2. Beaumont, N. (1990) An algorithm for disjunctive programs. European Journal of Operational Research 48, 362-371.
3. Blazewicz, J., Dror, M. and Weglarz, J. (1991) Mathematical programming formulations for machine scheduling: a survey. European Journal of Operational Research 51, 283-300.
4. Brooke A., D. Kendrick and A. Meeraus, GAMS-A user's guide (release 2.25). The Scientific Press, San Francisco, CA (1992).
5. Henning, G. and J. Cerdá, ESA, An expert scheduling assistant for batch processes In Foundations of Computer Aided Process Operations, Rippin, D. W. T., J. C. Hale and J. F. Davis, Eds, CACHE, Austin, TX, 1994, pp. 403-408.
6. Kondili, E., Pantelides, C.C. and Sargent, R.W.H. (1993) A general algorithm for short-term scheduling of batch operations. I. MILP formulation. Computers chem. Engng. 17, 2 211-227.
7. Kondili, E., Shah, N. and Pantelides, C.C. (1993) Production planning for the rational use of energy in multiproduct continuous plants. Computers chem. Engng. 17, suppl. issue S123-S128.
8. Murtagh, B. A. and M. A. Saunders, MINOS 5.4 User's Guide, Systems Optimization Laboratory, Department of Operations Research, Stanford University, Stanford, CA (1993).
9. OSL, IBM-OSL, Guide and Reference (release 2), Kingston, NY (1991).
10. Padberg, M. and Alevras, D. (1994) Order-preserving assignments. Nav. Res. Logist. 41, 395-421.
11. Pantelides, C. C., Unified frameworks for optimal process planning and scheduling In Foundations of Computer Aided Process Operations, Rippin, D. W. T., J. C. Hale and J. F. Davis, Eds, CACHE, Austin, TX, pp. 253-274 (1994).
12. Pekny, J.F., Miller, D.L. and Kudva, G.K. (1993) An exact algorithm for resource constrained sequencing with application to production scheduling under an aggregate deadline. Computers chem. Engng. 17, 7671-682.
13. Pinto, J. M. and I. E. Grossmann, A continuous time MILP model for short term scheduling of batch plants, I and EC Research 34, 3037 (1995).
14. Pinto, J. M. and I. E. Grossmann, An alternate MILP model for short term scheduling of batch plants with pre-ordering constraints, I and EC Research 35, 338 (1996).
15. Raman, R. and Grossmann, I.E. (1994) Modelling and computational techniques for logic based integer programming. Computers chem. Engng. 18, 7 563-578.
16. Reklaitis, G. V., Overview of scheduling and planning of batch process operations, NATO Advanced Study Institute-Batch Process Systems Engineering, Antalya, Turkey (1992).
17. Reklaitis, G.V. and Mockus, L. (1995) Mathematical programming formulation for scheduling of batch operations based nonuniform time discretization. Acta Chimica Slovenica 42, 1 81-86.
18. Repetto, B., QOMILP: A FORTRAN program for solving Mixed-Integer Linear Programs, Carnegie Mellon, University, Pittsburgh, PA (1994).
19. Schrage, L., Linear, Integer and Quadratic Programming with UNDO, 3rd edition. The Scientific Press, Palo Alto, CA (1986).
20. Shah, N., Pantelides, C.C. and Sargent, R.W.H. (1993) A general algorithm for short-term scheduling of batch operations. II. Computational issues. Computers chem. Engng. 17, 2 229-244.
21. Slowinski, R. (1981) Two approaches to problems of resource allocation among project activities - a comparative study. J. Opl. Res. Soc. 31, 711-723.
22. Tsirukis, A.G., Papageorkaki, S. and Reklaitis, G.V. (1993) Scheduling of multipurpose batch chemical plants with resource constraints. Ind. Eng. Chem. Res. 32, 3037-3050.
23. Xueya, Z. and R. W. H. Sargent, The optimal operation of mixed production facilities-a general formulation and some approaches to the solution, Proceedings of the 5th Symposium on Process Systems Engineering, Kyongju, Korea (1994).
24. Zentner, M. G. and G. V. Reklaitis, An interval-based mathematical model for the scheduling of resource-constrained batch chemical processes. Presented at the NATO Advanced Study Institute-Batch Process Systems Engineering, Antalya, Turkey (1992).