By Topic

Performance evaluation of (max,+) automata

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Gaubert, S. ; Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France

Automata with multiplicities over the (max,+) semiring can be used to represent the behavior of timed discrete-event systems. This formalism, which extends both conventional automata and (max,+) 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

Published in:

Automatic Control, IEEE Transactions on  (Volume:40 ,  Issue: 12 )