Browsing by Author "Cordonnier, Anthony"

Now showing items 1-2 of 2

Title: Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver Author(s): Chivilikhin, Daniil; Patil, Sandeep; Chukharev, Konstantin; Cordonnier, Anthony; Vyatkin, Valeriy Date: 2020-12 Series: IEEE Transactions on Industrial Informatics
Title: Towards automatic state machine reconstruction from legacy PLC using data collection Author(s): Chivilikhin, Daniil; Patil, Sandeep; Cordonnier, Anthony; Vyatkin, Valeriy Date: 2019-07-01 Series: Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019, IEEE International Conference on Industrial Informatics