@inproceedings{d9fd04b82ea6408b842a024ef26d63f0,
title = "Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm",
abstract = "Search-based software engineering aims to apply different search-based techniques to software engineering problems. Automation of software development is one such problem. In this paper we evaluate the permutation-based individual encoding for automatic reconstruction of measurement connections in a closed-loop control system using evolutionary algorithm and model checking. Using the permutation-based encoding greatly increases the difficulty of the considered problem, but makes it much closer to the real world scenarios. The results show that even the simple (1+1) evolutionary algorithm can successfully solve the realistic optimization problem with large search space size, although it struggles to find the optimal solution within reasonable time on the hardest problem instance. ",
keywords = "automatic model synthesis, evolutionary computation, model checking, search-based software engineering",
author = "Vladimir Mironovich and Maxim Buzdalov and Valeriy Vyatkin",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.",
year = "2019",
month = sep,
day = "10",
doi = "10.1109/ETFA.2019.8869114",
language = "English",
series = "IEEE International Conference on Emerging Technologies and Factory Automation, ETFA",
publisher = "IEEE Press",
pages = "1265--1268",
booktitle = "2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)",
address = "United States of America",
}