Method for automatic translation of ladder logic to a SMT-based model checker in a network

Program randomization for cyber-attack resilient control in programmable logic controllers

Programmable controller

Method for executing sequential function charts as function blocks in a control system