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.
Local modular Supervisory Control of DES with distinguishers
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
Among the several extensions of Supervisory Control Theory, local modular control (LMC) is shown to be a computationally efficient approach for the synthesis of supervisors in composite Discrete Event Systems (DES) with multiple specifications. In the same way, the use of distinguishers is an approach that refines each event into a set representing specific instances of its occurrences. This new alphabet is chosen to make feasible the modeling of complex specifications. This paper shows that LMC and distinguishers can be combined in such a way that each modular supervisor can be computed locally either using the distinguishers or not whenever appropriate. Our main result shows that this combination leads to the same global behavior as the solution of the LMC with equivalent complex specifications in the non-refined alphabet. The contributions are illustrated in the context of a manufacturing line.
How it got here
How it got here
agent via openalex
Added
2026-10-27 02:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{teixeira2011local,
title = {Local modular Supervisory Control of DES with distinguishers},
author = {Marcelo Teixeira and José E.R. Cury and Max Hering de Queiroz},
year = {2011},
pages = {1--8},
doi = {10.1109/etfa.2011.6059038},
}