Логический аппарат для анализа систем управления: примеры и применение