IEEE Transactions on Automatic Control, Vol.40, No.12, 2014-2025, 1995
Performance Evaluation of (Max,+) Automata
Automata with multiplicities over the (mau,+) semiring can be used to represent the behavior of timed discrete-event systems, This formalism, which extends both conventional automata and (mau,+) linear representations, covers a class of systems with synchronization phenomena and variable schedules, Performance evaluation is considered in the worst, mean, and optimal cases. A simple algebraic reduction is provided for the worst case, The last two cases are solved for the subclass of deterministic series (recognized by deterministic automata). Deterministic series frequently arise due to the finiteness properties of (max,+) linear projective semigroups. The mean performance is given by the Kolmogorov equation of a Markov chain. The optimal performance is given by a Hamilton-Jacobi-Bellman equation.