Comparison and aggregation of max-plus linear systems
نویسندگان
چکیده
We study linear systems in the max-plus algebra, where the basic operations are maximum and addition. We define a preorder to compare the state vectors of maxplus linear systems with the same dimension. We provide two algebraic methods to get bounds (with respect to this preorder) on the state vectors of a lumped maxplus linear system. The first method is based on the strong lumpability. The second method is based on the coherency property, which also allows one to provide bounds on the state vectors of the original linear system from those for the lumped system. We provide the algorithms to compute all the proposed bounds. We show that they can be used for models with a large state index set by means of a time and space complexity analysis. KEYWORD: lumpability 2000 MSC: 15A45; 16Y60; 39B72; 93C65
منابع مشابه
SOLUTION-SET INVARIANT MATRICES AND VECTORS IN FUZZY RELATION INEQUALITIES BASED ON MAX-AGGREGATION FUNCTION COMPOSITION
Fuzzy relation inequalities based on max-F composition are discussed, where F is a binary aggregation on [0,1]. For a fixed fuzzy relation inequalities system $ A circ^{F}textbf{x}leqtextbf{b}$, we characterize all matrices $ A^{'} $ For which the solution set of the system $ A^{' } circ^{F}textbf{x}leqtextbf{b}$ is the same as the original solution set. Similarly, for a fixed matrix $ A $, the...
متن کاملMax-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کاملMax-plus algebra and max-plus linear discrete event systems: An introduction
We provide an introduction to the max-plus algebra and explain how it can be used to model a specific class of discrete event systems with synchronization but no concurrency. Such systems are called max-plus linear discrete event systems because they can be described by a model that is “linear” in the max-plus algebra. We discuss some key properties of the max-plus algebra and indicate how thes...
متن کاملA stabilizing model predictive controller for uncertain max-plus-linear systems and uncertain switching max-plus-linear systems ⋆
We first discuss conditions for stability for uncertain max-plus-linear systems and for uncertain switching max-plus-linear systems, where in the uncertainty description the system matrices live in a union of polyhedra. Based on the newly derived stability conditions, a stabilizing model predictive controller is derived for both uncertain max-plus-linear systems and uncertain switching max-plus...
متن کاملMax-plus Algebra and System Theory: Where We Are and Where to Go Now
More than sixteen years after the beginning of a linear theory for certain discrete event systems in which max-plus algebra and similar algebraic tools play a central role, this paper attempts to summarize some of the main achievements in an informal style based on examples. By comparison with classical linear system theory, there are areas which are practically untouched, mostly because the co...
متن کامل