Directory Controller Verification Based on Genetic Algorithm.
Li LuoLi ZhouHailiang ZhouQuanyou FengGuoteng PanPublished in: ACA (2020)
Keyphrases
- genetic algorithm
- control strategies
- neural network
- control system
- fitness function
- multi objective
- model checking
- control method
- real time
- control strategy
- controller design
- control architecture
- face verification
- adaptive control
- control algorithm
- dynamic model
- hybrid algorithm
- asynchronous circuits
- evolutionary algorithm
- formal verification
- population size
- fuzzy controller
- crossover operator
- fuzzy logic
- metaheuristic
- genetic operators
- tabu search
- signature verification
- simulated annealing
- control law
- genetic algorithm ga
- hierarchical structure
- optimal control
- evolutionary computation
- closed loop