USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 1(7).

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
Download file
Counter downloads: 64
  • Title USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM
  • Headline USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM
  • Publesher Tomask State UniversityTomsk State University
  • Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 1(7)
  • Date:
  • DOI
Keywords
blind search of regularities, control of system deviations, model checkers, temporary logics, слепой поиск закономерностей, контроль отклонений системы, временные логики, верификаторы моделей
Authors
References
 USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 1(7).
USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 1(7).