Learning Centre

Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Chivilikhin, Daniil
dc.contributor.author Patil, Sandeep
dc.contributor.author Chukharev, Konstantin
dc.contributor.author Cordonnier, Anthony
dc.contributor.author Vyatkin, Valeriy
dc.date.accessioned 2020-06-25T08:34:49Z
dc.date.available 2020-06-25T08:34:49Z
dc.date.issued 2020-12
dc.identifier.citation Chivilikhin , D , Patil , S , Chukharev , K , Cordonnier , A & Vyatkin , V 2020 , ' Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver ' , IEEE Transactions on Industrial Informatics , vol. 16 , no. 12 , 9086061 , pp. 7821-7831 . https://doi.org/10.1109/TII.2020.2992235 en
dc.identifier.issn 1941-0050
dc.identifier.other PURE UUID: 02f412d1-2337-4cd3-8865-ef7a7c471ef4
dc.identifier.other PURE ITEMURL: https://research.aalto.fi/en/publications/02f412d1-2337-4cd3-8865-ef7a7c471ef4
dc.identifier.other PURE LINK: http://www.scopus.com/inward/record.url?scp=85092106131&partnerID=8YFLogxK
dc.identifier.other PURE FILEURL: https://research.aalto.fi/files/43311139/ELEC_Chivilikhin_etal_Automatic_State_Machine_IEEETraIndInf_2020_authoracceptedmanuscript.pdf
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/45060
dc.description.abstract Nowadays an increasing number of industries are considering moving toward being Industry 4.0 compliant. But this transition is not straightforward: Transfer to new system can lead to significant production downtime, resulting in delays and cost overruns. The best way is systematic seamless transition to newer and advanced technologies that Industry 4.0 offers. This article proposes a framework based on automatic synthesis methods that learns the behavior of an existing legacy programmable logic controller (PLC) and generates state machines that can be incorporated into IEC 61499 function blocks. Proposed algorithms are based on Boolean satisfiability (SAT) solvers. The first algorithm accepts a set of noisy PLC traces and produces a set of candidate state machines that satisfy the traces. The second algorithm accepts error-free traces and synthesizes a modular controller that may be distributed across several physical devices. The toolchain architecture is exemplified on a laboratory scale Festo mechatronic system. en
dc.format.extent 11
dc.format.mimetype application/pdf
dc.language.iso en en
dc.relation.ispartofseries IEEE Transactions on Industrial Informatics en
dc.rights openAccess en
dc.title Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver en
dc.type A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä fi
dc.description.version Peer reviewed en
dc.contributor.department St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO)
dc.contributor.department Luleå University of Technology
dc.contributor.department Enedis
dc.contributor.department Information Technologies in Industrial Automation
dc.contributor.department Department of Electrical Engineering and Automation en
dc.identifier.urn URN:NBN:fi:aalto-202006254017
dc.identifier.doi 10.1109/TII.2020.2992235
dc.type.version acceptedVersion

Files in this item

Files Size Format View

There are no open access files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication