Linear Hybrid System Falsification through Local Search.
Houssam AbbasGeorgios FainekosPublished in: ATVA (2011)
Keyphrases
- search algorithm
- simulated annealing
- artificial intelligence
- global search
- linear model
- tabu search
- search space
- genetic algorithm
- artificial neural networks
- computational intelligence
- multiscale
- linear programming
- image processing
- combinatorial optimization
- search strategies
- information systems
- simple linear
- linear complexity
- neighborhood search