Geodesic
Idempotent versions of Haar’s Lemma: links between comparison of discrete event systems with different state spaces and control
Kybernetika, Tome 43 (2007) no. 3, pp. 369-391.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Haar's Lemma (1918) deals with the algebraic characterization of the inclusion of polyhedral sets. This Lemma has been involved many times in automatic control of linear dynamical systems via positive invariance of polyhedrons. More recently, it has been used to characterize stochastic comparison w.r.t. linear/integral ordering of Markov (reward) chains. In this paper we develop a state space oriented approach to the control of Discrete Event Systems (DES) based on the remark that most of control constraints of practical interest are naturally expressed as the inclusion of two systems of linear (w.r.t. idempotent semiring or semifield operations) inequalities. Thus, we establish tropical version of Haar's Lemma to obtain the algebraic characterization of such inclusion. As in the linear case this Lemma exhibits the links between two apparently different problems: comparison of DES and control via positive invariance. Our approach to the control differs from the ones based on formal series and is a kind of dual approach of the geometric one recently developed. Control oriented applications of the main results of the paper are given. One of these applications concerns the study of transportation networks which evolve according to a time table. Although complexity of calculus is discussed the algorithmic implementation needs further work and is beyond the scope of this paper.
Classification : 06F07, 60E15, 93B27, 93C65
Keywords: max-plus algebra; control; monotonicity; positive invariance; residuation; duality 
@article{KYB_2007__43_3_a7,
     author = {Ahmane, Mourad and Truffet, Laurent},
     title = {Idempotent versions of {Haar{\textquoteright}s} {Lemma:} links between comparison of discrete event systems with different state spaces and control},
     journal = {Kybernetika},
     pages = {369--391},
     publisher = {mathdoc},
     volume = {43},
     number = {3},
     year = {2007},
     mrnumber = {2362725},
     zbl = {1132.93029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2007__43_3_a7/}
}
TY  - JOUR
AU  - Ahmane, Mourad
AU  - Truffet, Laurent
TI  - Idempotent versions of Haar’s Lemma: links between comparison of discrete event systems with different state spaces and control
JO  - Kybernetika
PY  - 2007
SP  - 369
EP  - 391
VL  - 43
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2007__43_3_a7/
LA  - en
ID  - KYB_2007__43_3_a7
ER  - 
%0 Journal Article
%A Ahmane, Mourad
%A Truffet, Laurent
%T Idempotent versions of Haar’s Lemma: links between comparison of discrete event systems with different state spaces and control
%J Kybernetika
%D 2007
%P 369-391
%V 43
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2007__43_3_a7/
%G en
%F KYB_2007__43_3_a7
Ahmane, Mourad; Truffet, Laurent. Idempotent versions of Haar’s Lemma: links between comparison of discrete event systems with different state spaces and control. Kybernetika, Tome 43 (2007) no. 3, pp. 369-391. http://geodesic.mathdoc.fr/item/KYB_2007__43_3_a7/