The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Shayman and Kumar (1995) showed that supervisory control of nondeterministic discrete-event systems, in the presence of driven events, can be achieved using prioritized synchronous composition as a mechanism of control, and trajectory models as a modeling formalism, first introduced by Heymann (1990). The specifications considered in this earlier work were given by prefix-closed languages. In this paper, we extend this work to include markings so that nonclosed specifications and issues such as blocking can be addressed. It is shown that the usual notion of nonblocking, called language model nonblocking, may not be adequate in the setting of nondeterministic systems, and a stronger notion, called trajectory model nonblocking, is introduced. Necessary and sufficient conditions for the existence of language model nonblocking as well as trajectory model nonblocking supervisors are obtained for nondeterministic systems in the presence of driven events in terms of extended controllability and relative-closure conditions and a new condition called the trajectory-closure condition.
How it got here
How it got here
agent via openalex
Added
2026-10-27 01:25 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{kumar1996nonblocking,
title = {Nonblocking supervisory control of nondeterministic systems via prioritized synchronization},
author = {Ratnesh Kumar and Mark A. Shayman},
year = {1996},
journal = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {41},
number = {8},
pages = {1160--1175},
doi = {10.1109/9.533677},
}