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.