Reconstruction of function block controllers based on test scenarios and verification

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Abstract

The paper addresses the problem of reverse engineering a function block (FB) in situations when its source code is either not available or is too complex to understand. The proposed approach builds up on a recent method for reconstructing FBs based on testing and a search-based optimization algorithm. In our work the method is augmented with candidate solution verification using the NuSMV model checker. Verification is done in a closed-loop way using a manually constructed surrogate model of the plant and environment.

Original languageEnglish
Title of host publicationProceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016
PublisherIEEE
Pages646-651
Number of pages6
ISBN (Electronic)9781509028702
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Poitiers, France
Duration: 19 Jul 201621 Jul 2016
Conference number: 14
https://ieee-indin2016.sciencesconf.org/

Publication series

NameIEEE International Conference on Industrial Informatics
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
CountryFrance
CityPoitiers
Period19/07/201621/07/2016
Internet address

Fingerprint

Dive into the research topics of 'Reconstruction of function block controllers based on test scenarios and verification'. Together they form a unique fingerprint.

Cite this