supervisory control using control objectives

《supervisory control using control objectives》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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