Algebraic Methods for Discrete Event Systems - A Tutorial

Discrete event dynamic systems (DEDS) are treated in a mathematical framework using algebra and polynomials over finite fields. In this framework DEDS interacts with the environment by signals rather than events. The polynomial framework give symbolic representation of a DEDS behavior and can be used for modeling, synthesis and verification. Two tools, Gröbner basis and binary decision diagrams, are described. These tools compute canonical representations for solutions or behaviors.