Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms

Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

Crynodeb

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.
Iaith wreiddiolSaesneg
Teitl2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
CyhoeddwrIEEE Press
Tudalennau1043-1046
Nifer y tudalennau4
ISBN (Electronig)978-1-5386-7108-5
Dynodwyr Gwrthrych Digidol (DOIs)
StatwsCyhoeddwyd - 04 Medi 2018
Cyhoeddwyd yn allanolIe
DigwyddiadIEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) - Turin, Yr Eidal
Hyd: 04 Medi 201807 Medi 2018

Cynhadledd

CynhadleddIEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
Gwlad/TiriogaethYr Eidal
DinasTurin
Cyfnod04 Medi 201807 Medi 2018

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn