DUALITY BETWEEN INVARIANT SPACES FOR MAX-PLUS LINEAR DISCRETE EVENT SYSTEMS

被引:32
作者
Di Loreto, Michael [4 ]
Gaubert, Stephane [2 ,3 ]
Katz, Ricardo D. [1 ]
Loiseau, Jean-Jacques [5 ]
机构
[1] Univ Nacl Rosario, CONICET, Inst Matemat Beppo Levi, RA-2000 Rosario, Santa Fe, Argentina
[2] Ecole Polytech, Ctr Math Appl, F-91128 Palaiseau, France
[3] Ecole Polytech, INRIA, F-91128 Palaiseau, France
[4] INSA, CNRS, UMR 5005, Lab Ampere, F-69621 Villeurbanne, France
[5] CNRS, UMR 6597, Inst Rech Commun & Cybernet Nantes IRCCyN, F-44321 Nantes 3, France
关键词
conditioned invariance; controlled invariance; duality; geometric control; dynamic observer; max-plus algebra; discrete event systems; tropical semiring; PERFORMANCE EVALUATION; CONVEX-SETS; THEOREM; RING;
D O I
10.1137/090747191
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We extend the notions of conditioned and controlled invariant spaces to linear dynamical systems over the max-plus or tropical semiring. We establish a duality theorem relating both notions, which we use to construct dynamic observers. These are useful in situations in which some of the system coefficients may vary within certain intervals. The results are illustrated by an application to a manufacturing system.
引用
收藏
页码:5606 / 5628
页数:23
相关论文
共 40 条
[1]   THE TROPICAL DOUBLE DESCRIPTION METHOD [J].
Allamigeon, Xavier ;
Gaubert, Stephane ;
Goubault, Eric .
27TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2010), 2010, 5 :47-58
[2]  
[Anonymous], LECT NOTES CONTROL I
[3]  
Baccelli F., 1992, Synchronization and Linearity
[4]  
Basile G., 1969, Journal of Optimization Theory and Applications, V3, P306, DOI 10.1007/BF00931370
[5]  
Basile G, 1992, Controlled and conditioned invariants in linear system theory
[6]  
Blyth T.S., 1972, RESIDUATION THEORY
[7]  
BUTKOVIC P, 1984, EKON MAT OBZ, V20, P203
[8]   ALGEBRAIC TOOLS FOR THE PERFORMANCE EVALUATION OF DISCRETE EVENT SYSTEMS [J].
COHEN, G ;
MOLLER, P ;
QUADRAT, JP ;
VIOT, M .
PROCEEDINGS OF THE IEEE, 1989, 77 (01) :39-58
[9]  
Cohen G, 2005, CONTEMP MATH, V377, P105
[10]   Duality and separation theorems in idempotent semimodules [J].
Cohen, G ;
Gaubert, S ;
Quadrat, JP .
LINEAR ALGEBRA AND ITS APPLICATIONS, 2004, 379 :395-422