Составление плана работ на основе системы дизъюнктов разностного типа

Abstract

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