N-structures applied to
finite state machines. IAENG International Journal of Applied Mathematics, 43(3)(2013), 233-237.
In the second use case, a designer must choose between two implementations of a
finite state machine. Area and power estimates were obtained using PAElib for the two implementations.
A step-by-step method is proposed to translate the cause-effect tables in
finite state machines, which are then submitted to formal verification in the UPPAAL model checking tool.
Grimm, "TR-FSM: Transition-based Reconfigurable
finite state machine," ACM Transactions on Reconfigurable Technology and Systems (TRETS), vol.
Abstract
finite state machine approach to digital event reconstruction.
First, we can simply list all transitions of a
finite state machine (cf.
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, and Cheng Hung Chen propose a model to permit invocation sequences of web services using a
finite state machine. Each state of execution is assigned an aggregated reliability to measure the probability that the given state will lead to successful execution in the context where each Web service may fail with some probability.
At a low level,
finite state machines are relatively simple and easy to understand, as shown above.