The modeling and stability problem for a communication channel system with transmitter breakdown

In this work, the modeling and stability problem for a communication channel system with transmitter breakdown is considered. Timed Petri nets is the mathematical and graphical modeling technique utilized. Lyapunov stability theory provides the required tools needed to aboard the stability problem. Employing Lyapunov methods, a sufficient condition for stabilization is obtained. It is shown that it is possible to restrict the communication channel system with transmitter breakdown state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. 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.