Сениченков Ю.Б. Численное моделирование гибридных систем

СПб.: Политехнический университет, 2004. — 206 c. — ISBN: 5 -7422 – 0730 - 1.В монографии описывается структура численной библиотеки семейства графических оболочек Model Vision, основой графического языка которых служат открытые гибридные автоматы: иерархические, событийно-управляемые системы переменной структуры.Введение.
Литература.
Гибридные системы как обобщение классических динамических систем.
Гибридный автомат как обобщение таймированного автомата.
Гибридный автомат как обобщение классических динамических систем.
Современные подходы к компьютерному моделированию сложных динамических систем.
Литература.
Композиция открытых гибридных автоматов.
Предпосылки.
Изолированный примитивный гибридный автомат.
Траектории примитивного гибридного автомата.
Вырожденное поведение. Автомат Зенона.
События, сигналы.
Примитивный гибридный автомат с несколькими переходами.
Гибридный автомат с несколькими длительными состояниями.
Композиция гибридных автоматов.
Открытый примитивный гибридный автомат.
Блок-схемы открытых автоматов.
Открытый гибридный автомат с контактами.
Частичная синхронизация гибридных автоматов.
О практической ценности примитивных автоматов.
Литература.
Формирование итоговой системы уравнений и продвижение модельного времени.
Структурный анализ уравнений.
Структура анализатора в пакете MVS.
Поиск точки переключения.
Построение графиков функций.
Литература.
Библиотека пакета MVS.
Организация библиотеки.
Структура решателей.
Автоматические решатели.
Решатели для задач конкретного типа.
Решатели для отладки.
Системы нелинейных алгебраических уравнений.
Программы для решения нелинейных уравнений.
Программа автомат.
Дифференциальные уравнения.
Программы для решения нежестких уравнений.
Программы для решения жестких уравнений.
Программа автомат.
Отладочные программы.
Алгебро-дифференциальные уравнения.
Явный способ.
Неявный способ.
Программа - автомат для решения алгебро-дифференциальных уравнений.
Об использовании тождеств при построении тестовых примеров.
Проверочные примеры систем нелинейных алгебраических уравнений.
Системы линейных уравнений для оценки точностных характеристик.
Системы линейных уравнений для оценки временных характеристик.
Системы нелинейных уравнений.
Нелинейное скалярное уравнение.
Системы нелинейных уравнений.
Литература.
Приложение.
Список сайтов и зарубежных публикаций по вопросам визуального моделирования и численного исследования гибридных систем.
Сайты.
Отечественные.
Зарубежные.
Конференции и тематические сборники статей.
Истоки.
Обзоры.