On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification

On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification

The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method. The linear temporal logic LTL is used as a language of specification of the prog...

Full description

Bibliographic Details
Main Authors: E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
Format: Article
Language:English
Published: Yaroslavl State University 2015-08-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
programmable logic controllers (plc)
construction and verification of plc-programs
ltl-specification
minsky counter machines
Online Access:https://www.mais-journal.ru/jour/article/view/269

Internet

https://www.mais-journal.ru/jour/article/view/269

Similar Items