A Class of Non-Deterministic Specifications for Supervisory Control

https://doi.org/10.1016/S0947-3580(97)70063-3Get rights and content

In this paper will be shown how a certain type of non-deterministic specification for discrete event systems can be used with the supervisory control theory. A discrete event system will be 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 behaviour of the system. The sharing of the resources is modelled by interleaving the users, which results in a certain kind of non-deterministic specification, with a single initialstate and possibly multiple identically labelled transitions from one and the same state. It is shown that the supervisory control theory still holds in this context, with a slight modification of the definition ofsupervisor completeness.

References (24)

  • M. Heymann et al.

    An algebra of discrete event processes

  • C.A.R. Hoare

    Communicating sequential processses

    (1985)
  • Cited by (0)

    View full text