Translating a large subset of stateflow to hybrid CSP with code optimization.

Panhua Guo Bohua Zhan Xiong Xu Shuling Wang Wenhui Sun

Published in: J. Syst. Archit. (2022)

Keyphrases

optimization problems
constraint satisfaction problems
global optimization
optimization process
optimization algorithm
database
genetic algorithm
data sets
objective function
lower bound
constraint propagation
code generation
optimization strategies
constraint graph
weighted constraint satisfaction