Runtime Enforcement of Programmable Logic Controllers

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

With the advent of Industry 4.0, industrial facilities and critical infrastructures are transforming into an ecosystem of heterogeneous physical and cyber components, such as progr…