scientific article; zbMATH DE number 1836375

MaRDI QIDQ4782048zbMATH OpenFDO

Authors Sébastien Bornot, Ralf Huuck, Ben Lukoschus, Yassine Lakhnech

Publication date 24 April 2003

zbMATH Keywords

programmable logic controllerssequential function charts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Proving sequential function chart programs using timed automata
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• scientific article; zbMATH DE number 1158228
• Fundamental Approaches to Software Engineering
• Modeling and proving Grafcets with transition systems

Cited in

(3)

• Formal modelling of IEC 61499 function blocks with integer-valued data types
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• The Grafpol programming language for programmable logic controllers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4782048)