Главная – Журналы – Автометрия 2024 номер 2

Решается задача управления транспортным движением с помощью модельно-ориентированного метода. Для разработки математической модели предложен автоматный формализм. В строгом соответствии с условиями задачи определены состояния детерминированного конечного автомата (ДКА) и предикаты направленных переходов. Для реализации ДКА выполнен переход к диаграмме Харела (statechart) - унифицированному математическому и программному обеспечению современных мировых инструментальных средств моделирования. Решение поставленной задачи доказано конструктивно таблицей состояний с соответствующей динамикой и вычислительными экспериментами выбранного сценария в передовых отечественных и зарубежных инструментальных средах моделирования обозначенного класса событийных систем. Вычислительные эксперименты показали полное совпадение с конструктивным анализом.