資源描述：
《Stichting Informatica》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、TECHNISCHEUNIVERSITEITEINDHOVENDepartmentofMathematicsandComputerScienceAmodelinglanguageforrecon?gurabledistributedhybridsystemsByF.KratzSupervisors:Dr.ir.M.A.Reniers(TU/e)Prof.Dr.I.Lee(UniversityofPennsylvania)Dr.G.J.Pappas(UniversityofPennsylvania)Eindhoven
2、,November2005Thefollowingorganizationssupportedthisthesis:?TechnischeUniversiteitEindhoven?UniversityofPennsylvania?StichtingInformatica?KoninklijkInstituutvoorIngenieursiiEnglishSummaryThisthesisdescribesthemodelinglanguageR-Charonasanextensionforarchi-tectur
3、alrecon?gurationtotheexistingCharonlanguage.ThetargetapplicationdomainofR-Charonincludesbutisnotlimitedtomodularrecon?gurablerobotsandlarge-scaletransportationsystems.WhilelargelyleavingtheCharonsyn-taxandsemanticsintact,theextensionallowsdynamiccreationanddes
4、tructionofcomponents(agents)aswellasoflinks(references)betweentheagents.WedevelopandpresentasyntaxandoperationalsemanticsforR-Charononthreelevels:behavior(modes),structure(agents)andcon?guration(system).Addi-tionallywepresentanembeddingofanCharonmodeltoanR-Cha
5、ronmodel,toshowthattheextension-uptonotation-isaconservativeextension.TwoapplicationexamplesiiiNederlandseSamenvattingNederlandsesamenvattinghier.ivContentsSummaryiii1Introduction11.1Hybridsystems............................11.2Recon?gurableHybridSystems......
6、.............21.2.1SHIFTProgrammingLanguage...............21.2.2Φ-calculus...........................31.2.3LimitationofCurrentApproaches..............61.3Research................................81.3.1ResearchLimitation.....................91.4Relatedresearch..
7、..........................101.5ThesisOutline.............................112ApplicationDomainandRecon?gurationintheApplicationDo-main142.1OverviewofApplicationDomains..................142.1.1BiochemicalModeling....................152.1.2Large-ScaleTransportati
8、onSystems.............152.1.3CooperatingAgents......................162.1.4ManufacturingLines.....................182.1.5ModularRecon?gurableRobots...............192.2TargetApplica
