资源描述：
《Decision Diagrams for the决策图》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、DecisionDiagramsfortheVeri cationofConsistencyinAutomotiveProductDataEntscheidungsdiagrammezurVeri kationderDatenkonsistenzinderAutomobilproduktionDerTechnischenFakult•atderFriedrich-Alexander-Universit•atErlangen-N•urnbergzurErlangungdesDoktorgradesDOKTOR-INGENIEURvorgelegtvon
2、R•udigerBerndtausNeuendettelsauAlsDissertationgenehmigtvonderTechnischenFakult•atderFriedrich-Alexander-Universit•atErlangen-N•urnbergTagderm•undlichenPr•ufung:20.01.2016VorsitzenderdesPromotionsorgans:Prof.Dr.PeterGreilGutachter:Prof.Dr.-Ing.habil.ReinhardGermanProf.Dr.-Ing.ha
3、bil.RichardLenzTomyfather,whotaughtmesomeofthemostimportantthingsaboutlifebut,unfortunately,diedmuchtooearly.(1938-1998)AcknowledgementsIwouldliketoexpressmythankstomyPh.D.supervisorandheadofthechairforcomputernetworksandcommunicationsystemsoftheFriedrich-Alexander-Universit•at
4、Erlangen-N•urnberg:ProfessorReinhardGerman.Althoughbeingentrustedwithnumeroustasksregardinglectures,scienti cwork,andmanagement,healwayshadenoughtimetosupportmeduringthisproject
5、duetohisconsideratenessandexperience,healwaysgavetherightadvice,whichwasimportantfortheproject'ssucc
6、ess.IwanttothankProfessorRichardLenz(chairfordatamanagement),ProfessorThomasMoor(chairforcontroltheory),andProfessorMichaelGla(chairforhardware-software-co-design)fortheirkindsupportduringthe nalstepsofthisproject.Manythankstoallofmycolleaguesatthechairforagreattime,includingt
7、heinterestingandamusingdiscussionsintheco eebreaks.Particularly,IwouldliketothankPeterBazanandDr.Kai-Ste enHielscherfortheirsupportregardingthedevelopmentoftheveri cationapproachandtheaccordingpublications.IowemythankstoDr.MartinLukasiewyczforhisreadinesstohelpmewithhisexpertis
8、einthe eldofsatis abilitysolvers.TheinterdisciplinaryworkandpublicationstogetherwithDr.JulianeBlechinger(chairfordatamanagement)andDr.FlorianRisch(chairforfactoryautomationandproductionsystems)enrichedmyknowledgeofthecorrespondingdomainsandinspirednewideas,thankyou!Iwanttothank
9、theAUDIAGforsponsoringthisproject,andallcolleaguesfort
