PLC-automata: A new class of implementable real-time automata

DOI10.1016/S0304-3975(00)00089-XzbMATH Open0954.68085OpenAlexW2694136767MaRDI QIDQ1589587FDOQ1589587

Authors: Henning Dierks 

Publication date: 12 December 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00089-x

Recommendations

• scientific article; zbMATH DE number 2050928
• A theory of timed automata
• Temporal Logic for Programmable Logic Controllers
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2102690

zbMATH Keywords

real timeformal methodsspecificationduration calculusPLC

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Statecharts: a visual formalism for complex systems
• A theory of timed automata
• A calculus of durations
• Title not available (Why is that?)
• Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
• Formal development of reactive systems. Case study production cell
• Duration calculus: Logical foundations
• Title not available (Why is that?)
• PLC-automata: A new class of implementable real-time automata
• Title not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• Robust safety of timed automata
• Shrinking timed automata
• Axiomatisation and decidability of multi-dimensional Duration Calculus
• Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems
• Automata-based analysis of stage suspended boom systems
• PLC-automata: A new class of implementable real-time automata
• Model Checking Real-Time Systems
• Temporal Logic for Programmable Logic Controllers

Uses Software

• Kronos
• Uppaal

This page was built for publication: PLC-automata: A new class of implementable real-time automata

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