"СОБЫТИЙНО-ДИСКРЕТНЫЕ МОДЕЛИ УПРАВЛЕНИЯ ДВИЖЕНИЕМ"
"Ю.В. Шорников1,2, К.А. Тимофеев2"
"1Институт автоматики и электрометрии СО РАН, Новосибирск, Россия shornikov@corp.nstu.ru 2Новосибирский государственный технический университет, Новосибирск, Россия k.timofeev@corp.nstu.ru"
Ключевые слова: компьютерное моделирование, событийно-дискретные модели, модельно-ориентированное проектирование, алгоритм управления, детерминированные конечные автоматы, диаграммы Харела
Страницы: 119-127
Аннотация
Решается задача управления транспортным движением с помощью модельно-ориентированного метода. Для разработки математической модели предложен автоматный формализм. В строгом соответствии с условиями задачи определены состояния детерминированного конечного автомата (ДКА) и предикаты направленных переходов. Для реализации ДКА выполнен переход к диаграмме Харела (statechart) - унифицированному математическому и программному обеспечению современных мировых инструментальных средств моделирования. Решение поставленной задачи доказано конструктивно таблицей состояний с соответствующей динамикой и вычислительными экспериментами выбранного сценария в передовых отечественных и зарубежных инструментальных средах моделирования обозначенного класса событийных систем. Вычислительные эксперименты показали полное совпадение с конструктивным анализом.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее