Курсовая работа: Построение автоматной модели управления пневмоцилиндрами по заданной управляющей последовательности

Работа посвящена разработке автоматной модели управления системой из 8 пневмоцилиндров на основе заданной управляющей последовательности. Модель реализована на языке C и интегрирована в среду динамического моделирования SimInTech. Цель — освоение методов автоматного программирования, верификация модели через анализ переходных процессов и обработку ошибок. Включает построение диаграммы Мура, таблицы переходов, генерацию DLL-модуля и тестирование работы системы в штатных и аварийных режимах. Также даны два примеры выполнения КР, разных вариантов.
Анализ исходных данных:

• Управляющая последовательность состояний пневмоцилиндров.
• Временные параметры переходов (titi​) и задержек (didi​).
• Описание переходов при ошибках (E={(pi,pj)}E={(pi​,pj​)}).

Построение диаграммы Мура:

• Визуализация состояний системы и переходов между ними.
• Определение условий переходов и обработки ошибок.

Разработка автоматной модели на языке C:

• Описание структур данных для пневмоцилиндров и автомата.
• Реализация функций инициализации и перехода между состояниями.
• Добавление искусственных ошибок для тестирования.

Интеграция с SimInTech:

• Создание PL-модели для генерации DLL.
• Настройка входов/выходов модели (сигналы цилиндров, ошибки).
• Визуализация работы системы через графики переходных процессов.

Тестирование и верификация:

• Запуск модели без ошибок для проверки корректности переходов.
• Тестирование обработки ошибок (переход в состояние State_ERRORState_ERROR или заданное состояние).
• Сравнение графиков с таблицей состояний для подтверждения корректности.

Разработана автоматная модель, успешно управляющая 8 пневмоцилиндрами в соответствии с заданной последовательностью. Модель корректно обрабатывает штатные режимы и аварийные ситуации (искусственные ошибки). Результаты визуализированы в SimInTech, подтверждено соответствие диаграмме Мура и таблице переходов. Работа демонстрирует практическую применимость автоматного программирования для управления промышленными пневматическими системами.