Темпоральные немонотонные логические системы в задачах моделирования систем управления сложными динамическими объектами
Ключевые слова:
темпоральная логика, жёсткое реальное время, система управленияАннотация
Рассматриваются возможности использования темпоральных немонотонных логических систем на основе линейной временной логики с часами в задачах моделирования систем управления сложными динамическими объектами, работающих в режиме жесткого реального времени.
Опубликован
2010-04-19
Как цитировать
Васильевский, А. С., & Лапшин, К. В. (2010). Темпоральные немонотонные логические системы в задачах моделирования систем управления сложными динамическими объектами. Информационно-управляющие системы, (2), 15-20. извлечено от https://i-us.ru/index.php/ius/article/view/14162
Выпуск
Раздел
Моделирование систем и процессов