HARD: A hypercube embedding algorithm for state assignment of finite state machines.
Imtiaz AhmadPublished in: Comput. Electr. Eng. (2003)
Keyphrases
- finite state machines
- learning algorithm
- dynamic programming
- preprocessing
- np hard
- computational complexity
- detection algorithm
- optimal solution
- optimization algorithm
- worst case
- finite state automata
- expectation maximization
- simulated annealing
- particle swarm optimization
- state space
- domain knowledge
- k means
- matching algorithm
- model checking
- neural network
- parallel computation
- databases