The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
The work
| Authors | Rong Su; Jan H. van Schuppen; J. E. Rooda |
|---|---|
| Editors | |
| Type | article |
| Year | 2012 |
| Also known as | su2011synthesis |
| Citekey | su2012synthesis |
Where it appeared
| Published in | IEEE Transactions on Automatic Control |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 57 |
| Issue | 1 |
| Pages | 105--118 |
Identifiers
| DOI | 10.1109/tac.2011.2157391 |
|---|---|
| OpenAlex | W1585340095 |
Access
| Landing page | https://doi.org/10.1109/tac.2011.2157391 |
|---|
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
In many practical applications, we need to compute a nonblocking supervisor that not only complies with pre-specified safety requirements but also achieves a certain time optimal performance such as maximum throughput. In this paper, we first present a minimum-makespan supervisor synthesis problem. Then we show that the problem can be solved by a terminable algorithm, where the execution time of each string is computable by the theory of heaps-of-pieces. We also provide a timed supervisory control map that can implement the synthesized minimum-makespan sublanguage.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 02:33 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{su2012synthesis,
title = {The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces},
author = {Rong Su and Jan H. van Schuppen and J. E. Rooda},
year = {2012},
journal = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {57},
number = {1},
pages = {105--118},
doi = {10.1109/tac.2011.2157391},
}
This record lives at https://refs.drheap.org/su2012synthesis/ and will keep
doing so. It used to be called su2011synthesis, and those addresses still resolve to this one.