Object-oriented supervisory control with a class of nondeterministic specifications

This paper shows how a certain type of nondeterministic specification for discrete event systems can be used with the supervisory control theory. A discrete event system is regarded as a user-resource system, with a set of resources shared by a set of users. The users are seen as a specification on the behavior of the system. The sharing of the resources is modeled by interleaving the users, which results in a certain kind of nondeterministic specification. It is shown that the supervisory control theory still holds in this context, with a slight modification of the definition of supervisor completeness