Abstract
Discrete-event systems, when studied from a control-theorist’s point of view, can be represented by a linear dynamic system in the so-called max-algebra, or dioïd.
Some methods used in the usual linear-system theory still work in this algebra: z-transform, duality,... Problems arise when trying to reduce the state-dimension, or to define a canonical state-representation. This is due to the lack of an adequate theory of the rank, for matrixes, families of vectors, or linear operators in this algebra.
The Cayley-Hamilton theorem, which is a consequence only of combinatorial properties of matrix-calculus, is quite easy to prove in the max-algebra. Thus, a recurrent equation can be defined, which is satisfied by the transfer function of the system.
A conjecture is proposed:
In the max-algebra, a necessary condition for the state-representation of a SISO linear system to be minimal, is:
All non-decreasing solutions of the recurrent equation, deduced from the state-representation by applying the Cayley-hamilton theorem, have the same asymptotic growth-rate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Références
G. COHEN, D. DUBOIS, J.P. QUADRAT, M. VIOT: Analyse du comportement périodique des sytstèmes de production par la théorie des Rapport I.N.R.I.A n° 191, Le Chesnay, 1983.
G. COHEN, D. DUBOIS, J.P. QUADRAT, M. VIOT: A linear-System-Theoretic view of Discrete-Event Processes. 22nd IEEE Conf. on Decision and Control, San Antonio, Texas, 1983.
G. COHEN, D. DUBOIS, J.P. QUADRAT, M. VIOT: A linear-System-Theoretic view of Discrete-Event Processesands its use for Performance evaluation in Manufacturing. IEEE Trans. on Aut. Control, Vol AC-30, n° 3, pp. 210–220.
G. COHEN, P. MOLLER, J.P. QUADRAT, M. VIOT: Une théorie linéaire des systèmes évènements discrets. Rapport I.N.R. I A n° 362, Le Ohesnay, Jernrier 1985.
G. COHEN, P. MOLLER, J.P. QUADRAT, M. VIOT: Limer System Theory for Discrete Event Systems. 23rd IEEE conf. on Decision and Control, las Vegas, Nevada, December 1984.
C.V. RAMAMOORTHY, O.S. HO: Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans. on Software Ena.. 6. n° 5, 1980.
G.W. BRAMS: Réseaux de PETRI, TOME 1: Théorie et analyse. MASSON, Paris, 1982. TOME 2: Théorie et Pratiaue. MASSON, Paris, 1983.
J.L. PETERSON: PETRI Net Theory and the modellino of systems. PRENTICE HALL, 1981.
P. CHRETIENNE: Les réseaux de PETRI temporisés. Thèse, Université Pierre et Marie Curie (Paris VI)1983.
R.A. CUNINOHAME-OREEN: Minimax Aoebra. Lecture Notes in Economics and Mathématical Systems,vol. 166, Springer Verlag, 1979.
H. OONDRAN, M. MINOUX: L’indépendance linéaire dans les didides. Bulletin de la clirection Etudes et Recherches. EDF, Série C, n°1, pp. 67–90.
D. ZEILBEROER: A combinatorial approach to matrix algebra. Discrete Mathematics 56. pp 61–72, NORTH-HOLLAND, 1985.
H. STRAUBINO: A combinatorial proof of the Cayley-Hamilton Theorem. Discrete Mathematics 43. pp. 273–279, NORTH-HOLLAND, 1983.
G.J. OLSDER, C. ROOS: Cramer and Cayley-Hamilton in the max-algebra. Delft University of technology Report re 85–30, 1985.
G.J. OLSDER: Some results on the minimal real ization of discrete-event dvnamic systems. Seventh international conference on enalysis and optimisation of systems. 1986 Antibes FRANCE.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Moller, P. (1986). Théorême de Cayley-Hamilton dans les dioïdes et application à l’étude des sytèmes à évènements discrets. In: Bensoussan, A., Lions, J.L. (eds) Analysis and Optimization of Systems. Lecture Notes in Control and Information Sciences, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0007559
Download citation
DOI: https://doi.org/10.1007/BFb0007559
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16729-7
Online ISBN: 978-3-540-39856-1
eBook Packages: Springer Book Archive