Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.
Zhenya ZhangPaolo ArcainiIchiro HasuoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- equality constraints
- search space
- equality and inequality constraints
- optimal solution
- quadratic programming problems
- linear constraints
- decomposition algorithm
- nonlinear programming
- constrained optimization problems
- inequality constraints
- karush kuhn tucker
- convex quadratic optimization
- complex valued
- search algorithm
- optimization problems
- branch and bound
- particle swarm optimization
- genetic programming
- artificial neural networks
- constrained optimization
- finite number
- multi objective