Robust and adaptive supervisory control of discrete event systems

Both robust and adaptive supervisory control in discrete-event systems are discussed. It is assumed that the system G to be controlled is not known exactly. It is only known either that it belongs to a set or that it has certain lower and upper bounds. The task of robust supervision is to synthesize a supervisor that realizes a given desired behavior for all possible G. A necessary and sufficient condition for the existence of such a robust supervisor is derived. Based on this condition, a robust supervisory control and observation problem of synthesizing a robust supervisor whose behavior is both legal and acceptable is solved. Adaptive supervision is discussed. As the system progresses, the information on occurrences of events may help to resolve or reduce uncertainties