|
Автоматика и телемеханика, 1995, выпуск 5, страницы 124–137
(Mi at3649)
|
|
|
|
Автоматы
Дискретно-непрерывные системы: алгоритмический аспект
Е. А. Асаринa, О. Малерb a Институт проблем передачи информации РАН, г. Москва
b SPECTRE-VERIMAG, Франция
Аннотация:
Работа посвящается связи между дискретными и непрерывными системами. Обсуждается вопрос, когда непрерывная система может служить моделью дискретной. Особое внимание уделяется динамическим системам, задаваемым дифференциальными уравнениями с кусочно-постоянными правыми частями (что типично для непрерывных систем с дискретными регуляторами), – КПС. Показывается, что любую машину Тьюринга можно смоделировать при помощи КПС размерности 3. С другой стороны, в размерности 2 невозможно смоделировать функционирование некоторых конечных автоматов. Во второй части обсуждаются алгоритмические вопросы, связанные с КПС. В [6] был получен алгоритм, позволяющий полностью исследовать поведение КПС на плоскости, в частности решать для них задачу достижимости. Из приведенных в первой части статьи результатов о моделировании следует алгоритмическая неразрешимость этой задачи для трехмерных КПС.
Поступила в редакцию: 15.02.1994
Образец цитирования:
Е. А. Асарин, О. Малер, “Дискретно-непрерывные системы: алгоритмический аспект”, Автомат. и телемех., 1995, № 5, 124–137; Autom. Remote Control, 56:5 (1995), 715–726
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at3649 https://www.mathnet.ru/rus/at/y1995/i5/p124
|
Статистика просмотров: |
Страница аннотации: | 135 | PDF полного текста: | 65 | Первая страница: | 2 |
|