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
Tomsk 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).
Download full-text version
Download fileCounter downloads: 180