Изучается проблема управления колесными системами типа мобильного робота, автомобиля, колесного трактора и т. д. Эти системы относятся к классу неголономных механических систем. Анализ ограничивается кинематическими моделями, учитывается динамика управляющих приводов. Построено управление, которое стабилизирует движение колесной системы вдоль заданной траектории (плоской гладкой кривой). По основным переменным системы свойство стабилизируемости обосновано в целом. Центральный результат связан с обоснованием устойчивости при учете бокового проскальзывания колес системы.

В работе показано как поэтапно создать программу контроллера с помощью СД2С2 моделирования для оборудования с дискретным поведением. Кратко изложим суть этапов: • На первом этапе объект формализуется в виде коллекции независимых КА моделирующих неуправляемое поведение объекта, язык этих автоматов структурируется на управляемые и ожидаемые события. • На втором этапе создается спецификация, которая задается в виде последовательности команд на объект управления. • На третьем этапе проверяется совместимость модели объекта и спецификации, полученные данные являются основой для синтеза управляющего КА – супервизора. • На четвертом этапе осуществляется переход от алфавита системных событий к алфавиту целевой платформы ПЛК. • На пятом этапе супервизор переносится в ПЛК. Учет структурных особенностей технологического объекта позволяет на этапе верификации отказаться традиционной процедуры параллельной композиции, и задать спецификацию более компактно. Что в свою очередь позволяет гарантированно синтезировать программу ПЛК меньшими затратами.