Modular supervisor synthesis for extended finite-state machines subject to controllability
The work
| Authors | Robi Malik; Marcelo Teixeira |
|---|---|
| Editors | |
| Type | misc |
| Year | 2016 |
| Citekey | malik2016modular |
Where it appeared
| Published in | International Workshop on Discrete Event Systems |
|---|---|
| Pages | 91--96 |
Identifiers
| DOI | 10.1109/wodes.2016.7497831 |
|---|---|
| OpenAlex | W2427477041 |
Access
| Landing page | https://doi.org/10.1109/wodes.2016.7497831 |
|---|---|
| Free full text | https://researchcommons.waikato.ac.nz/bitstreams/4a49526f-047d-4c4f-bc60-68c3315d14d7/download |
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
This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 01:33 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{malik2016modular,
title = {Modular supervisor synthesis for extended finite-state machines subject to controllability},
author = {Robi Malik and Marcelo Teixeira},
year = {2016},
journal = {International Workshop on Discrete Event Systems},
pages = {91--96},
doi = {10.1109/wodes.2016.7497831},
}
This record lives at https://refs.drheap.org/malik2016modular/ and will keep doing so.