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 (1.91 MB)
      Note: More information on the pdf file format mentioned above can be found here.


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}
        }



Go to the publications overview page.


This page is maintained by Bart De Schutter. Last update: October 11, 2016.