On the global optimization of checking sequences for finite state machine implementations.
Monika Kapus-KolarPublished in: Microprocess. Microsystems (2014)
Keyphrases
- global optimization
- finite state machines
- hidden markov models
- model checking
- particle swarm optimization
- ant colony algorithm
- state machine
- finite state automata
- pso algorithm
- evolutionary programming
- inverse problems
- deterministic annealing
- global optima
- global search
- binary particle swarm optimization
- image completion
- constrained global optimization
- digital circuits
- regular expressions
- medical devices