Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences.
Prabhas ChongstitvatanaChatchawit AporntewanPublished in: Evolvable Hardware (1999)
Keyphrases
- input output
- finite state machines
- state transition
- hidden markov models
- internal states
- noise cancellation
- fuzzy modeling
- fuzzy model
- functional decomposition
- fuzzy neural network
- model checking
- neural network
- regular expressions
- fuzzy inference system
- nonlinear functions
- building blocks
- digital circuits
- state machine
- finite state automata
- single phase
- ibm zenterprise