#Number
TR-PDS-1998-001
#Title
A (Max,+) Algebra for Periodic Timed Discrete Event Systems
#Author
Guillaume Brat
Vijay K. Garg
#Abstract
In this paper, we define a (max,+) algebra of signals
for the evaluation of timing behavior of discrete event
systems modeled by timed event graphs. We restrict our
work to infinite, periodic sequences for which we can
compute finite representations called signals. This paper
describes and analyzes the algorithms used to implement
our algebra. This effort resulted in the creation of an
automated tool that can compute supremal controllers for
timed discrete event systems. Our work differs from
Gaubert's (max,+) algebra in the definition of the delay
operation. We show that our pointwise delay is more
expressive than Gaubert's delay, which is defined as
the sup-convolution of two signals.