Object-oriented supervisory control with a class of nondeterministic specifications
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 3634-3635
- https://doi.org/10.1109/cdc.1994.411719
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- Supervisory control of nondeterministic discrete event dynamical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987