Implementation and verification of distributed control systems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Berlin
Logos-Verl.
2011
|
| Series: | Hallenser Schriften zur Automatisierungstechnik
7 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 118 S. Ill., graph. Darst. |
| ISBN: | 9783832528492 3832528490 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039528814 | ||
| 003 | DE-604 | ||
| 005 | 20110831 | ||
| 007 | t | ||
| 008 | 110816s2011 gw ad|| m||| 00||| eng d | ||
| 015 | |a 11,A26 |2 dnb | ||
| 016 | 7 | |a 101232866X |2 DE-101 | |
| 020 | |a 9783832528492 |c Pp. : EUR 38.00 (DE), EUR 39.10 (AT), sfr 67.60 (freier Pr.) |9 978-3-8325-2849-2 | ||
| 020 | |a 3832528490 |9 3-8325-2849-0 | ||
| 035 | |a (OCoLC)748694016 | ||
| 035 | |a (DE-599)DNB101232866X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-634 | ||
| 082 | 0 | |a 629.895 |2 22/ger | |
| 084 | |a ZQ 5235 |0 (DE-625)158122: |2 rvk | ||
| 084 | |a 621.3 |2 sdnb | ||
| 084 | |a 670 |2 sdnb | ||
| 100 | 1 | |a Gerber, Christian |d 1980- |e Verfasser |0 (DE-588)1012658473 |4 aut | |
| 245 | 1 | 0 | |a Implementation and verification of distributed control systems |c von Christian Gerber |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2011 | |
| 300 | |a VII, 118 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Hallenser Schriften zur Automatisierungstechnik |v 7 | |
| 502 | |a Zugl.: Halle (Saale), Univ., Diss., 2011 | ||
| 630 | 0 | 7 | |a IEC 61499 |0 (DE-588)4717284-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Steuerungssystem |0 (DE-588)4340829-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fertigung |0 (DE-588)4016899-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Regelungssystem |0 (DE-588)4134712-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionseinheit |0 (DE-588)4626482-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bedingungs-Ereignis-System |0 (DE-588)4846352-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Steuerungssystem |0 (DE-588)4340829-1 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 2 | |a IEC 61499 |0 (DE-588)4717284-8 |D u |
| 689 | 0 | 3 | |a Bedingungs-Ereignis-System |0 (DE-588)4846352-8 |D s |
| 689 | 0 | 4 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |D s |
| 689 | 0 | 5 | |a Funktionseinheit |0 (DE-588)4626482-6 |D s |
| 689 | 0 | 6 | |a Regelungssystem |0 (DE-588)4134712-2 |D s |
| 689 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 8 | |a Fertigung |0 (DE-588)4016899-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Hallenser Schriften zur Automatisierungstechnik |v 7 |w (DE-604)BV035419962 |9 7 | |
| 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=024381138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024381138 | ||
Record in the Search Index
| _version_ | 1804148340060848128 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1 INTRODUCTION AND MOTIVATION 1
1.1 FOCUSED ON IEC 61499 2
1.2 PROPOSED SOLUTION APPROACH 3
1.3 STRUCTURE OF THE THESIS 5
2 FORMAL MODELLING LANGUAGE 7
2.1 SYNTAX DEFINITION 8
2.2 SEMANTIC DEFINITION 17
2.3 MARKUP LANGUAGE 21
2.4 IMPLEMENTATION OF A WORKBENCH 21
2.5 LIBRARY OF OFTEN USED PLANT MODULES 24
2.6 SUMMARY 27
3 CONTROL IMPLEMENTATION APPROACHES 29
3.1 SHORT INTRODUCTION TO IEC 61499 30
3.2 CENTRAL CONTROLLER APPROACH 33
3.3 MASTER-TASK-CONTROLLER APPROACH 34
3.4 PARAMETRIZED MASTER-TASK-CONTROLLER APPROACH 35
3.5 WORKPIECE CONTROLLER 37
3.6 SERVO-CONTROL SYSTEM 39
3.7 SUMMARY 40
4 FORMAL MODELLING OF THE IEC 61499 ELEMENTS 41
4.1 EXECUTION MODEL 41
4.2 DATA PROCESSING MODEL 51
4.2.1 CARRY-RIPPLE-ADDER 51
4.2.2 CARRY-LOOKAHEAD-ADDER 52
4.2.3 SUBTRACTION 55
4.2.4 INCREMENT AND DECREMENT 56
4.2.5 COMPARISON 57
4.2.6 DERIVED MODELLING RULES 58
4.3 SCHEDULING MODEL 64
4.3.1 SINGLE- OR MULTI-THREADED RESOURCE 64
4.3.2 RESOURCE WITH SYNCHRONOUS EXECUTION 65
4.3.3 RESOURCE WITH CYCLIC EXECUTION 66
I
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101232866X
DIGITALISIERT DURCH
IMAGE 2
CONTENTS
4.3.4 DERIVED MODELLING RULES 66
4.4 SUMMARY 70
5 CLOSED-LOOP MODELLING 71
5.1 TRANSFORMATION PROCESS 72
5.2 MODEL OF THE CONTROL DEVICE 75
5.3 PLANT MODEL 78
5.3.1 GRIPPER STATION 78
5.3.2 JACK STATION 79
5.3.3 SLIDE STATION 80
5.3.4 CONVEYOR 81
5.3.5 WORKPIECE BEHAVIOUR (PALLET) 81
5.4 SUMMARY 87
6 VERFICATION RESULTS 89
6.1 CENTRAL CONTROLLER 89
6.2 MASTER-TASK-CONTROLLER 94
6.3 WORKPIECE CONTROLLER 100
6.4 SUMMARY 103
7 CONCLUSIONS 105
7.1 SUMMARY OF THE THESIS 105
7.2 ONGOING WORK 107
7.3 LONG-TERM VISION 108
REFERENCES 109
|
| any_adam_object | 1 |
| author | Gerber, Christian 1980- |
| author_GND | (DE-588)1012658473 |
| author_facet | Gerber, Christian 1980- |
| author_role | aut |
| author_sort | Gerber, Christian 1980- |
| author_variant | c g cg |
| building | Verbundindex |
| bvnumber | BV039528814 |
| classification_rvk | ZQ 5235 |
| ctrlnum | (OCoLC)748694016 (DE-599)DNB101232866X |
| dewey-full | 629.895 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.895 |
| dewey-search | 629.895 |
| dewey-sort | 3629.895 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02750nam a2200637 cb4500</leader><controlfield tag="001">BV039528814</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110816s2011 gw ad|| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101232866X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832528492</subfield><subfield code="c">Pp. : EUR 38.00 (DE), EUR 39.10 (AT), sfr 67.60 (freier Pr.)</subfield><subfield code="9">978-3-8325-2849-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832528490</subfield><subfield code="9">3-8325-2849-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)748694016</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101232866X</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.895</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 5235</subfield><subfield code="0">(DE-625)158122:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">621.3</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">670</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gerber, Christian</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1012658473</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and verification of distributed control systems</subfield><subfield code="c">von Christian Gerber</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 118 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Hallenser Schriften zur Automatisierungstechnik</subfield><subfield code="v">7</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Halle (Saale), Univ., Diss., 2011</subfield></datafield><datafield tag="630" ind1="0" ind2="7"><subfield code="a">IEC 61499</subfield><subfield code="0">(DE-588)4717284-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Steuerungssystem</subfield><subfield code="0">(DE-588)4340829-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fertigung</subfield><subfield code="0">(DE-588)4016899-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Regelungssystem</subfield><subfield code="0">(DE-588)4134712-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionseinheit</subfield><subfield code="0">(DE-588)4626482-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bedingungs-Ereignis-System</subfield><subfield code="0">(DE-588)4846352-8</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">Steuerungssystem</subfield><subfield code="0">(DE-588)4340829-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">IEC 61499</subfield><subfield code="0">(DE-588)4717284-8</subfield><subfield code="D">u</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Bedingungs-Ereignis-System</subfield><subfield code="0">(DE-588)4846352-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Funktionseinheit</subfield><subfield code="0">(DE-588)4626482-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Regelungssystem</subfield><subfield code="0">(DE-588)4134712-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Fertigung</subfield><subfield code="0">(DE-588)4016899-2</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">Hallenser Schriften zur Automatisierungstechnik</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV035419962</subfield><subfield code="9">7</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=024381138&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-024381138</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV039528814 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:05:34Z |
| institution | BVB |
| isbn | 9783832528492 3832528490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024381138 |
| oclc_num | 748694016 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | VII, 118 S. Ill., graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Logos-Verl. |
| record_format | marc |
| series | Hallenser Schriften zur Automatisierungstechnik |
| series2 | Hallenser Schriften zur Automatisierungstechnik |
| spelling | Gerber, Christian 1980- Verfasser (DE-588)1012658473 aut Implementation and verification of distributed control systems von Christian Gerber Berlin Logos-Verl. 2011 VII, 118 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Hallenser Schriften zur Automatisierungstechnik 7 Zugl.: Halle (Saale), Univ., Diss., 2011 IEC 61499 (DE-588)4717284-8 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Steuerungssystem (DE-588)4340829-1 gnd rswk-swf Fertigung (DE-588)4016899-2 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Regelungssystem (DE-588)4134712-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Funktionseinheit (DE-588)4626482-6 gnd rswk-swf Bedingungs-Ereignis-System (DE-588)4846352-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Steuerungssystem (DE-588)4340829-1 s Verteiltes System (DE-588)4238872-7 s IEC 61499 (DE-588)4717284-8 u Bedingungs-Ereignis-System (DE-588)4846352-8 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Funktionseinheit (DE-588)4626482-6 s Regelungssystem (DE-588)4134712-2 s Verifikation (DE-588)4135577-5 s Fertigung (DE-588)4016899-2 s DE-604 Hallenser Schriften zur Automatisierungstechnik 7 (DE-604)BV035419962 7 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024381138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gerber, Christian 1980- Implementation and verification of distributed control systems Hallenser Schriften zur Automatisierungstechnik IEC 61499 (DE-588)4717284-8 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Steuerungssystem (DE-588)4340829-1 gnd Fertigung (DE-588)4016899-2 gnd Verteiltes System (DE-588)4238872-7 gnd Regelungssystem (DE-588)4134712-2 gnd Verifikation (DE-588)4135577-5 gnd Funktionseinheit (DE-588)4626482-6 gnd Bedingungs-Ereignis-System (DE-588)4846352-8 gnd |
| subject_GND | (DE-588)4717284-8 (DE-588)4545188-6 (DE-588)4340829-1 (DE-588)4016899-2 (DE-588)4238872-7 (DE-588)4134712-2 (DE-588)4135577-5 (DE-588)4626482-6 (DE-588)4846352-8 (DE-588)4113937-9 |
| title | Implementation and verification of distributed control systems |
| title_auth | Implementation and verification of distributed control systems |
| title_exact_search | Implementation and verification of distributed control systems |
| title_full | Implementation and verification of distributed control systems von Christian Gerber |
| title_fullStr | Implementation and verification of distributed control systems von Christian Gerber |
| title_full_unstemmed | Implementation and verification of distributed control systems von Christian Gerber |
| title_short | Implementation and verification of distributed control systems |
| title_sort | implementation and verification of distributed control systems |
| topic | IEC 61499 (DE-588)4717284-8 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Steuerungssystem (DE-588)4340829-1 gnd Fertigung (DE-588)4016899-2 gnd Verteiltes System (DE-588)4238872-7 gnd Regelungssystem (DE-588)4134712-2 gnd Verifikation (DE-588)4135577-5 gnd Funktionseinheit (DE-588)4626482-6 gnd Bedingungs-Ereignis-System (DE-588)4846352-8 gnd |
| topic_facet | IEC 61499 Zeitbewertetes Petri-Netz Steuerungssystem Fertigung Verteiltes System Regelungssystem Verifikation Funktionseinheit Bedingungs-Ereignis-System Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024381138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035419962 |
| work_keys_str_mv | AT gerberchristian implementationandverificationofdistributedcontrolsystems |