mycoreobjectrosdok_disshab_0000002735rosdok_disshab_0000002735rosdokdisshabrosdok_derivate_00001590972023-08-08T10:14:07.753Z2022-04-28T11:45:50.103ZadministratoreditorMSpublished1rosdok_derivate_0000159097truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id000036641800501625Oau2022-04-282023-08-05T19:19:56ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftModel-based symbolic design space exploration at the electronic system levela systematic approachIn this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized solvers are tightly coupled as background theories with the foreground ASP solver under the ASP modulo Theories (ASPmT) paradigm. By utilizing the ASPmT paradigm, the search is executed entirely systematically and the disparate synthesis steps can be coupled to explore the search space effectively.In dieser Arbeit wird ein vollständig systematischer Ansatz präsentiert, der sich mit der Entwurfsraumexploration auf der elektronischen Systemebene befasst. Das Problem wird als multikriterielles Optimierungsproblem formuliert und symbolisch mit Hilfe von Answer Set Programming (ASP) kodiert. Spezialisierte Solver sind im Rahmen des ASP modulo Theories (ASPmT) Paradigmas als Hintergrundtheorien eng mit dem ASP Solver gekoppelt. Durch die Verwendung von ASPmT wird die Suche systematisch ausgeführt und die individuellen Schritte können gekoppelt werden, um den Suchraum effektiv zu durchsuchen.KaiNeubauer1991 -VerfasserInaut12563854330000-0003-4138-5114ChristianHaubelt1972 -AkademischeR BetreuerIndgs1302040130000-0002-1568-5423Universität RostockTorstenSchaubAkademischeR BetreuerIndgs11663478260000-0002-7456-041XUniversität PotsdamMichaelGlaßAkademischeR BetreuerIndgsUniversität Ulm38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00003664urn:nbn:de:gbv:28-rosdok_id00003664-210.18453/rosdok_id00003664004 Informatik621.3 Elektrotechnik, ElektronikFakultät für Informatik und ElektrotechnikCC BY-ND 4.0Nutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)en2021Universität RostockRostockmonographic202220212022Universitätsbibliothek RostockRostock2022Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003664Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)[{"affil":"Universität Rostock","name":"Haubelt, Christian"},{"affil":"Universität Potsdam","name":"Schaub, Torsten"},{"affil":"Universität Ulm","name":"Glaß, Michael"}]vorgelegt von Kai NeubauerEingebettetes SystemMehrkriterielle OptimierungUniversität RostockHaubelt, ChristianUniversität PotsdamSchaub, TorstenUniversität UlmGlaß, Michaeldoctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesSDNB:621.3SDNB:621.3621.3 Elektrotechnik, Elektronik621.3 Electrical Engineering, Electronicsinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7licenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.cclicenselicenseinfo:work.cclicenseCC-LizenzCC-licenselicenseinfo:work.cclicense.cc-by-ndlicenseinfo:work.cclicense.cc-by-ndCC BY-NDCC BY-NDlicenseinfo:work.cclicense.cc-by-nd.v40licenseinfo:work.cclicense.cc-by-nd.v40CC BY-ND 4.0CC BY-ND 4.0/creativecommons/l/by-nd/4.0/88x31.png[DE-28]Namensnennung - Keine Bearbeitungen 4.0 International$cCC BY-ND 4.0$gCreative Commons$uhttps://creativecommons.org/licenses/by-nd/4.0/https://creativecommons.org/licenses/by-nd/4.0/https://creativecommons.org/licenses/by-nd/4.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2rfc5646:enrfc5646:enEnglischEnglishengengModel-based symbolic design space exploration at the electronic system levela systematic approachModel-based symbolic design space exploration at the electronic system levela systematic approachgnd:1256385433orcid:0000-0003-4138-5114gnd:130204013orcid:0000-0002-1568-5423gnd:1166347826orcid:0000-0002-7456-041Xgnd:38329-6gnd:10085032-7gnd:1256385433orcid:0000-0003-4138-5114gnd:130204013orcid:0000-0002-1568-5423gnd:1166347826orcid:0000-0002-7456-041Xgnd:38329-6gnd:10085032-7rosdok_disshab_0000002735-d2919365e55gnd:1256385433orcid:0000-0003-4138-5114Kai NeubauerKai Neubauerrosdok_disshab_0000002735-d2919365e71gnd:130204013orcid:0000-0002-1568-5423Christian HaubeltChristian Haubeltrosdok_disshab_0000002735-d2919365e88gnd:1166347826orcid:0000-0002-7456-041XTorsten SchaubTorsten Schaubrosdok_disshab_0000002735-d2919365e104Michael GlaßMichael Glaßrosdok_disshab_0000002735-d2919365e115gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000002735-d2919365e126gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerChristian HaubeltTorsten SchaubMichael GlaßUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerChristian HaubeltTorsten SchaubMichael GlaßUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00003664urn:nbn:de:gbv:28-rosdok_id00003664-210.18453/rosdok_id00003664Eingebettetes SystemMehrkriterielle OptimierungIn this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized solvers are tightly coupled as background theories with the foreground ASP solver under the ASP modulo Theories (ASPmT) paradigm. By utilizing the ASPmT paradigm, the search is executed entirely systematically and the disparate synthesis steps can be coupled to explore the search space effectively.In dieser Arbeit wird ein vollständig systematischer Ansatz präsentiert, der sich mit der Entwurfsraumexploration auf der elektronischen Systemebene befasst. Das Problem wird als multikriterielles Optimierungsproblem formuliert und symbolisch mit Hilfe von Answer Set Programming (ASP) kodiert. Spezialisierte Solver sind im Rahmen des ASP modulo Theories (ASPmT) Paradigmas als Hintergrundtheorien eng mit dem ASP Solver gekoppelt. Durch die Verwendung von ASPmT wird die Suche systematisch ausgeführt und die individuellen Schritte können gekoppelt werden, um den Suchraum effektiv zu durchsuchen.20212021Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)[{"affil":"Universität Rostock","name":"Haubelt, Christian"},{"affil":"Universität Potsdam","name":"Schaub, Torsten"},{"affil":"Universität Ulm","name":"Glaß, Michael"}]vorgelegt von Kai Neubauerepub.dissertation1 Neubauer_Dissertation_2022.pdf 1763128 84a29ea7057948ea4c777a23ef1f2231 rosdok/id000036641800501625Oau2022-04-282023-08-05T19:19:56ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftModel-based symbolic design space exploration at the electronic system levela systematic approachIn this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized solvers are tightly coupled as background theories with the foreground ASP solver under the ASP modulo Theories (ASPmT) paradigm. By utilizing the ASPmT paradigm, the search is executed entirely systematically and the disparate synthesis steps can be coupled to explore the search space effectively.In dieser Arbeit wird ein vollständig systematischer Ansatz präsentiert, der sich mit der Entwurfsraumexploration auf der elektronischen Systemebene befasst. Das Problem wird als multikriterielles Optimierungsproblem formuliert und symbolisch mit Hilfe von Answer Set Programming (ASP) kodiert. Spezialisierte Solver sind im Rahmen des ASP modulo Theories (ASPmT) Paradigmas als Hintergrundtheorien eng mit dem ASP Solver gekoppelt. Durch die Verwendung von ASPmT wird die Suche systematisch ausgeführt und die individuellen Schritte können gekoppelt werden, um den Suchraum effektiv zu durchsuchen.KaiNeubauer1991 -VerfasserInaut12563854330000-0003-4138-5114ChristianHaubelt1972 -AkademischeR BetreuerIndgs1302040130000-0002-1568-5423Universität RostockTorstenSchaubAkademischeR BetreuerIndgs11663478260000-0002-7456-041XUniversität PotsdamMichaelGlaßAkademischeR BetreuerIndgsUniversität Ulm38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00003664urn:nbn:de:gbv:28-rosdok_id00003664-210.18453/rosdok_id00003664004 Informatik621.3 Elektrotechnik, ElektronikFakultät für Informatik und ElektrotechnikCC BY-ND 4.0Nutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)en2021Universität RostockRostockmonographic202220212022Universitätsbibliothek RostockRostock2022Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003664Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)[{"affil":"Universität Rostock","name":"Haubelt, Christian"},{"affil":"Universität Potsdam","name":"Schaub, Torsten"},{"affil":"Universität Ulm","name":"Glaß, Michael"}]vorgelegt von Kai NeubauerEingebettetes SystemMehrkriterielle Optimierung Universität Rostock Haubelt, Christian Universität Potsdam Schaub, Torsten Universität Ulm Glaß, Michael 2022-04-28T11:45:50.103Z 2023-08-08T10:14:07.753Z 2023-08-18T10:14:07.758Z {"identifier":"rosdok/id00003664","type":"local_id","additional":"","service":"MCRLocalID","created":"2022-04-28T11:45:51.511Z","registered":"2022-04-28T11:45:51.511Z"} editorMS {"identifier":"urn:nbn:de:gbv:28-rosdok_id00003664-2","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2022-04-28T11:45:51.560Z","registered":"2022-04-28T17:40:07.093Z"} administratorfulltextfile/rosdok_disshab_0000002735/rosdok_derivate_0000159097/Neubauer_Dissertation_2022.pdfModel-based symbolic design space exploration at the electronic system levela systematic approachModel-based symbolic design space exploration at the electronic system levela systematic approachgnd:1256385433orcid:0000-0003-4138-5114gnd:130204013orcid:0000-0002-1568-5423gnd:1166347826orcid:0000-0002-7456-041Xgnd:38329-6gnd:10085032-7gnd:1256385433orcid:0000-0003-4138-5114gnd:130204013orcid:0000-0002-1568-5423gnd:1166347826orcid:0000-0002-7456-041Xgnd:38329-6gnd:10085032-7rosdok_disshab_0000002735-d2919365e55gnd:1256385433orcid:0000-0003-4138-5114Kai NeubauerKai Neubauerrosdok_disshab_0000002735-d2919365e71gnd:130204013orcid:0000-0002-1568-5423Christian HaubeltChristian Haubeltrosdok_disshab_0000002735-d2919365e88gnd:1166347826orcid:0000-0002-7456-041XTorsten SchaubTorsten Schaubrosdok_disshab_0000002735-d2919365e104Michael GlaßMichael Glaßrosdok_disshab_0000002735-d2919365e115gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000002735-d2919365e126gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerChristian HaubeltTorsten SchaubMichael GlaßUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerChristian HaubeltTorsten SchaubMichael GlaßUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikKai NeubauerRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00003664urn:nbn:de:gbv:28-rosdok_id00003664-210.18453/rosdok_id00003664Eingebettetes SystemMehrkriterielle OptimierungIn this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized solvers are tightly coupled as background theories with the foreground ASP solver under the ASP modulo Theories (ASPmT) paradigm. By utilizing the ASPmT paradigm, the search is executed entirely systematically and the disparate synthesis steps can be coupled to explore the search space effectively.In dieser Arbeit wird ein vollständig systematischer Ansatz präsentiert, der sich mit der Entwurfsraumexploration auf der elektronischen Systemebene befasst. Das Problem wird als multikriterielles Optimierungsproblem formuliert und symbolisch mit Hilfe von Answer Set Programming (ASP) kodiert. Spezialisierte Solver sind im Rahmen des ASP modulo Theories (ASPmT) Paradigmas als Hintergrundtheorien eng mit dem ASP Solver gekoppelt. Durch die Verwendung von ASPmT wird die Suche systematisch ausgeführt und die individuellen Schritte können gekoppelt werden, um den Suchraum effektiv zu durchsuchen.20212021Christian Haubelt (Universität Rostock) ; Torsten Schaub (Universität Potsdam) ; Michael Glaß (Universität Ulm)[{"affil":"Universität Rostock","name":"Haubelt, Christian"},{"affil":"Universität Potsdam","name":"Schaub, Torsten"},{"affil":"Universität Ulm","name":"Glaß, Michael"}]vorgelegt von Kai Neubauer[xslt]Saxonrosdok/id00003664https://purl.uni-rostock.de/rosdok/id00003664180050162510.18453/rosdok_id00003664urn:nbn:de:gbv:28-rosdok_id00003664-2Kai NeubauerNeubauer KaiModel-based symbolic design space exploration at the electronic system level : a systematic approachDissertationdoctoral thesisUniversität Rostock, 2021In this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level. The problem is formulated as multi-objective optimization problem and is encoded symbolically using Answer Set Programming (ASP). Several specialized…Kai NeubauerModel-based symbolic design space exploration at the electronic system levela systematic approachUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003664KaiNeubauer1991 -VerfasserInaut12563854330000-0003-4138-5114ChristianHaubelt1972 -AkademischeR BetreuerIndgs1302040130000-0002-1568-5423Universität RostockTorstenSchaubAkademischeR BetreuerIndgs11663478260000-0002-7456-041XUniversität PotsdamMichaelGlaßAkademischeR BetreuerIndgsUniversität Ulm38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgg[purl]http://purl.uni-rostock.de/rosdok/id00003664[urn]urn:nbn:de:gbv:28-rosdok_id00003664-2[doi]10.18453/rosdok_id00003664open_access20212021epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:004SDNB:621.3institution:unirostock.iefstate:published