19505

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Применение интервальной динамической логики для мониторинга крупномасштабных процессов

ISBN/ISSN: 

ISBN 978-5-91450-115-7

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

358-363
Аннотация
Рассмотрен класс задач, которые возникают при мониторинге процессов, описываемых дискретными и аналоговыми сигналами. Показано, что для предметных областей, изменяющихся во времени, плохо применимыми оказались и классические и неклассические логики. Последнее связано с тем, что в этих логиках используется статическая концепция времени, в которой моменты времени отождествляются с числами, на множестве которых задан естественный (линейный) порядок, интерпретируемый как отношение «раньше». Известные динамические логики оказались очень сложными, так как для интерпретации формул используют модели Крипке, строящиеся на понятиях состояния процесса и траектории его изменения. Предсталена временная логика, реализующая динамическую концепцию времени и сохраняющая интервальное его описание.

Библиографическая ссылка: 

Выхованец В.С., Вергер А.Е. Применение интервальной динамической логики для мониторинга крупномасштабных процессов / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 358-363.