Semantic characterization of programmable logic controller programs

Semantic characterization of programmable logic controller programs

0.00 Avg rating0 Votes
Article ID: iaor20121766
Volume: 55
Issue: 5-6
Start Page Number: 1819
End Page Number: 1824
Publication Date: Mar 2012
Journal: Mathematical and Computer Modelling
Authors: , , ,
Keywords: artificial intelligence
Abstract:

PLC is widely used in the field of automatic control. To use formal methods to verify the correctness of PLC programs, semantic characterization of PLC programs are needed. Based on the extended λ equ1‐calculus definition, this paper presents a novel semantic modeling of PLC programs. The results lay the solid underpinnings for theorem proving and modeling checking for PLC systems.

Reviews

Required fields are marked *. Your email address will not be published.