The set of realizations of a max-plus linear sequence is semi-polyhedral

被引:1
|
作者
Blondel, Vincent [2 ]
Gaubert, Stephane [3 ,4 ]
Portier, Natacha [1 ,5 ]
机构
[1] Univ Lyon, LIP, Ecole Normale Super Lyon, CNRS,UCBL,INRIA,ENS Lyon,UMR 5668, F-69364 Lyon 07, France
[2] Catholic Univ Louvain, Dept Ingn Math, Large Graphs & Networks, B-1348 Louvain, Belgium
[3] Ecole Polytech, CMAP, F-91128 Palaiseau, France
[4] Ecole Polytech, INRIA, F-91128 Palaiseau, France
[5] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 1A1, Canada
关键词
Max-plus algebra; Minimal realization; Discrete event systems; Semi-polyhedral set; Formal series; Semiring; DISCRETE-EVENT SYSTEMS; PERFORMANCE EVALUATION; DYNAMIC-SYSTEMS; GEOMETRY;
D O I
10.1016/j.jcss.2010.08.010
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We show that the set of realizations of a given dimension of a max-plus linear sequence is a finite union of polyhedral sets, which can be computed from any realization of the sequence. This yields an (expensive) algorithm to solve the max-plus minimal realization problem. These results are derived from general facts on rational expressions over idempotent commutative semirings: we show more generally that the set of values of the coefficients of a commutative rational expression in one letter that yield a given max-plus linear sequence is a finite union of polyhedral sets. (C) 2010 Elsevier Inc. All rights reserved.
引用
收藏
页码:820 / 833
页数:14
相关论文
共 50 条
  • [31] Cycle time of stochastic max-plus linear systems
    Merlet, Glen
    ELECTRONIC JOURNAL OF PROBABILITY, 2008, 13 : 322 - 340
  • [32] Control and State Estimation for max-plus Linear Systems
    Hardouin, Laurent
    Cottenceau, Bertrand
    Shang, Ying
    Raisch, Joerg
    FOUNDATIONS AND TRENDS IN SYSTEMS AND CONTROL, 2018, 6 (01): : 1 - 116
  • [33] On the model reference control for max-plus linear systems
    Maia, C. A.
    Hardouin, L.
    Santos-Mendes, R.
    Cottenceau, B.
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 7799 - 7803
  • [34] Max-plus linear inverse problems: 2-norm regression and system identification of max-plus linear dynamical systems with Gaussian noise
    Hook, James
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2019, 579 : 1 - 31
  • [35] Weakly linear systems for matrices over the max-plus quantale
    Stamenkovic, Aleksandar
    Ciric, Miroslav
    Djurdjanovic, Dragan
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (01): : 1 - 25
  • [36] Weakly linear systems for matrices over the max-plus quantale
    Aleksandar Stamenković
    Miroslav Ćirić
    Dragan Djurdjanović
    Discrete Event Dynamic Systems, 2022, 32 : 1 - 25
  • [37] On the exponentiality of stochastic linear systems under the Max-Plus algebra
    Chang, CS
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (08) : 1182 - 1188
  • [38] On just in time control of switching max-plus linear systems
    Alsaba, Michel
    Lahaye, Sebastien
    Boimond, Jean-Louis
    ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2006, : 79 - 84
  • [39] On max-plus linear dynamical system theory: The regulation problem
    Goncalves, Vinicius Mariano
    Maia, Carlos Andrey
    Hardouin, Laurent
    AUTOMATICA, 2017, 75 : 202 - 209
  • [40] On the properties of the greatest subsolution for linear equations in the max-plus algebra
    Goto, H
    Masuda, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (02) : 424 - 432