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 ¨ obner basis and binary decision dia- grams, are described. These tools compute canoni- cal representations for solutions or behaviors.