Dealing with blocking in supervisory control of discrete eventsystems

摘要

A study is made of the supervisory control of discrete-eventsystems where blocking is unavoidable or nonblocking solutions do notyield good performance. The authors consider strategies to improve theperformance of a given blocking supervisor. Performance is characterizedin terms of a satisfying measure (how much of the legal marked behavioris achieved) and a blocking measure (how often the execution of legalunmarked strings is blocked). Techniques are presented for improvingeach of these conflicting measures