Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas.
Daniil S. ChivilikhinVladimir I. UlyantsevAnatoly A. ShalytoPublished in: Autom. Remote. Control. (2016)
Keyphrases
- ant colony algorithm
- finite state machines
- global optimization
- ant colony
- improved ant colony algorithm
- mathematical model
- model checking
- finite state automata
- ant algorithm
- ant colony optimization
- ant colony optimization algorithm
- temporal information
- temporal constraints
- hidden markov models
- regular expressions
- plan execution
- ant colonies
- database
- distribution network
- fault diagnosis
- bp neural network
- genetic algorithm
- regular languages