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