Verfügbarkeit: Model-based plan assessment for autonomous technical systems

Model-based plan assessment for autonomous technical systems:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Maier, Paul (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	2012
Schlagworte:	Modellbasiertes Schließen Autonomes System Bayes-Netz Bewertung Ablaufplanung Hochschulschrift
Online-Zugang:	Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130114-1096871-0-6 Inhaltsverzeichnis
Beschreibung:	IX, 247 S. Ill., graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV041062920
003	DE-604
005	20130719
007	t
008	130603s2012 ad\|\| m\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)854721156
035			\|a (DE-599)BVBBV041062920
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-91 \|a DE-12 \|a DE-91G
082	0		\|a 006.333 \|2 22//ger
084			\|a DAT 703d \|2 stub
084			\|a DAT 815d \|2 stub
084			\|a MAT 608d \|2 stub
100	1		\|a Maier, Paul \|e Verfasser \|4 aut
245	1	0	\|a Model-based plan assessment for autonomous technical systems \|c Paul Maier
264		1	\|c 2012
300			\|a IX, 247 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
502			\|a München, Techn. Univ., Diss., 2013
650	0	7	\|a Modellbasiertes Schließen \|0 (DE-588)4330173-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Autonomes System \|0 (DE-588)4143713-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Bayes-Netz \|0 (DE-588)4567228-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Bewertung \|0 (DE-588)4006340-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ablaufplanung \|0 (DE-588)4122751-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Autonomes System \|0 (DE-588)4143713-5 \|D s
689	0	1	\|a Ablaufplanung \|0 (DE-588)4122751-7 \|D s
689	0	2	\|a Bewertung \|0 (DE-588)4006340-9 \|D s
689	0	3	\|a Modellbasiertes Schließen \|0 (DE-588)4330173-3 \|D s
689	0	4	\|a Bayes-Netz \|0 (DE-588)4567228-3 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|o urn:nbn:de:bvb:91-diss-20130114-1096871-0-6
856	4	1	\|u http://mediatum.ub.tum.de/node?id=1096871 \|x Verlag \|z kostenfrei \|3 Volltext
856	4		\|u https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130114-1096871-0-6 \|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=026040009&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-026040009

Datensatz im Suchindex

_version_	1804150428042002432
adam_text	IMAGE 1 CONTENTS 1. INTRODUCTION 1 1.1. MODEL-BASED REASONING FOR AUTONOMOUS BEHAVIOR 3 1.2. PROBLEM STATEMENT: PLAN ASSESSMENT 4 1.3. TWO APPLICATION EXAMPLES FOR PLAN ASSESSMENT 6 1.4. EXPRESSIVE MODELS AND OFF-THE-SHELF TOOLS AS INGREDIENTS FOR SOLUTION APPROACHES - . 7 1.5. CONTRIBUTIONS 9 1.6. STRUCTURE OF THE THESIS 11 2. APPLICATION EXAMPLES 1 3 2.1. ASSURING PLAN SUCCESS IN MANUFACTURING AND ASSEMBLY 13 2.2. ASSURING PLAN SUCCESS IN HOUSEHOLD ROBOTS 21 3. BACKGROUND: MODELING AND MODEL-BASED REASONING 27 3.1. FORMAL MODELS AS COLLECTIONS OF VARIABLES, DOMAINS AND PARTIAL OBJECTIVE FUNCTIONS 27 3.2. MATHEMATICAL NOTATION IN THIS WORK 29 3.3. CONSTRAINT SATISFACTION AND OPTIMIZATION 30 3.4. K-BEST SOLUTION GENERATION 39 3.5. PROBABILISTIC INFERENCE 40 3.6. MODELING COMPLEX. UNCERTAIN SYSTEM BEHAVIOR WITH PHCA 49 3.7. BAYESIAN LOGIC NETWORKS: BAYESIAN NETWORKS GENERALIZED TO FIRST-ORDER LOGIC 57 4. PROBABILISTIC ASSESSMENT O F PLANS FOR AUTONOMOUS SYSTEMS 6 5 4.1. PROBLEM DEFINITION: DIAGNOSING SYSTEM FAULTS AND ESTIMATING OPERATION SUCCESS 65 4.2. PLAN ASSESSMENT IN AUTONOMOUS MANUFACTURING 72 4.3. PLAN ASSESSMENT AS A PROVIDER OF DECISION CRITERIONS 75 4.4. PLAN ASSESSMENT IN CONTEXT OF RELATED PROBLEMS 78 VII HTTP://D-NB.INFO/1037079604 IMAGE 2 CONTENTS 5. APPROACHES T O PLAN ASSESSMENT BASED ON GENERIC ALGORITHMS 87 5.1. USING GENERIC ALGORITHMS TO SOLVE PLAN ASSESSMENT 88 5.2. MODEL-BASED DIAGNOSIS APPROACH 90 5.3. PROBABILISTIC REASONING APPROACH 110 6. EVALUATION AND COMPARISON O F T H E PRESENTED APPROACHES 127 6.1. IMPLEMENTATION OF MODEL-BASED DIAGNOSIS APPROACH 127 6.2. IMPLEMENTATION OF PROBABILISTIC REASONING APPROACH 128 6.3. PROBLEM INSTANCES 130 6.4. EXPERIMENTS AND RESULTS 137 6.5. DISCUSSION OF RESULTS 146 7. EXTENSIONS 151 7.1. A RECEDING HORIZON EXTENSION FOR THE MODEL-BASED DIAGNOSIS APPROACH . 151 7.2. STOCHASTICALLY BOUNDED APPROXIMATION OF SUCCESS PROBABILITIES WITH SAM PLING 161 7.3. TOWARDS PLAN ASSESSMENT WITH HYBRID MODELS 165 8. RELATED WORK 193 8.1. VERIFICATION 193 8.2. OTHER VARIANTS OF PLAN EVALUATION 196 9. CONCLUSION 199 9.1. SUMMARY OF CONTRIBUTIONS AND RESULTS 200 9.2. CURRENT LIMITATIONS OF PLAN ASSESSMENT 201 9.3. FUTURE WORK 202 BIBLIOGRAPHY 205 A. IMPLEMENTATION USAGE 2 2 1 A.L. REQUIREMENTS 221 A.2. MODEL-BASED DIAGNOSIS APPROACH 222 A.3. PROBABILISTIC REASONING APPROACH 223 B. PHCA MODELS 229 B.L. MODEL FOR COGNITIVE FACTORY EXAMPLE 229 B.2. MODEL FOR HOUSEHOLD ROBOT EXAMPLE 234 NOMENCLATURE 2 4 1 VIII IMAGE 3 LIST OF ABBREVIATIONS CONTENTS 245 IX
any_adam_object	1
author	Maier, Paul
author_facet	Maier, Paul
author_role	aut
author_sort	Maier, Paul
author_variant	p m pm
building	Verbundindex
bvnumber	BV041062920
classification_tum	DAT 703d DAT 815d MAT 608d
collection	ebook
ctrlnum	(OCoLC)854721156 (DE-599)BVBBV041062920
dewey-full	006.333
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.333
dewey-search	006.333
dewey-sort	16.333
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02094nam a2200505 c 4500</leader><controlfield tag="001">BV041062920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130719 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130603s2012 ad\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854721156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041062920</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-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.333</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 815d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 608d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Maier, Paul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-based plan assessment for autonomous technical systems</subfield><subfield code="c">Paul Maier</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 247 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="502" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 2013</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellbasiertes Schließen</subfield><subfield code="0">(DE-588)4330173-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Autonomes System</subfield><subfield code="0">(DE-588)4143713-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bayes-Netz</subfield><subfield code="0">(DE-588)4567228-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bewertung</subfield><subfield code="0">(DE-588)4006340-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ablaufplanung</subfield><subfield code="0">(DE-588)4122751-7</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">Autonomes System</subfield><subfield code="0">(DE-588)4143713-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Ablaufplanung</subfield><subfield code="0">(DE-588)4122751-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Bewertung</subfield><subfield code="0">(DE-588)4006340-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modellbasiertes Schließen</subfield><subfield code="0">(DE-588)4330173-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Bayes-Netz</subfield><subfield code="0">(DE-588)4567228-3</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-20130114-1096871-0-6</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://mediatum.ub.tum.de/node?id=1096871</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-20130114-1096871-0-6</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=026040009&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-026040009</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV041062920
illustrated	Illustrated
indexdate	2024-07-10T00:38:46Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026040009
oclc_num	854721156
open_access_boolean	1
owner	DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM
owner_facet	DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM
physical	IX, 247 S. Ill., graph. Darst.
psigel	ebook
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
record_format	marc
spelling	Maier, Paul Verfasser aut Model-based plan assessment for autonomous technical systems Paul Maier 2012 IX, 247 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2013 Modellbasiertes Schließen (DE-588)4330173-3 gnd rswk-swf Autonomes System (DE-588)4143713-5 gnd rswk-swf Bayes-Netz (DE-588)4567228-3 gnd rswk-swf Bewertung (DE-588)4006340-9 gnd rswk-swf Ablaufplanung (DE-588)4122751-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Autonomes System (DE-588)4143713-5 s Ablaufplanung (DE-588)4122751-7 s Bewertung (DE-588)4006340-9 s Modellbasiertes Schließen (DE-588)4330173-3 s Bayes-Netz (DE-588)4567228-3 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:91-diss-20130114-1096871-0-6 http://mediatum.ub.tum.de/node?id=1096871 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130114-1096871-0-6 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026040009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Maier, Paul Model-based plan assessment for autonomous technical systems Modellbasiertes Schließen (DE-588)4330173-3 gnd Autonomes System (DE-588)4143713-5 gnd Bayes-Netz (DE-588)4567228-3 gnd Bewertung (DE-588)4006340-9 gnd Ablaufplanung (DE-588)4122751-7 gnd
subject_GND	(DE-588)4330173-3 (DE-588)4143713-5 (DE-588)4567228-3 (DE-588)4006340-9 (DE-588)4122751-7 (DE-588)4113937-9
title	Model-based plan assessment for autonomous technical systems
title_auth	Model-based plan assessment for autonomous technical systems
title_exact_search	Model-based plan assessment for autonomous technical systems
title_full	Model-based plan assessment for autonomous technical systems Paul Maier
title_fullStr	Model-based plan assessment for autonomous technical systems Paul Maier
title_full_unstemmed	Model-based plan assessment for autonomous technical systems Paul Maier
title_short	Model-based plan assessment for autonomous technical systems
title_sort	model based plan assessment for autonomous technical systems
topic	Modellbasiertes Schließen (DE-588)4330173-3 gnd Autonomes System (DE-588)4143713-5 gnd Bayes-Netz (DE-588)4567228-3 gnd Bewertung (DE-588)4006340-9 gnd Ablaufplanung (DE-588)4122751-7 gnd
topic_facet	Modellbasiertes Schließen Autonomes System Bayes-Netz Bewertung Ablaufplanung Hochschulschrift
url	http://mediatum.ub.tum.de/node?id=1096871 https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130114-1096871-0-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026040009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT maierpaul modelbasedplanassessmentforautonomoustechnicalsystems

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge