Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatic generation of function block applications using evolutionary algorithms: Initial explorations
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Computer Technologies Laboratory, ITMO University, Saint Petersburg.ORCID iD: 0000-0002-9315-9920
2017 (English)In: Proceedings: 2017 IEEE 15th International Conference on Industrial Informatics, INDIN 2017, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 700-705, article id 8104858Conference paper, Published paper (Refereed)
Abstract [en]

 Automation of software development process has been a concern for a long time. Genetic programming is a well-known technique which uses evolutionary computation to generate or improve a computer program for a specific task without human participation. We consider the method which applies model checking and evolutionary computation towards the automatic generation of function block control applications for industrial automation systems. As a first step, we evaluate the effectiveness of a fitness function based on the number of satisfied computation tree logic formulas in UPPAAL query language for a manually created UPPAAL model. Results show that such fitness function and the (1+1) evolutionary algorithm can be successfully applied to generation of the required data connections in the IEC 61499 function block application

Place, publisher, year, edition, pages
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. p. 700-705, article id 8104858
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-67633DOI: 10.1109/INDIN.2017.8104858ISI: 000427453200105Scopus ID: 2-s2.0-85041221760ISBN: 978-1-5386-0837-1 (electronic)OAI: oai:DiVA.org:ltu-67633DiVA, id: diva2:1182475
Conference
15th IEEE International Conference on Industrial Informatics, INDIN 2017, University of Applied Science Emden/LeerEmden, Germany, 24-26 July 2017
Available from: 2018-02-13 Created: 2018-02-13 Last updated: 2018-04-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf