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.
Supervisory control using failure semantics and partial specifications
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
A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It guarantees deadlock-free behavior under all circumstances, it allows for powerful specifications, it forms a sound basis for modular control, and it can handle nondeterminism without extra effort. A synthesis method to generate the least restrictive supervisor is presented. The control problem with partial specification is formulated, and it is shown that this control problem can be rewritten to a control problem with full specification. Special care has to be taken for traces with an unbounded internal extension (divergence). A condition, denoted bounded recurrence, is introduced to handle these traces. It is shown that the external behavior of the controlled system is not restricted by this condition.
How it got here
How it got here
agent via openalex
Added
2026-10-27 01:53 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{overkamp1997supervisory,
title = {Supervisory control using failure semantics and partial specifications},
author = {A.A.F. Overkamp},
year = {1997},
journal = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {42},
number = {4},
pages = {498--510},
doi = {10.1109/9.566659},
}