Automated design of self-adaptive software with control-theoretical formal guarantees.

Antonio Filieri Henry Hoffmann Martina Maggio

Published in: ICSE (2014)

Keyphrases

automated design
fuzzy pid control
engineering design
software systems
control system
control parameters
artificial immune algorithm
evolutionary design
computer systems
security protocols
real time
neural network
real world
optimal solution
data streams
artificial neural networks