19476

Автор(ы): 

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ
Вергер А. Е. (?, Лаборатория 31)

Автор(ов): 

2

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

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

Доклад

Название: 

Интервальная динамическая логика

ISBN/ISSN: 

ISBN 978-5-91450-100-3

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

  • 3-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

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

  • Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2012

Страницы: 

409-415
Аннотация
Рассмотрена новая динамическая логика, названная интервальной и предназначенная для представления и вывода пропозиционных свойств дискретных динамических объектов. Приведен пример описания функционирования устройства, заданного временной диаграммой. Показано, что интервальная динамическая логика имеет эффективные механизмы вывода.

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

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