An implementation for algorithmic game solving and its applications in system synthesis:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2012
|
| Schlagworte: | |
| Online-Zugang: | Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 Inhaltsverzeichnis |
| Beschreibung: | XIV, 194 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040232577 | ||
| 003 | DE-604 | ||
| 005 | 20130125 | ||
| 007 | t | ||
| 008 | 120604s2012 d||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)796263580 | ||
| 035 | |a (DE-599)BVBBV040232577 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-91G | ||
| 084 | |a DAT 537d |2 stub | ||
| 084 | |a DAT 325d |2 stub | ||
| 084 | |a MAT 920d |2 stub | ||
| 100 | 1 | |a Cheng, Chih-Hong |e Verfasser |0 (DE-588)1026901421 |4 aut | |
| 245 | 1 | 0 | |a An implementation for algorithmic game solving and its applications in system synthesis |c Chih-Hong Cheng |
| 264 | 1 | |c 2012 | |
| 300 | |a XIV, 194 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München, Techn. Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synthese |0 (DE-588)4418958-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Synthese |0 (DE-588)4418958-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 |
| 856 | 4 | 1 | |u http://mediatum.ub.tum.de/node?id=1082596 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 |x Resolving-System | |
| 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=025088963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025088963 | ||
Datensatz im Suchindex
| _version_ | 1804149220739907584 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1 INTRODUCTION 1
1.1 BACKGROUND 1
1.2 ALGORITHMIC GAME SOLVING FROM THEORY TO APPLICATIONS IN SYNTHESIS .
. 2 1.3 MAIN CONTRIBUTIONS OF THIS THESIS 3
1.4 STRUCTURE OF THIS THESIS 5
2 GAMES FOR SYNTHESIS: A VERY SHORT INTRODUCTION 7
2.1 TWO-PLAYER, TURN-BASED GAMES OVER FINITE ARENAS 8
2.2 TWO-PLAYER GAMES OVER PUSHDOWN GAME GRAPHS 13
2.3 GAMES OF CONCURRENCY 18
2.4 GAMES OF IMPERFECT / INCOMPLETE INFORMATION 24
2.5 DISTRIBUTED GAMES 26
2.6 OTHER GAMES HAVING PRACTICAL INTERESTS 30
3 GAVS+: AN OPEN PLATFORM FOR THE RESEARCH OF ALGORITHMIC GAME SOLVING
35 3.1 GAVS: AN EARLIER VERSION 35
3.2 GAVS+: AN OPEN PLATFORM FOR THE RESEARCH OF ALGORITHMIC GAME SOLVING
40 3.3 RELATED WORK 50
3.4 SUMMARY 50
4 APPLICATION A. PRIORITY SYNTHESIS: THEORIES, ALGORITHMS, AND TOOLS 51
4.1 INTRODUCTION 52
4.2 INTRODUCTION TO THE BEHAVIOR-INTERACTION-PRIORITY (BIP) FRAMEWORK .
. . 53 4.3 COMPONENT-BASED MODELING AND PRIORITY SYNTHESIS 54
4.4 A FRAMEWORK OF PRIORITY SYNTHESIS BASED ON FAULT-LOCALIZATION AND
FAULT-REPAIR 56
4.5 HANDLING COMPLEXITIES 64
4.6 ASSUME-GUARANTEE BASED PRIORITY SYNTHESIS 67
4.7 EVALUATION: THE VLSSBIP TOOLKIT 72
4.8 RELATED WORK 76
IX
HTTP://D-NB.INFO/1026901499
IMAGE 2
CONTENTS
4.9 SUMMARY 77
4.10 APPENDIX 79
5 APPLICATION B. REQUIREMENTS AND OPTIMIZATIONS FOR SOFTWARE CONTROLLER
SYNTHESIS - EXTENDING PDDL WITH GAME SEMANTICS 87
5.1 INTRODUCTION 88
5.2 PDDL AND ITS EXTENSION FOR GAMES 90
5.3 ALGORITHMS FOR SYMBOLIC GAME CREATION, GAME SOLVING, AND STRATEGY
CREATION 94
5.4 PROGRAM OPTIMIZATION FOR LOCAL GAME SOLVING 99
5.5 IMPLEMENTATION A N D EVALUATION 105
5.6 SUMMARY 112
6 APPLICATION C. A GAME-THEORETIC APPROACH FOR SYNTHESIZING
FAULT-TOLERANT EMBEDDED S Y S T E M S 115
6.1 INTRODUCTION 116
6.2 MOTIVATING SCENARIO 117
6.3 SYSTEM MODELING 118
6.4 STEP A: FRONT-END TRANSLATION FROM MODELS TO GAMES 121
6.5 STEP B: SOLVING DISTRIBUTED GAMES 127
6.6 STEP C: CONVERSION FROM STRATEGIES TO CONCRETE IMPLEMENTATIONS . . .
. 135 6.7 IMPLEMENTATION AND CASE STUDIES 137
6.8 RELATED WORK 141
6.9 CONCLUDING REMARKS 142
6.10 APPENDIX 142
7 RESOURCE-BOUNDED STRATEGIES FOR DISTRIBUTED GAMES 155
7.1 INTRODUCTION 156
7.2 PRELIMINARIES 157
7.3 DISTRIBUTED SAFETY STRATEGY BASED ON PROJECTIONS 161
7.4 OBSERVATION + ANTICHAIN + DECOMPOSITION 168
7.5 RELATED WORK 174
7.6 OUTLOOK 176
8 CONCLUSION 181
BIBLIOGRAPHY 185
X
|
| any_adam_object | 1 |
| author | Cheng, Chih-Hong |
| author_GND | (DE-588)1026901421 |
| author_facet | Cheng, Chih-Hong |
| author_role | aut |
| author_sort | Cheng, Chih-Hong |
| author_variant | c h c chc |
| building | Verbundindex |
| bvnumber | BV040232577 |
| classification_tum | DAT 537d DAT 325d MAT 920d |
| collection | ebook |
| ctrlnum | (OCoLC)796263580 (DE-599)BVBBV040232577 |
| discipline | Informatik Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01990nam a2200445 c 4500</leader><controlfield tag="001">BV040232577</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130125 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120604s2012 d||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796263580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040232577</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 537d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 920d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cheng, Chih-Hong</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026901421</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An implementation for algorithmic game solving and its applications in system synthesis</subfield><subfield code="c">Chih-Hong Cheng</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 194 S.</subfield><subfield code="b">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="502" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synthese</subfield><subfield code="0">(DE-588)4418958-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-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">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Synthese</subfield><subfield code="0">(DE-588)4418958-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:91-diss-20120427-1082596-1-0</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://mediatum.ub.tum.de/node?id=1082596</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0</subfield><subfield code="x">Resolving-System</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=025088963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025088963</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040232577 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:19:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025088963 |
| oclc_num | 796263580 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| physical | XIV, 194 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| record_format | marc |
| spelling | Cheng, Chih-Hong Verfasser (DE-588)1026901421 aut An implementation for algorithmic game solving and its applications in system synthesis Chih-Hong Cheng 2012 XIV, 194 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2012 Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Synthese (DE-588)4418958-8 gnd rswk-swf Spieltheorie (DE-588)4056243-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Spieltheorie (DE-588)4056243-8 s Softwarespezifikation (DE-588)4056186-0 s Synthese (DE-588)4418958-8 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 http://mediatum.ub.tum.de/node?id=1082596 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025088963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cheng, Chih-Hong An implementation for algorithmic game solving and its applications in system synthesis Softwarespezifikation (DE-588)4056186-0 gnd Synthese (DE-588)4418958-8 gnd Spieltheorie (DE-588)4056243-8 gnd |
| subject_GND | (DE-588)4056186-0 (DE-588)4418958-8 (DE-588)4056243-8 (DE-588)4113937-9 |
| title | An implementation for algorithmic game solving and its applications in system synthesis |
| title_auth | An implementation for algorithmic game solving and its applications in system synthesis |
| title_exact_search | An implementation for algorithmic game solving and its applications in system synthesis |
| title_full | An implementation for algorithmic game solving and its applications in system synthesis Chih-Hong Cheng |
| title_fullStr | An implementation for algorithmic game solving and its applications in system synthesis Chih-Hong Cheng |
| title_full_unstemmed | An implementation for algorithmic game solving and its applications in system synthesis Chih-Hong Cheng |
| title_short | An implementation for algorithmic game solving and its applications in system synthesis |
| title_sort | an implementation for algorithmic game solving and its applications in system synthesis |
| topic | Softwarespezifikation (DE-588)4056186-0 gnd Synthese (DE-588)4418958-8 gnd Spieltheorie (DE-588)4056243-8 gnd |
| topic_facet | Softwarespezifikation Synthese Spieltheorie Hochschulschrift |
| url | http://mediatum.ub.tum.de/node?id=1082596 https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025088963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT chengchihhong animplementationforalgorithmicgamesolvinganditsapplicationsinsystemsynthesis |