Algebraic Methods for Discrete Event Systems - A Tutorial
Johan Gunnarsson · 1996
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 diagrams, are described. These tools compute canonical representations for solutions or behaviors. 1 Introduction The interest in formal tools that can deal with complex DEDS is greater then ever in industry. The interest is driven by real world problems and real world costs rather then purely academic interest. Today there are several methods and approaches for formal modeling, verification and synthesis of discrete event dynamic systems (DEDS). Still the complexity of methods and tools makes it hard to apply to real problems. In this paper 1 we give a tutorial on symbolic algebraic methods based on...