当前位置: X-MOL 学术Discrete Event Dyn. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Weakly linear systems for matrices over the max-plus quantale
Discrete Event Dynamic Systems ( IF 1.4 ) Pub Date : 2021-09-13 , DOI: 10.1007/s10626-021-00342-4
Aleksandar Stamenković 1 , Miroslav Ćirić 1 , Dragan Djurdjanović 2
Affiliation  

In this paper we introduce and study weakly linear systems, i.e. systems consisting of matrix inequalities Eqs. 17–20, over the max-plus quantale which is also known as complete max-plus algebra. We prove the existence of the greatest solution contained in a given matrix X0, and present a procedure for its computation. In the case of weakly linear systems consisting of finitely many matrix inequalities, when all finite elements of matrices X0, As and Bs, sI are integers, rationals or particular irrationals and a finite solution exists, the procedure finishes in a finite number of steps. If in that case an arbitrary finite solution is given, a lower bound on the number of computational steps is calculated. Otherwise, we use our algorithm to compute approximations to finite solutions.



中文翻译:

最大加分位数矩阵的弱线性系统

在本文中,我们介绍并研究弱线性系统,即由矩阵不等式组成的系统。 17-20,关于 max-plus Quantale,也称为完全 max-plus 代数。我们证明了给定矩阵X 0中包含的最大解的存在性,并给出了其计算过程。对于由有限多个矩阵不等式组成的弱线性系统,当矩阵X 0A sB ssI的所有有限元都是整数、有理数或特定无理数且存在有限解时,该过程以有限数量的步骤。如果在这种情况下给出任意有限解,则计算计算步骤数的下限。否则,我们使用我们的算法来计算有限解的近似值。

更新日期:2021-09-13
down
wechat
bug