Search Results - "программируемые логические контроллеры"

Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…An approach to construction and verification of PLC-programs for discrete tasks is proposed. For the specification of a program behavior we use the linear-time…”
Get full text

Modeling, Specification and Construction of PLC-programs by E. V. Kuzmin, V. A. Sokolov

“…A new approach to construction of reliable discrete PLC-programs with timers — programming based on specification and verification — is proposed. Timers are…”
Get full text

Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…An approach to construction and verification of PLC LD-programs for discrete problems is proposed. For the specification of the program behavior, we use the…”
Get full text