On the Synchronization of Cyclic Discrete-Event Systems
Reference
G.A.D. Lopes,
B. De Schutter, and
T.J.J. van den Boom,
"On the Synchronization of Cyclic Discrete-Event Systems," Proceedings of the 51st IEEE Conference on Decision and
Control, Maui, Hawaii, pp. 5810-5815, Dec. 2012.
Abstract
Max-plus linear systems are a powerful modeling tool for many
applications that involve scheduling and synchronization, such as
manufacturing, traffic, and legged locomotion. In this paper we
investigate how to systematically construct synchronization
controllers for multiple cyclic discrete-event systems modeled in the
max-plus framework. We consider that a synchronization specification
is given to the control designer as a set of ordering pairs of events
that need to occur for the same event counter. We introduce a
synchronization controller that verifies the feasible specifications
and show that unfeasible specifications are automatically detected. We
present simulation results for the evolution of controlled
synchronized cyclic systems.
Downloads
- Corresponding technical report:
pdf
file
(2.06 MB)
Bibtex entry
@inproceedings{LopDeS:12-037,
author={G.A.D. Lopes and B. {D}e Schutter and T.J.J. van den Boom},
title={On the Synchronization of Cyclic Discrete-Event Systems},
booktitle={Proceedings of the 51st IEEE Conference on Decision and Control},
address={Maui, Hawaii},
pages={5810--5815},
month=dec,
year={2012}
}
This page is maintained by Bart De Schutter.
Last update: February 21, 2026.