Modeling and solution of chemical batch scheduling problems using timed automata:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Aachen
Shaker
2013
|
| Schriftenreihe: | Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung
2013,1 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 185 S. graph. Darst. 21 cm, 309 g |
| ISBN: | 9783844019377 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041475010 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 131212s2013 gw d||| m||| 00||| eng d | ||
| 015 | |a 13,N19 |2 dnb | ||
| 015 | |a 13,A46 |2 dnb | ||
| 015 | |a 13,H12 |2 dnb | ||
| 016 | 7 | |a 1034223356 |2 DE-101 | |
| 020 | |a 9783844019377 |c kart. : EUR 49.80 (DE), EUR 49.80 (AT), sfr 62.25 (freier Pr.) |9 978-3-8440-1937-7 | ||
| 024 | 3 | |a 9783844019377 | |
| 035 | |a (OCoLC)915306454 | ||
| 035 | |a (DE-599)DNB1034223356 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-634 | ||
| 082 | 0 | |a 660.2815 |2 22/ger | |
| 084 | |a 660 |2 sdnb | ||
| 100 | 1 | |a Subbiah, Subanatarajan |d 1982- |e Verfasser |0 (DE-588)1042379645 |4 aut | |
| 245 | 1 | 0 | |a Modeling and solution of chemical batch scheduling problems using timed automata |c Subanatarajan Subbiah |
| 264 | 1 | |a Aachen |b Shaker |c 2013 | |
| 300 | |a XI, 185 S. |b graph. Darst. |c 21 cm, 309 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung |v 2013,1 | |
| 502 | |a Zugl.: Dortmund, Techn. Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Zeitgesteuertes System |0 (DE-588)4844806-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Chemische Verfahrenstechnik |0 (DE-588)4069941-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Chargenbetrieb |0 (DE-588)4147586-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reihenfolgeplanung |0 (DE-588)4261341-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Chemische Verfahrenstechnik |0 (DE-588)4069941-9 |D s |
| 689 | 0 | 1 | |a Chargenbetrieb |0 (DE-588)4147586-0 |D s |
| 689 | 0 | 2 | |a Reihenfolgeplanung |0 (DE-588)4261341-3 |D s |
| 689 | 0 | 3 | |a Zeitgesteuertes System |0 (DE-588)4844806-0 |D s |
| 689 | 0 | 4 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung |v 2013,1 |w (DE-604)BV035738045 |9 2013,1 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026921089&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026921089 | ||
Datensatz im Suchindex
| _version_ | 1804151614050664448 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1 INTRODUCTION 1
1.1 PROBLEM STATEMENT 1
1.2 MOTIVATION AND PURPOSE 2
1.3 OUTLINE 5
2 CHEMICAL BATCH SCHEDULING 7
2.1 BACKGROUND 7
2.2 ATAXONOMY OF BATCH SCHEDULING APPROACHES FOR DETERMINISTIC PROBLEMS
9
2.3 EXACT METHODS 10
2.4 NON-EXACT METHODS 18
2.5 SUMMARY AND CONCLUSIONS AND DIRECTIONS 19
3 TIMED AUTOMATA BASED SCHEDULING 21
3.1 BACKGROUND 21
3.2 SYNTAX AND SEMANTICS 22
3.2.1 SYNTAX 22
3.2.2 SEMANTICS 23
3.3 MODELING PROCEDURE 25
3.3.1 ILLUSTRATIVE EXAMPLE PROCESS 25
3.3.2 PARALLEL COMPOSITION 29
3.A SOLUTION PROCEDURE 31
3.4.1 REACHABILITY ANALYSIS 33
3.4.2 GUIDINGFUNCTIONS 35
3.5 SEARCH-SPACE REDUCTION TECHNIQUES 36
HTTP://D-NB.INFO/1034223356
IMAGE 2
II CONTENTS
3.5.1 IMMEDIATE RUNS 38
3.5.2 LAZINESS REDUCTION TECHNIQUE 39
3.5.3 INCLUSION TEST AND DOMINATION CRITERIA 41
3.5.4 SLEEP-SET METHOD 42
3.5.5 PROBLEM SPECIFIC LP-BOUNDING PROCEDURE 45
3.5.6 MINIMUM REMAINING PROCESSING TIME PROCEDURE 48
3.6 NUMERICAL EXPERIMENTS 50
3.7 SUMMARY, CONCLUSIONS AND DIRECTIONS 62
4 MODELING OF INTERMEDIATE STORAGE POLICIES 65
4.1 BACKGROUND 65
4.1.1 CLASSIFICATION OF INTERMEDIATE STORAGE POLICIES 66
4.2 MODELING DEDICATED-INTERMEDIATE STORAGE POLICY 68
4.2.1 MODELING DIS WITH FINITE CAPACITY 68
4.2.2 MODELING DIS WITH INFINITE CAPACITY 75
4.3 MODELING THE COMMON-INTERMEDIATE STORAGE POLICY 75
4.3.1 MODELING CIS WITH FINITE CAPACITY . . 75
4.3.2 MODELING CIS WITH INFINITE CAPACITY 78
4.4 MODELING NON-INTERMEDIATE STORAGE POLICY 79
4.4.1 PROBLEM SPECIFIC SEARCH SPACE REDUCTION WITH LINEAR PROGRAM
MING 81
4.4.2 REDUCTION OF BLOCKING TRACES 83
4.4.3 NUMERICAL EXPERIMENTS 87
4.5 SUMMARY AND CONCLUSIONS 95
5 MODELING OF CHANGEOVER PROCEDURES 97
5.1 BACKGROUND 97
5.1.1 CLASSIFICATION OF CHANGEOVERS 98
5.2 IMPLICIT MODELING APPROACH 100
5.2.1 SEARCH SPACE REDUCTION TECHNIQUES 103
5.3 EXPLICIT MODELING APPROACH 105
5.4 BOUNDING PROCEDURES 110
IMAGE 3
CONTENTS III
5.4.1 PROBLEM SPECIFIC LP-BOUNDING PROCEDURE 110
5.4.2 MINIMUM REMAINING PROCESSING TIME BOUNDING PROCEDURE . . . 112
5.5 NUMERICAL EXPERIMENTS 113
5.6 SUMMARY, CONCLUSIONS AND DIRECTIONS 117
6 MODELING OF DIFFERENT OBJECTIVE FUNCTIONS 119
6.1 BACKGROUND 120
6.2 MODELING TOTAL WEIGHTED COMPLETION TIME 121
6.3 MODELING TOTAL WEIGHTED TARDINESS 124
6.4 MODELING TOTAL WEIGHTED EARLINESS 127
6.5 SUMMARY 130
7 NUMERICAL STUDIES 131
7.1 CASE STUDY 1 - UNILEVER CASE STUDY 131
7.1.1 DESCRIPTION 131
7.1.2 PROBLEM FORMULATION 133
7.1.3 TIMED AUTOMATA MODEL 134
7.1.4 EXPERIMENTAL SETUP AND RESULTS 136
7.2 CASE STUDY 2 - BATCH PLANT DEMONSTRATOR 139
7.2.1 DESCRIPTION 139
7.2.2 EXPERIMENTAL SETUP : TIMED AUTOMATA MODEL 140
7.2.3 EXPERIMENTAL SETUP : MATHEMATICAL PROGRAMMING MODEL (MILP) 141
7.2.4 RESULTS 142
7.3 CASE STUDY 3 - AXXOM CASE STUDY 144
7.3.1 DESCRIPTION 144
7.3.2 EXPERIMENTAL SETUP: TIMED AUTOMATA MODEL 146
7.3.3 EXPERIMENTAL SETUP: MATHEMATICAL PROGRAMMING MODEL (MILP) 147
7.4 CASE STUDY 4 - PLASTIC COMPOUNDING CASE STUDY 152
7.4.1 DESCRIPTION 152
7.4.2 EXPERIMENTAL SETUP AND RESULTS 152
8 CONCLUSIONS AND OUTLOOK 157
IMAGE 4
IV CONTENTS
8.1 SUMMARY AND CONCLUSIONS 157
8.2 OUTLOOK 160
REFERENCES 163
A NOMENCLATURE 173
B ADDITIONAL RESULTS ON THE ANALYSIS OF BOUNDING SCHEMES 175
C ADDITIONAL RESULTS ON THE STATISTICAL ANALYSIS 179
D PROBLEM DATA FOR THE FOOD MANUFACTURING CASE STUDY 183
|
| any_adam_object | 1 |
| author | Subbiah, Subanatarajan 1982- |
| author_GND | (DE-588)1042379645 |
| author_facet | Subbiah, Subanatarajan 1982- |
| author_role | aut |
| author_sort | Subbiah, Subanatarajan 1982- |
| author_variant | s s ss |
| building | Verbundindex |
| bvnumber | BV041475010 |
| ctrlnum | (OCoLC)915306454 (DE-599)DNB1034223356 |
| dewey-full | 660.2815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 660 - Chemical engineering |
| dewey-raw | 660.2815 |
| dewey-search | 660.2815 |
| dewey-sort | 3660.2815 |
| dewey-tens | 660 - Chemical engineering |
| discipline | Chemie / Pharmazie |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02367nam a2200541 cb4500</leader><controlfield tag="001">BV041475010</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131212s2013 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A46</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,H12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034223356</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783844019377</subfield><subfield code="c">kart. : EUR 49.80 (DE), EUR 49.80 (AT), sfr 62.25 (freier Pr.)</subfield><subfield code="9">978-3-8440-1937-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783844019377</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915306454</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034223356</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">660.2815</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">660</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Subbiah, Subanatarajan</subfield><subfield code="d">1982-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1042379645</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling and solution of chemical batch scheduling problems using timed automata</subfield><subfield code="c">Subanatarajan Subbiah</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 185 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm, 309 g</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung</subfield><subfield code="v">2013,1</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Dortmund, Techn. Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitgesteuertes System</subfield><subfield code="0">(DE-588)4844806-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Chemische Verfahrenstechnik</subfield><subfield code="0">(DE-588)4069941-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Chargenbetrieb</subfield><subfield code="0">(DE-588)4147586-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reihenfolgeplanung</subfield><subfield code="0">(DE-588)4261341-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Chemische Verfahrenstechnik</subfield><subfield code="0">(DE-588)4069941-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Chargenbetrieb</subfield><subfield code="0">(DE-588)4147586-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Reihenfolgeplanung</subfield><subfield code="0">(DE-588)4261341-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Zeitgesteuertes System</subfield><subfield code="0">(DE-588)4844806-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung</subfield><subfield code="v">2013,1</subfield><subfield code="w">(DE-604)BV035738045</subfield><subfield code="9">2013,1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026921089&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026921089</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041475010 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:57:37Z |
| institution | BVB |
| isbn | 9783844019377 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026921089 |
| oclc_num | 915306454 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | XI, 185 S. graph. Darst. 21 cm, 309 g |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Shaker |
| record_format | marc |
| series | Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung |
| series2 | Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung |
| spelling | Subbiah, Subanatarajan 1982- Verfasser (DE-588)1042379645 aut Modeling and solution of chemical batch scheduling problems using timed automata Subanatarajan Subbiah Aachen Shaker 2013 XI, 185 S. graph. Darst. 21 cm, 309 g txt rdacontent n rdamedia nc rdacarrier Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung 2013,1 Zugl.: Dortmund, Techn. Univ., Diss., 2012 Zeitgesteuertes System (DE-588)4844806-0 gnd rswk-swf Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Chemische Verfahrenstechnik (DE-588)4069941-9 gnd rswk-swf Chargenbetrieb (DE-588)4147586-0 gnd rswk-swf Reihenfolgeplanung (DE-588)4261341-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Chemische Verfahrenstechnik (DE-588)4069941-9 s Chargenbetrieb (DE-588)4147586-0 s Reihenfolgeplanung (DE-588)4261341-3 s Zeitgesteuertes System (DE-588)4844806-0 s Zeitbehafteter Automat (DE-588)4713349-1 s DE-604 Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung 2013,1 (DE-604)BV035738045 2013,1 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026921089&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Subbiah, Subanatarajan 1982- Modeling and solution of chemical batch scheduling problems using timed automata Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung Zeitgesteuertes System (DE-588)4844806-0 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Chemische Verfahrenstechnik (DE-588)4069941-9 gnd Chargenbetrieb (DE-588)4147586-0 gnd Reihenfolgeplanung (DE-588)4261341-3 gnd |
| subject_GND | (DE-588)4844806-0 (DE-588)4713349-1 (DE-588)4069941-9 (DE-588)4147586-0 (DE-588)4261341-3 (DE-588)4113937-9 |
| title | Modeling and solution of chemical batch scheduling problems using timed automata |
| title_auth | Modeling and solution of chemical batch scheduling problems using timed automata |
| title_exact_search | Modeling and solution of chemical batch scheduling problems using timed automata |
| title_full | Modeling and solution of chemical batch scheduling problems using timed automata Subanatarajan Subbiah |
| title_fullStr | Modeling and solution of chemical batch scheduling problems using timed automata Subanatarajan Subbiah |
| title_full_unstemmed | Modeling and solution of chemical batch scheduling problems using timed automata Subanatarajan Subbiah |
| title_short | Modeling and solution of chemical batch scheduling problems using timed automata |
| title_sort | modeling and solution of chemical batch scheduling problems using timed automata |
| topic | Zeitgesteuertes System (DE-588)4844806-0 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Chemische Verfahrenstechnik (DE-588)4069941-9 gnd Chargenbetrieb (DE-588)4147586-0 gnd Reihenfolgeplanung (DE-588)4261341-3 gnd |
| topic_facet | Zeitgesteuertes System Zeitbehafteter Automat Chemische Verfahrenstechnik Chargenbetrieb Reihenfolgeplanung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026921089&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035738045 |
| work_keys_str_mv | AT subbiahsubanatarajan modelingandsolutionofchemicalbatchschedulingproblemsusingtimedautomata |