mycoreobjectrosdok_disshab_0000000201rosdok_disshab_0000000201rosdokdisshabrosdok_derivate_00000037962023-08-08T10:00:45.201Z2009-04-02T08:34:34.965Zadministratorpublished1rosdok_derivate_0000003796truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id00000446595322611MODS updated during RosDok migration in June 2021DissertationHochschulschrift137790074ElkeTetzner1971-VerfasserInautNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPdeProf. Dr. Dr.GünterRiedewaldAkademischeR BetreuerIndgsProf. Dr.MichaelHanusAkademischeR BetreuerIndgsProf. Dr.PeterLukschAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000446http://purl.uni-rostock.de/rosdok/id00000446urn:nbn:de:gbv:28-diss2009-0057-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2008monographic20092008Universitätsbibliothek RostockRostock20092009Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.Hybride SystemeSymbolische SimulationCLPModellierungWiederverwendungUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000446doctype: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 thesisrfc5646:derfc5646:deDeutschGermangerdeuSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesinstitution: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-7accesscondition: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_abf2licenseinfo: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/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPgnd:137790074gnd:10085032-7gnd:137790074gnd:10085032-7rosdok_disshab_0000000201-d1494334e39gnd:137790074Elke TetznerElke Tetznerrosdok_disshab_0000000201-d1494334e60Prof. Dr. Dr. Günter RiedewaldProf. Dr. Dr. Günter Riedewaldrosdok_disshab_0000000201-d1494334e72Prof. Dr. Michael HanusProf. Dr. Michael Hanusrosdok_disshab_0000000201-d1494334e84Prof. Dr. Peter LukschProf. Dr. Peter Lukschrosdok_disshab_0000000201-d1494334e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerProf. Dr. Dr. Günter RiedewaldProf. Dr. Michael HanusProf. Dr. Peter LukschUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerProf. Dr. Dr. Günter RiedewaldProf. Dr. Michael HanusProf. Dr. Peter LukschUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000446http://purl.uni-rostock.de/rosdok/id00000446urn:nbn:de:gbv:28-diss2009-0057-3Hybride SystemeSymbolische SimulationCLPModellierungWiederverwendungDie Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.20082008epub.dissertation1 Dissertation_Tetzner_2009.pdf 1599694 5a9e25d5cdb49dcdcd121724784bff82 rosdok/id00000446595322611MODS updated during RosDok migration in June 2021DissertationHochschulschrift137790074ElkeTetzner1971-VerfasserInautNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPdeProf. Dr. Dr.GünterRiedewaldAkademischeR BetreuerIndgsProf. Dr.MichaelHanusAkademischeR BetreuerIndgsProf. Dr.PeterLukschAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000446http://purl.uni-rostock.de/rosdok/id00000446urn:nbn:de:gbv:28-diss2009-0057-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2008monographic20092008Universitätsbibliothek RostockRostock20092009Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.Hybride SystemeSymbolische SimulationCLPModellierungWiederverwendungUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000446 2009-04-02T08:34:34.965Z 2023-08-08T10:00:45.201Z 2023-08-18T10:00:45.206Z {"identifier":"rosdok/id00000446","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-06-30T12:36:58.745Z"} {"identifier":"http://purl.uni-rostock.de/rosdok/id00000446","type":"purl","additional":"","service":"RosDokPURL","created":"2018-06-30T12:36:58.872Z","registered":"2018-06-30T12:36:58.872Z"} {"identifier":"10.18453/rosdok_id00000446","type":"doi","additional":"","service":"RosDokDOI","created":"2018-06-30T12:37:00.191Z","registered":"2018-06-30T12:37:00.191Z"} {"identifier":"urn:nbn:de:gbv:28-diss2009-0057-3","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-06-30T12:36:58.749Z","registered":"2009-04-03T02:23:14.437Z"} administratorfulltextfile/rosdok_disshab_0000000201/rosdok_derivate_0000003796/Dissertation_Tetzner_2009.pdfNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPgnd:137790074gnd:10085032-7gnd:137790074gnd:10085032-7rosdok_disshab_0000000201-d1494334e39gnd:137790074Elke TetznerElke Tetznerrosdok_disshab_0000000201-d1494334e60Prof. Dr. Dr. Günter RiedewaldProf. Dr. Dr. Günter Riedewaldrosdok_disshab_0000000201-d1494334e72Prof. Dr. Michael HanusProf. Dr. Michael Hanusrosdok_disshab_0000000201-d1494334e84Prof. Dr. Peter LukschProf. Dr. Peter Lukschrosdok_disshab_0000000201-d1494334e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerProf. Dr. Dr. Günter RiedewaldProf. Dr. Michael HanusProf. Dr. Peter LukschUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerProf. Dr. Dr. Günter RiedewaldProf. Dr. Michael HanusProf. Dr. Peter LukschUniversität Rostock Fakultät für Informatik und ElektrotechnikElke TetznerRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000446http://purl.uni-rostock.de/rosdok/id00000446urn:nbn:de:gbv:28-diss2009-0057-3Hybride SystemeSymbolische SimulationCLPModellierungWiederverwendungDie Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.20082008[xslt]Saxonrosdok/id00000446https://purl.uni-rostock.de/rosdok/id0000044659532261110.18453/rosdok_id00000446urn:nbn:de:gbv:28-diss2009-0057-3Elke TetznerTetzner ElkeNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPDissertationdoctoral thesisUniversität Rostock, 2008Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit…Elke TetznerNutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLPUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000446137790074ElkeTetzner1971-VerfasserInautProf. Dr. Dr.GünterRiedewaldAkademischeR BetreuerIndgsProf. Dr.MichaelHanusAkademischeR BetreuerIndgsProf. Dr.PeterLukschAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg[doi]10.18453/rosdok_id00000446[purl]http://purl.uni-rostock.de/rosdok/id00000446[urn]urn:nbn:de:gbv:28-diss2009-0057-3open_access20082008epoch:21th_centuryrfc5646:dedoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published