Construction of CFC-programs by LTL-specification

This article continues a cycle of papers, which describe an approach to construction and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC-program correctness analysis by the model checking method. For the specification of the program behavior...

全面介绍

书目详细资料

Principais autores:	D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
格式:	Artigo
语言:	Inglês
出版:	Yaroslavl State University 2016-04-01
丛编:	Моделирование и анализ информационных систем
主题:	programmable logic controllers (plc) construction and verification of plc-programs ltl-specification cfc-diagrams
在线阅读:	https://www.mais-journal.ru/jour/article/view/327
标签:	添加标签 没有标签, 成为第一个标记此记录!