Synthesis-Based Variability Control: Correctness by Construction.

Anna-Lena Lamprecht Tiziana Margaria Ina Schaefer Bernhard Steffen

Published in: FMCO (2011)

Keyphrases

control system
computer vision
controller synthesis
program synthesis
decision making
control theory
control problems
fuzzy logic
process control
control strategy
life cycle
control strategies
control method
optimal control
data sets
evolutionary algorithm
website
machine learning
data mining