Discrete-event control of nondeterministic systems
The work
| Authors | M. Heymann; F. Lin |
|---|---|
| Editors | |
| Type | article |
| Year | 1998 |
| Citekey | heymann1998discreteevent |
Where it appeared
| Published in | IEEE Transactions on Automatic Control |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 43 |
| Issue | 1 |
| Pages | 3--17 |
Identifiers
| DOI | 10.1109/9.654883 |
|---|---|
| OpenAlex | W2097061575 |
Access
| Landing page | https://doi.org/10.1109/9.654883 |
|---|
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
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann et al. (1991). This formalism has been used in by Shayman et al. (1995) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 01:06 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{heymann1998discreteevent,
title = {Discrete-event control of nondeterministic systems},
author = {M. Heymann and F. Lin},
year = {1998},
journal = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {43},
number = {1},
pages = {3--17},
doi = {10.1109/9.654883},
}
This record lives at https://refs.drheap.org/heymann1998discreteevent/ and will keep doing so.