Temporal Logic for Programmable Logic Controllers

DOI10.18255/1818-1015-2020-4-412-427MaRDI QIDQ5060076zbMATH OpenOpenAlexFDO

Authors

Publication date 17 January 2023

Published in Modeling and Analysis of Information Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL http://mathnet.ru/eng/mais725

zbMATH Keywords

transition systemsformal verificationtemporal logicsprogrammable logic controllers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 2021573
• scientific article; zbMATH DE number 1836374
• Control problems in a temporal logic framework
• scientific article; zbMATH DE number 1755142
• scientific article; zbMATH DE number 1670553

Cites work

• scientific article; zbMATH DE number 1670553 (Why is no real title available?)
• scientific article; zbMATH DE number 1836373 (Why is no real title available?)
• A really temporal logic
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Introduction to model checking
• Model checking concurrent programs
• PLC-automata: A new class of implementable real-time automata

Cited in

(13)

• scientific article; zbMATH DE number 1670553 (Why is no real title available?)
• Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems
• scientific article; zbMATH DE number 2021573 (Why is no real title available?)
• Control problems in a temporal logic framework
• scientific article; zbMATH DE number 4119604 (Why is no real title available?)
• Leveraging Horn clause solving for compositional verification of PLC software
• scientific article; zbMATH DE number 1836373 (Why is no real title available?)
• scientific article; zbMATH DE number 1670577 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1755142 (Why is no real title available?)
• Event-driven temporal logic pattern for control software requirements specification
• PLC-automata: A new class of implementable real-time automata
• Mathematical analysis of stage-based programmable logic controller

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Temporal Logic for Programmable Logic Controllers

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