Abstract Programmable Logic Controllers (PLC) are widespread in the manufacturing and
processing industries to realize sequential procedures and to avoid safety-critical states. For …

Abstract Programmable Logic Controllers (PLC) are widely used as device controllers for
assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) …

Programmable logic controllers (PLCs) occupy a big share in automation control. Their
programming languages are, however, born out of historical needs and do not comply to …

Abstract Programmable Logic Controllers (PLC) are widely used in embedded systems for
the industrial automation domain. We propose a formal semantics of two languages defined …

Sequential function charts (SFCs) are among the standard languages for programmable
logic controllers (PLCs) ubiquitous in automated manufacturing and production systems …

Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

Programmable logic controllers (PLCs) are embedded computers widely used in industrial
control systems. Ensuring that a PLC software complies with its specification is a challenging …

This paper presents the core concepts for PLC-statecharts–an adaptation of UML-
statecharts–which can be used as a visual programming language for PLCs. They combine …

Abstract Programmable Logic Controllers (PLCs) are widely used in the industry for various
industrial automation tasks. Besides non-safety applications, the usage of PLCs became …

Verification of critical software is a high priority but a challenging task for industrial control
systems. Model checking appears to be an appropriate approach for this purpose. However …