Runtime supervision of PLC programs using discrete-event systems

Florian Göbe. Runtime supervision of PLC programs using discrete-event systems. PhD thesis, RWTH Aachen University, Germany, 2019. [doi]

Abstract

Abstract is missing.