Geodesic
Using temporary logics and model checkers for dynamic control abnormal deviations of the system
Prikladnaâ diskretnaâ matematika, no. 1 (2010), pp. 37-42 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We propose to apply the temporary logics and model checkers for dynamic control of “abnormal” deviations of a system by approximating its “normal” features with the temporary logic formulas. Also, we propose an exhaustive blind search algorithm for discovering regularities which can be expressed with the help of the temporal logics.
Keywords: temporary logics, model checkers, control of system deviations, blind search of regularities. 
@article{PDM_2010_1_a2,
     author = {S. E. Prokopyev},
     title = {Using temporary logics and model checkers for dynamic control abnormal deviations of the system},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {37--42},
     year = {2010},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_1_a2/}
}
TY  - JOUR
AU  - S. E. Prokopyev
TI  - Using temporary logics and model checkers for dynamic control abnormal deviations of the system
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 37
EP  - 42
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_1_a2/
LA  - ru
ID  - PDM_2010_1_a2
ER  - 
%0 Journal Article
%A S. E. Prokopyev
%T Using temporary logics and model checkers for dynamic control abnormal deviations of the system
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 37-42
%N 1
%U http://geodesic.mathdoc.fr/item/PDM_2010_1_a2/
%G ru
%F PDM_2010_1_a2
S. E. Prokopyev. Using temporary logics and model checkers for dynamic control abnormal deviations of the system. Prikladnaâ diskretnaâ matematika, no. 1 (2010), pp. 37-42. http://geodesic.mathdoc.fr/item/PDM_2010_1_a2/

[1] Klark E. M., Gramberg O., Peled D., Verifikatsiya modelei programm. Model Checking, per. s angl., ed. R. Smelyanskii, MTsNMO, M., 2002, 416 pp.