Stichting Informatica

《Stichting Informatica》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、TECHNISCHEUNIVERSITEITEINDHOVENDepartmentofMathematicsandComputerScienceAmodelinglanguageforreconfigurabledistributedhybridsystemsByF.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、alreconfigurationtotheexistingCharonlanguage.ThetargetapplicationdomainofR-Charonincludesbutisnotlimitedtomodularreconfigurablerobotsandlarge-scaletransportationsystems.WhilelargelyleavingtheCharonsyn-taxandsemanticsintact,theextensionallowsdynamiccreationanddes

4、tructionofcomponents(agents)aswellasoflinks(references)betweentheagents.WedevelopandpresentasyntaxandoperationalsemanticsforR-Charononthreelevels:behavior(modes),structure(agents)andconfiguration(system).Addi-tionallywepresentanembeddingofanCharonmodeltoanR-Cha

5、ronmodel,toshowthattheextension-uptonotation-isaconservativeextension.TwoapplicationexamplesiiiNederlandseSamenvattingNederlandsesamenvattinghier.ivContentsSummaryiii1Introduction11.1Hybridsystems............................11.2ReconfigurableHybridSystems......

6、.............21.2.1SHIFTProgrammingLanguage...............21.2.2Φ-calculus...........................31.2.3LimitationofCurrentApproaches..............61.3Research................................81.3.1ResearchLimitation.....................91.4Relatedresearch..

7、..........................101.5ThesisOutline.............................112ApplicationDomainandReconfigurationintheApplicationDo-main142.1OverviewofApplicationDomains..................142.1.1BiochemicalModeling....................152.1.2Large-ScaleTransportati

8、onSystems.............152.1.3CooperatingAgents......................162.1.4ManufacturingLines.....................182.1.5ModularReconfigurableRobots...............192.2TargetApplica