Scheduling of multi-product batch plants based upon timed automata models

Computers and Chemical Engineering

Volumn 32, Issue 1-2, 2008, Pages 275-291

  Panek, Sebastian ^a   Engell, Sebastian ^a   Subbiah, Subanatarajan ^a   Stursberg, Olaf ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Multi product batch plants; Reachability analysis; Scheduling; Timed automata

Indexed keywords

AUTOMATA THEORY; INDUSTRIAL PLANTS; MATHEMATICAL MODELS; SYNCHRONIZATION;

MULTI-PRODUCT BATCH PLANTS; REACHABILITY ANALYSIS; TIMED AUTOMATA;

SCHEDULING;

AUTOMATA THEORY; INDUSTRIAL PLANTS; MATHEMATICAL MODELS; SCHEDULING; SYNCHRONIZATION;

EID: 35548941233     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compchemeng.2007.07.009     Document Type: Article

References (38)

1. Abdeddaim, Y. (November 2002). Scheduling with Timed Automata. PhD thesis, Institut National Polytechnique de Grenoble.
2. Abdeddaim Y., Asarin E., and Maler O. Scheduling with timed automata. Theoretical Computer Science 354 2 (2006) 272-300
3. Abdeddaim Y., and Maler O. Job-shop scheduling using timed automata. In: Berry G., and Comon H. (Eds). Computer aided verification (CAV), LNCS 2102 (2001), Springer 478-492
4. Altisen K., Goessler G., Pnueli A., Sifakis J., Tripakis S., and Yovine S. A framework for scheduler synthesis. IEEE Real-Time Systems Symposium (1999) 154-163
5. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
6. Alur R., La Torre S., and Pappas G. Optimal paths in weighted timed automata. Lecture Notes in Computer Science 2034 (2001) 49-62
7. Behrmann G., Brinksma E., Hendriks M., and Mader A. Scheduling lacquer production by reachability analysis - a case study. 16th IFAC World Congress (2005)
8. Behrmann G., Fehnker A., Hune T.S., Petterson P., Larsen K., and Romijn J. Efficient guiding towards cost-optimality in UPPAAL. Proceedings of TACAS'01 (2001) 174-188
9. Behrmann G., Larsen K.G., and Rasmussen J.I. Optimal scheduling using priced timed automata. ACM Sigmetrics 32 4 (2005) 34-40
10. Bloemer F., and Guenther H.O. Lp-based heuristics for scheduling chemical batch processes. International Journal of Production Research 35 (2000) 1029-1051
11. Brooke A., Kendrick D., Meeraus A., and Raman R. GAMS-a user's guide (1998), GAMS Development Corp., Washington
12. Brucker P. Scheduling algorithms. 4th ed. (2004), Springer
13. Castro P.M., Barbosa-Povoa A.P., Matos H.A., and Novais A.Q. Simple continuous-time formulation for short-term scheduling of batch and continuous processes. Industrial & Engineering Chemistry Research 43 (2004) 105
14. Fehnker, A. (1999). Scheduling a steel plant with timed automata. Technical report csi-r9910, Computing Science Institute Nijmegen.
15. Godefroid, P. (June 1991). Using partial orders to improve automatic verification methods. In Proceedings of the 2nd Workshop on Computer Aided Verification, volume 531 of LNCS (pp. 176-185). Springer.
16. Ierapetritou M.G., and Floudas C.A. Effective continuous-time formulation for short-term scheduling. 1. Multipurpose batch processes. Industrial & Engineering Chemistry Research 37 (1998) 4341-4359
17. Ierapetritou M.G., and Floudas C.A. Effective continuous-time formulation for short-term scheduling. 2. Continuous and semi-continuous processes. Industrial & Engineering Chemistry Research 37 (1998) 4360
18. Ierapetritou M.G., Hene T.S., and Floudas C.A. Effective continuous-time formulation for short-term scheduling. 3. Multiple intermediate due dates. Industrial & Engineering Chemistry Research 38 (1999) 3446
19. ILOG. Using the CPLEX Callable Library (2002), ILOG Inc., Mountain View, CA
20. Janak S.L., Lin X., and Floudas C.A. Enhanced continuous-time unit-specific-event based formulation for short-term scheduling of multipurpose batch processes: Resource constraints and mixed storage policies. Industrial & Engineering Chemistry Research 42 (2004) 2516
21. Kallrath J. Combined strategic and operational planning-an MILP success story in chem. ind. OR Spectrum 24 (2002) 315-341
22. Kallrath J. Planning and scheduling in the process industry. OR Spectrum 24 (2002) 219-250
23. Kondili E., Pantelides C.C., and Sargent R.W.H. A general algorithm for short-term sched. of batch operations-MILP formulation. Computers and Chemical Engineering 17 (1993) 211-227
24. Maravelias C.T., and Grossmann I.E. New general continuous-time state-task network formulation for short-term scheduling of multipurpose batch plants. Industrial & Engineering Chemistry Research 42 (2003) 3056
25. Mendez C.A., and Cerda J. Optimal scheduling of a resource-constrained multiproduct batch plant supplying intermediates to nearby end-product facilities. Computers and Chemical Engineering 24 (2000) 369
26. Mounier L., Graf S., and Bozga M. If-2.0: A validation environment for component-based real-time systems. Proceedings of CAV'02, volume 2404 of LNCS (2002), Springer 343-348
27. Panek, S. (2007). Produktionsplanung mit Echtzeitautomaten. PhD thesis, Universität Dortmund, Fachbereich Bio- und Chemieingenieurwesen.
28. Panek, S., Stursberg, O., & Engell, S. (September 2004). Job shop scheduling by combining reachability analysis with linear programming. In Proceedings of IFAC Workshop on Discrete Event Systems (pp. 199-204).
29. Panek S., Stursberg O., and Engell S. Efficient synthesis of production schedules by optimization of timed automata. Control Engineering Practice 14 (2006) 1183-1197
30. Pantelides C.C. Unified frameworks for optimal process planning and scheduling. In: Rippin D.W.T., and Hale J. (Eds). Proceedings of the 2nd Conference Foundations on Computer-Aided Process Optimization (1994), CACHE Publications 253-274
31. Rasmussen J.I., Larsen K.G., and Subramani K. Resource-optimal scheduling using priced timed automata. Proceedings of TACAS'04 (2004)
32. Shah N., Pantelides C.C., and Sargent R.W.H. A general algorithm for short-term scheduling of batch operations. ii. Computational issues. i. MILP formulation. Computers and Chemical Engineering 17 2 (1993) 229-244
33. Shaik M.A., Janak S.L., and Floudas C.A. Continuous-time models for short-term scheduling of multipurpose batch plants: A comparative study. Industrial & Engineering Chemistry Research 45 (2006) 6190
34. Sundaramoorthy A., and Karimi I.A. A simpler better slot-based continuous-time formulation for short-term scheduling in multipurpose batch plants. Chemical Engineering Science 60 (2005) 2697-2702
35. Till J., Engell S., Panek S., and Stursberg O. Applied hybrid system optimization: An empirical investigation of complexity. Control Engineering Practice - Analysis and Design of Hybrid Systems 12 10 (2004) 1291-1303
36. Wang S., and Guignard M. Redefining event variables for efficient modeling of continuous-time batch processing. Annals of Operations Research 116 (2002) 113
37. Westenberger, H., & Kallrath, J. (1995). Formulation of a job shop problem in process industry. Technical report, Bayer AG, Leverkusen, BASF AG, Ludwigshafen.
38. Yovine S. Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer 1 1/2 (1997) 123-133