Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver.
Daniil ChivilikhinSandeep PatilKonstantin ChukharevAnthony CordonnierValeriy VyatkinPublished in: IEEE Trans. Ind. Informatics (2020)
Keyphrases
- state machine
- sat solvers
- data collection
- state machines
- sat solving
- programmable logic controller
- orders of magnitude
- sat problem
- fault tolerant
- search space
- max sat
- hardware and software
- boolean satisfiability
- finite state machines
- constraint satisfaction
- data analysis
- sat instances
- search strategies
- reinforcement learning