#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.