Modular Control of Discrete-Event Systems With Coalgebra
The work
| Authors | Jan Komenda; Jan H. van Schuppen |
|---|---|
| Editors | |
| Type | article |
| Year | 2008 |
| Citekey | komenda2008modular |
Where it appeared
| Published in | IEEE Transactions on Automatic Control |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 53 |
| Issue | 2 |
| Pages | 447--460 |
Identifiers
| DOI | 10.1109/tac.2007.915164 |
|---|---|
| OpenAlex | W2101933728 |
Access
| Landing page | https://doi.org/10.1109/tac.2007.915164 |
|---|
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
Modular supervisory control of discrete-event systems, where the overall system is a synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g., modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis. An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 01:23 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{komenda2008modular,
title = {Modular Control of Discrete-Event Systems With Coalgebra},
author = {Jan Komenda and Jan H. van Schuppen},
year = {2008},
journal = {IEEE Transactions on Automatic Control},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {53},
number = {2},
pages = {447--460},
doi = {10.1109/tac.2007.915164},
}
This record lives at https://refs.drheap.org/komenda2008modular/ and will keep doing so.