Modeling a Consistent Behavior of PLC-Sensors
The article extends the cycle of papers dedicated to programming and verificatoin of PLC-programs by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs by the model checking method.The model checking method needs to construct a finite model of a PLC pr...
Main Authors: | E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2014-08-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/100 |
Similar Items
-
On Construction and Verification of PLC-Programs
by: E. V. Kuzmin, et al.
Published: (2015-02-01) -
On Construction and Verification of PLC-Programs
by: E. V. Kuzmin, et al.
Published: (2012-01-01) -
On Verification of PLC-Programs Written in the LD-Language
by: E. V. Kuzmin, et al.
Published: (2015-02-01) -
On Verification of PLC-Programs Written in the LD-Language
by: E. V. Kuzmin, et al.
Published: (2012-01-01) -
Modeling, Specification and Construction of PLC-programs
by: E. V. Kuzmin, et al.
Published: (2013-04-01)