Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms

Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

2 Sitaatiot (Scopus)

Abstrakti

Automation of software development is an actively researched problem. Search-based software engineering aims to apply various search-based techniques to software engineering problems. Recently we proposed the method for automatic generation of function block application using evolutionary algorithms and model checking and applied it to the problem of automatic generation of data connections in distributed control system. The aim of this paper is to further study this method on the problem of matching of input and output connections in a closed-loop plant-controller system. The computed fitness function distribution shows that the evaluated method successfully determines the correct input and output connections between the controller and the plant. Additionally, we evaluate how the composition of specification requirements in the fitness function affects the performance of the (1+1) evolutionary algorithm. We show that additional liveness formulas can improve the performance of the algorithm, while the introduction of safety formulas significantly decreases it.

AlkuperäiskieliEnglanti
OtsikkoProceedings or the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation, ETFA 2018
KustantajaIEEE
Sivut1043-1046
Sivumäärä4
Vuosikerta2018-September
ISBN (elektroninen)9781538671085
DOI - pysyväislinkit
TilaJulkaistu - 22 lokak. 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaIEEE International Conference on Emerging Technologies and Factory Automation - Torino, Italia
Kesto: 4 syysk. 20187 syysk. 2018
Konferenssinumero: 23

Julkaisusarja

NimiProceedings IEEE International Conference on Emerging Technologies and Factory Automation
KustantajaIEEE
ISSN (painettu)1946-0740
ISSN (elektroninen)2379-9560

Conference

ConferenceIEEE International Conference on Emerging Technologies and Factory Automation
LyhennettäETFA
Maa/AlueItalia
KaupunkiTorino
Ajanjakso04/09/201807/09/2018

Sormenjälki

Sukella tutkimusaiheisiin 'Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä