A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.
Zhengfeng YangChao HuangXin ChenWang LinZhiming LiuPublished in: FM (2016)
Keyphrases
- hybrid systems
- linear programming relaxation
- knapsack problem
- linear programming
- lower bound
- black box
- branch and bound
- column generation
- intelligent systems
- computational intelligence
- neural network
- meta learning
- integer programming
- mixed integer programming
- soft computing
- discrete event
- artificial intelligence
- feasible solution
- integer program
- valid inequalities
- cutting plane
- learning tasks
- linear program
- search algorithm
- inductive learning
- optimization problems
- dynamic programming
- lower and upper bounds
- search space
- machine learning