Title :
Using FSM equations in various applications
Author_Institution :
Tomsk State Univ., Russia
Abstract :
There are a number of publications when given a context and a specification, we are required to describe a behavior of a component of a discrete event system that combined with the context satisfies the specification. The problem is formalized as solving an equation over appropriate mathematical machines. In the paper, we discuss some problems that can be reduced to solving an equation over finite state machines.
Keywords :
circuit optimisation; discrete event simulation; discrete event systems; finite state machines; game theory; logic CAD; appropriate mathematical machines; digital circuit optimization; discrete event system; equivalence relation; finite state machine equations; game theory; logic synthesis; sequential composition; winning strategies; Automata; Control system synthesis; Digital circuits; Digital control; Discrete event systems; Equations; Magnetic heads; Mathematical model; Protocols; Tail;
Conference_Titel :
Modern Technique and Technologies, 2002. MTT 2002. Proceedings of the 8th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists
Print_ISBN :
0-7803-7373-1
DOI :
10.1109/SPCMTT.2002.1213785