資源描述：
《supervisory control using control objectives》由會(huì)員上傳分享，免費(fèi)在線(xiàn)閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、SupervisorycontrolusingcontrolobjectivesM.P.SpathopoulosandM.R.LaurenceDepartmentofMechanicalEngineeringSystemDynamicsandControlUniversityofStrathclyde75Montrosest.,GlasgowG11XJ,Scotlandmps@mecheng.strath.ac.ukAbstractexistoritmaybeimpossibletobecalculatedoff-line.Westudythes
2、upervisorycontrolproblemforThispaperaddressestheproblemofdiscreteclosedlanguageswhenthespecificationsareeventcontrolwhenbothsystemanddesiredgivenintermsofcontrolobjectivesi.e.abehaviorarenon-regularlanguagesbutclosed.pairingofpredicatesassociatedwithblockingMoreoverthedesired
3、behaviorisgiveninevents.Weshowthatundersomeconditionstermsofapairingofpredicatesassociatedwiththesupervisorycontrolproblemisdecidableblockingevents.Usingthisformalismaleastfornon-regularlanguagesandresultsinrestrictivecontrolbehaviorisderivedobtainingtheleastrestrictivebehavi
4、or.Thewithoughttheneedtoknowthelengthofanresultappearstogiveanextensionofthelook-‘optimal’windowthatessentiallyiscalculatedaheadpoliciestechniqueinthesensethatforon-line.Basicallytheinvolvedwindowlengtheachobservedstringthe‘optimal’windowisarbitrary(butfiniteundersomeconditio
5、ns)lengthiscalculatedon-line.andthereforethetimerequiredforthe‘optimal’solutionmaybearbitrarilylong.Keywords:Discreteeventsystem,UnderthenewformalismwedescribetheSupervisorycontrol,Controlobjectives,desiredbehaviorofadiscrete-eventsysteminRecursiveprocessestermsofasetofpredic
6、atesandassociatedevents.Theso-called‘controlobjective’1.Introductioninvolvethepairingofapredicateandanevent.ThepredicatedependsonthebehavioroftheInthesupervisorycontroltheorythediscrete-systemandevaluatestotrueorfalseaccordingeventsystem(DES)describedbyafinitetotheobservedbeh
7、avior.Whenthepredicateautomatoniscontrolledbyasecondsystem,evaluatestotruetheassociatedeventiscalledthesupervisor,thatfollowsthesystemblocked.Whenaneventisobservednext,theandblocksevents,ifnecessary,inordertogetpredicateisre-evaluatedandtheassociatedthedesiredbehaviorgivenint
8、ermsofanothereventisblockedornotaccordingtothenewfiniteautomaton.The
