Temporal Logic for Programmable Logic Controllers

DOI10.18255/1818-1015-2020-4-412-427OpenAlexW3115393822MaRDI QIDQ5060076FDOQ5060076

Authors:

Publication date: 17 January 2023

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

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

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

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)

Cites Work

• A really temporal logic
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model checking concurrent programs
• Title not available (Why is that?)
• PLC-automata: A new class of implementable real-time automata
• Introduction to model checking
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Control problems in a temporal logic framework
• Event-driven temporal logic pattern for control software requirements specification
• PLC-automata: A new class of implementable real-time automata
• Title not available (Why is that?)
• Mathematical analysis of stage-based programmable logic controller
• Automated Technology for Verification and Analysis
• Title not available (Why is that?)
• Leveraging Horn clause solving for compositional verification of PLC software
• Title not available (Why is that?)

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)