资源描述：
《Integration of Supervisory Control Synthesis in Model-Based Systems Engineering》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、Chapter2IntegrationofSupervisoryControlSynthesisinModel-BasedSystemsEngineeringJosC.M.Baeten,JoannaM.vandeMortel-FronczakandJacobusE.RoodaAbstractIncreasingsystemcomplexity,timetomarketanddevelopmentcostsreductionplacehigherdemandsonengineeringprocesses.Formalmodelsplayanimportantrole
2、herebecausetheyenabletheuseofvariousmodel-basedanalysesandearlyintegrationtechniquesandtools.Engineeringprocessesbasedonformalmod-elsareabletocopewithcomplexity.Theyalsosupporttimetomarketanddevelop-mentcostsreduction.Moreover,applicationofsupervisorycontrolsynthesisinthedevelopmentof
3、controlsystemscanspeeduptheprocessconsiderably.Thispaperdiscussestheintegrationofrecentlydevelopedsupervisorsynthesistechniquesandtoolsinengineeringprocesses.Toillustratethisapproach,examplesofindustrialcasesarepresented,wheresupervisorssynthesizedhavesuccessfullybeenimple-mentedandin
4、tegratedinexistingresourcecontrolplatforms.2.1IntroductionIncurrentindustrialpractice,itisverydifficulttodealwithhigh-techmultidiscipli-narysystemdevelopmentduetosystemcomplexity,marketpressure,andresourcelimitations.Toovercomethedifficulties,variouskindsofmodelsareusedincreas-inglyofteni
5、nthedevelopmentprocess.Specifically,formalandexecutablemodelsbuiltandemployedinthedesignphasecanbeusedtoassessfunctionalcorrectnessandperformanceofcomponentdesignsandoverallsystemdesign.Formalverifica-tion,inparticularmodelchecking[3],isemployedwhenahighdegreeofconfidenceinfunctionalcorr
6、ectnessofadesignisrequired.Toassessdesignperformance,oneJ.C.M.BaetenCentrumWiskunde&Informatica,Amsterdam,TheNetherlandse-mail:jos.baeten@cwi.nlJ.C.M.Baeten⋅J.M.vandeMortel-Fronczak(✉)⋅J.E.RoodaEindhovenUniversityofTechnology,Eindhoven,TheNetherlandse-mail:j.m.v.d.mortel@tue.nlJ.E.Roo
7、dae-mail:j.e.rooda@tue.nl©SpringerInternationalPublishingSwitzerland201639G.M.Dimirovski(ed.),ComplexSystems,StudiesinSystems,DecisionandControl55,DOI10.1007/978-3-319-28860-4_240J.C.M.Baetenetal.canusesimulationdirectlyonthemodel,oranalyzeanassociatedMarkovchainorqueueingmodel.Succes
8、sfulu
