The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra
Abstract: A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
Cite this paper: Konigsberg, Z. (2015) The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra. Journal of Applied Mathematics and Physics, 3, 839-845. doi: 10.4236/jamp.2015.37104.
References

[1]   Murata, T. (1989) Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE, 77, 541-580. http://dx.doi.org/10.1109/5.24143

[2]   Retchkiman, Z. (2005) Stability Theory for a Class of Dynamical Systems Modeled with Petri Nets. International Journal of Hybrid Systems, Vol. 4, No. 1.

[3]   Lakshmikantham, V., Matrosov, V.M. and Sivasundaram, S. (1991) Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems. Kluwer Academic Publ., Dordrecht.

[4]   Retchkiman, Z. (1999) From Stability to the Stabilization problem of Discrete event Systems modeled by Petri Nets. American Control Conference ’99, San Diego, Cal, June 1999.

[5]   Heidergott, B., Olsder, G.J. and van der Woude, J. (2006) Max Plus at Work. Princeton University Press.

[6]   Baccelli, F., Cohen, G., Olsder, G.J. and Quadrat, J.P. (2001) Synchronization and Linearity. Web-Edition.

Top