论文信息 - Algebraic Methods for Discrete Event Systems - A Tutorial - 字舞流文

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

Johan Gunnarsson | J. Gunnarsson

[1] Johan Gunnarsson,et al. Synthesis of a Discrete System using Algebraic Methods , 1996 .

[2] J. Gunnarsson. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods , 1995 .

[3] Roger Germundsson,et al. Verification of a Large Discrete System using Algebric Methods , 1996 .

[4] Donal O'Shea,et al. Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

[5] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[6] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.

[7] J. Plantin. Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems , 1995 .

[8] Eugene D. Fabricius. Modern digital design and switching theory , 1989 .