Author:
Schafaschek Germano,Hardouin Laurent,Raisch Jörg
Abstract
AbstractThis paper studies a scenario in which the occurrence of one or more events in a discrete event system is subject to external restrictions which may change unexpectedly during run-time. The system is modeled as a timed event graph (TEG) and, in this context, the presence of the aforementioned external restrictions has become known as partial synchronization (PS). This phenomenon arises naturally in several applications, from manufacturing to transportation systems. We develop a formal and systematic method to compute optimal control signals for TEGs in the presence of PS, where the control objective is tracking a given output reference as closely as possible and optimality is understood in the widely-adopted just-in-time sense. The approach is based on the formalism of tropical semirings — in particular, the min-plus algebra and derived semiring of counters. We claim that our method expands modeling and control capabilities with respect to previously existing ones by tackling the case of time-varying PS restrictions, which, to the best of our knowledge, has not been dealt with before in this context.
Funder
Technische Universität Berlin
Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and Linearity: an Algebra for Discrete Event Systems. Wiley, ???
2. Blyth T, Janowitz M (1972) Residuation Theory. Pergamon press, ???
3. Cottenceau B, Hardouin L, Trunk J (2020) A C++ toolbox to handle series for event-variant/time-variant (max,+) systems
4. David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2013) Optimal control for timed event graphs under partial synchronization. In: 52nd IEEE Conference on decision and control, pp 7609–7614
5. David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2014) Modeling and control for max-plus systems with partial synchronization. In: 12th International workshop on discrete event systems (WODES), Paris, France