The equation A ⊗ x = B ⊗ y over (max, +)
Theoretical Computer Science
Generalized Multivariable Control of Discrete Event Systems in Dioids
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
How to solve large scale deterministic games with mean payoff by policy iteration
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Just in Time Control of Constrained (max,+)-Linear Systems
Discrete Event Dynamic Systems
Inferring Min and Max Invariants Using Max-Plus Polyhedra
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Brief Model reference control for timed event graphs in dioids
Automatica (Journal of IFAC)
Hi-index | 22.14 |
This paper deals with the control of discrete event systems subject to synchronization and time delay phenomena, which can be described by using the max-plus algebra. The objective is to design a feedback controller to guarantee that the system evolves without violating time restrictions imposed on the state. To this end an equation is derived, which involves the system, the feedback and the restriction matrices. Conditions concerning the existence of a feedback are discussed and sufficient conditions that ensure the computation of a causal feedback are presented. To illustrate the results of this paper, a workshop control problem is presented.