Содержание
- Введение 1
- Обзор литературы и существующих решений 2
- Теоретические основы логики и систем управления 3
- Анализ работы светофорных объектов 4
- Формализация логики стандартного режима 5
- Учет особенностей режимов работы 6
- Разработка комплексной логической модели 7
- Верификация и тестирование модели 8
- Заключение 9
- Список литературы 10