Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm

被引：0

作者：

Mironovich, Vladimir ^{[1
,2
]}

Buzdalov, Maxim ^{[1
]}

Vyatkin, Valeriy ^{[1
,2
,3
]}

机构：

[1] ITMO Univ, Comp Technol Lab, St Petersburg, Russia

[2] Aalto Univ, Dept Elect Engn & Automat, Espoo, Finland

[3] Lulea Tekn Univ, Dept Comp Sci Comp & Space Engn, Lulea, Sweden

来源：

2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2019年

关键词：

search-basedsoftware engineering; evolutionary computation; model checking; automatic model synthesis;

D O I：

10.1109/etfa.2019.8869114

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1265 / 1268

页数：4

共 15 条

[1]

Back T., 2000, EVOLUTIONARY COMPUTA, VBack, T, P237

[2]

Back Thomas, 1996, Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms

[3]

Bierwirth Christian., 1996, Parallel Problem Solving from Nature, P310, DOI DOI 10.1007/3-540-61723-X_995

[4]

Burnim Jacob, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, P443, DOI 10.1109/ASE.2008.69

[5] Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties [J].

Buzhinsky, Igor ;

Vyatkin, Valeriy .

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2017, 13 (04) :1521-1530

[6]

Buzhinsky I, 2015, IEEE INTL CONF IND I, P1213, DOI 10.1109/INDIN.2015.7281908

[7]

Clarke J., 2003, IEE Proceedings-Software, V150, P161, DOI 10.1049/ip-sen:20030559

[8]

Hansel Joachim, 2011, Proceedings 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), P170, DOI 10.1109/ICST.2011.37

[9] Search-Based Software Engineering: Trends, Techniques and Applications [J].

Harman, Mark ;

Mansouri, S. Afshin ;

Zhang, Yuanyuan .

ACM COMPUTING SURVEYS, 2012, 45 (01)

[10] AUTOMATING THE SOFTWARE-DEVELOPMENT PROCESS [J].

HOFFNAGLE, GF ;

BEREGI, WE .

IBM SYSTEMS JOURNAL, 1985, 24 (02) :102-120

← 1 2 →