Geodesic
Reachability and observability of linear systems over max-plus
Kybernetika, Tome 35 (1999) no. 1, pp. 2-12 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

This paper discusses the properties of reachability and observability for linear systems over the max-plus algebra. Working in the event-domain, the concept of asticity is used to develop conditions for weak reachability and weak observability. In the reachability problem, residuation is used to determine if a state is reachable and to generate the required control sequence to reach it. In the observability problem, residuation is used to estimate the state. Finally, as in the continuous-variable case, a duality is shown to exist between the two properties.
This paper discusses the properties of reachability and observability for linear systems over the max-plus algebra. Working in the event-domain, the concept of asticity is used to develop conditions for weak reachability and weak observability. In the reachability problem, residuation is used to determine if a state is reachable and to generate the required control sequence to reach it. In the observability problem, residuation is used to estimate the state. Finally, as in the continuous-variable case, a duality is shown to exist between the two properties.
Classification : 15A80, 93B03, 93B05, 93B07, 93B25, 93C65, 93C83
Keywords: reachability; observability; linear system; max-plus algebra 
@article{KYB_1999_35_1_a1,
     author = {Gazarik, Michael J. and Kamen, Edward W.},
     title = {Reachability and observability of linear systems over max-plus},
     journal = {Kybernetika},
     pages = {2--12},
     year = {1999},
     volume = {35},
     number = {1},
     mrnumber = {1705526},
     zbl = {1274.93037},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1999_35_1_a1/}
}
TY  - JOUR
AU  - Gazarik, Michael J.
AU  - Kamen, Edward W.
TI  - Reachability and observability of linear systems over max-plus
JO  - Kybernetika
PY  - 1999
SP  - 2
EP  - 12
VL  - 35
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KYB_1999_35_1_a1/
LA  - en
ID  - KYB_1999_35_1_a1
ER  - 
%0 Journal Article
%A Gazarik, Michael J.
%A Kamen, Edward W.
%T Reachability and observability of linear systems over max-plus
%J Kybernetika
%D 1999
%P 2-12
%V 35
%N 1
%U http://geodesic.mathdoc.fr/item/KYB_1999_35_1_a1/
%G en
%F KYB_1999_35_1_a1
Gazarik, Michael J.; Kamen, Edward W. Reachability and observability of linear systems over max-plus. Kybernetika, Tome 35 (1999) no. 1, pp. 2-12. http://geodesic.mathdoc.fr/item/KYB_1999_35_1_a1/

[1] Baccelli F., Cohen G., Olsder G. J., Quadrat J. P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York 1992 | MR | Zbl

[2] Cofer D., Garg V.: Supervisory control of real–time discrete–event systems using lattice theory. IEEE Trans. Automat. Control 41 (1996), 199–209 | MR | Zbl

[3] Cohen G., Moller P., Quadrat J., Viot M.: Algebraic tools for the performance evaluation of discrete event systems. Proc. IEEE 77 (1989), 39–58

[4] Cuninghame–Green R. A.: Minimax Algebra. Springer Verlag, New York 1979 | MR | Zbl

[5] Doustmohammadi A., Kamen E.: Direct generation of event–timing equations for generalized flow shop systems. In: Proceedings of the SPIE Photonics East 1995 Symposium, Philadelphia 1995, pp. 50–62

[6] Gazarik M.: Monitoring and Control of Manufacturing Systems Based on the Max–plus Formulation. Ph.D. Thesis, Georgia Institute of Technology, Atlanta 1997

[7] Gazarik M., Kamen E.: Reachability and observability of linear systems over max–plus. In: 5th IEEE Mediterranean Conference on Control and Systems, Paphos 1997 | MR

[8] Kamen E. W.: An Equation–based approach to the control of discrete event systems with applications to manufacturing. In: International Conference on Control Theory and Its Applications, Jerusalem 1993

[9] Olsder G., Roos C.: Cramer and Cayley–Hamilton in the max algebra. Linear Algebra Appl. 101 (1988), 87–108 | MR | Zbl

[10] Prou J.-M., Wagneur E.: Controllability in the Max-algebra. In: 5th IEEE Mediterranean Conference on Control and Systems, Paphos 1997, revised version: Kybernetika 35 (1999), 13–24 | MR