Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver - researchr publication

researchr

You are not signed in
Sign in
Sign up

Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin. Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Industrial Informatics, 16(12):7821-7831, 2020. [doi]

Abstract is missing.

runs on WebDSL