Title :
Dealing with blocking in supervisory control of discrete-event systems
Author :
Chen, Enke ; Lafortune, Stephane
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
fDate :
6/1/1991 12:00:00 AM
Abstract :
The issue of blocking in the context of a general supervisory control problem with blocking which was introduced in a previous work is studied. The admissible solutions of this problem are characterized, and their properties are analyzed. Strategies to improve the performance of a given blocking supervisor are discussed. Performance is characterized in terms of two sets called the satisficing measure and the blocking measure. Techniques for improving each of these two conflicting measures are presented. Techniques to improve both measures successively in order to optimize a given supervisor are presented
Keywords :
discrete time systems; blocking; discrete-event systems; satisficing measure; supervisory control; Character generation; Concurrency control; Control systems; Discrete event systems; Process control; Resumes; Supervisory control; Terrorism; Transaction databases;
Journal_Title :
Automatic Control, IEEE Transactions on
