DocumentCode :
1671645
Title :
Using FSM equations in various applications
Author :
Zharikova, S.V.
Author_Institution :
Tomsk State Univ., Russia
fYear :
2002
Firstpage :
164
Lastpage :
165
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/SPCMTT.2002.1213785
Filename :
1213785
Link To Document :
بازگشت