|
Avtomatika i Telemekhanika, 2012, Issue 9, Pages 124–140
(Mi at4065)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Technical Tools in Control
Verification of a technical system model with linear temporal logic
A. N. Nepeivoda Ailamazyan Program Systems Institute, Russian Academy of Sciences, Pereslavl-Zalesskii, Russia
Abstract:
We consider the verification problem for an electromechanical device with a variable number of connectors and solve it with the modal logic LTL (Linear Temporal Logic). In the course of the analysis, we prove continuity and unambiguity theorems for the device operation and study the restrictions necessary in order for the device operation algorithm to be completely correct.
Citation:
A. N. Nepeivoda, “Verification of a technical system model with linear temporal logic”, Avtomat. i Telemekh., 2012, no. 9, 124–140; Autom. Remote Control, 73:9 (2012), 1539–1552
Linking options:
https://www.mathnet.ru/eng/at4065 https://www.mathnet.ru/eng/at/y2012/i9/p124
|
Statistics & downloads: |
Abstract page: | 271 | Full-text PDF : | 62 | References: | 40 | First page: | 17 |
|