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.
Publisher page
Downloads
BibTeX
@inproceedings{LopDeS:12-037,
author = {Lopes, Gabriel A. D. and De Schutter, Bart and van den Boom,
Ton J. J.},
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}
}