Дата публикации: 04.03.2015

Дата публикации в реестре: 2020-02-28T10:22:09Z

Аннотация:

В статье рассмотрена задача построения расписания выполнения работ на основе формальной модели, представленной системой дизъюнктов разностного типа. С помощью систем дизъюнктов разностного типа можно описывать поведение динамических систем, например дискретных систем управления, интеллектуальных роботов, систем планирования работ и др. Временной параметр играет роль временного шага. Представлен общий принцип решения вместе с соответствующей иллюстрацией его применения.