abstract: Рассматриваются возможности использования темпоральных немонотонных логических систем на основе линейной временной логики с часами в задачах моделирования систем управления сложными динамическими объектами, работающих в режиме жесткого реального времени.
keywords: темпоральная логика, жесткое реальное время, система управления