scientific article; zbMATH DE number 1836373

MaRDI QIDQ4782045zbMATH OpenFDO

Authors Angelika Mader

Publication date 2 November 2003

zbMATH Keywords

verificationmodellingtimersPLCcyclic operation modereal time modelsscan cycle

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Temporal Logic for Programmable Logic Controllers
• Modeling and control of closed loop networked PLC-systems. Modellierung und Regelung von vernetzten SPS-Regelungssystemen
• PLC-automata: A new class of implementable real-time automata
• Component-based formal modeling of PLC systems
• scientific article; zbMATH DE number 1836374

Cited in

(5)

• Design of a PLC control program for a batch plant VHS case study 1
• On the Model Checking Problem for Some Extension of CTL*
• Modeling and control of closed loop networked PLC-systems. Modellierung und Regelung von vernetzten SPS-Regelungssystemen
• Temporal Logic for Programmable Logic Controllers
• Event-driven temporal logic pattern for control software requirements specification

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 Q4782045)