Using temporary logics and model checkers for dynamic control abnormal deviations of the system

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.