切换极大加线性-对偶不等式：在多产品加工网络调度中的应用
系统与控制
2026-02-10 v1 系统与控制
摘要
P-时间事件图是适用于建模任务须在预定义时间窗内执行的离散事件系统。其动态可由极大加代数及其对偶极小加代数中的线性动态不等式系统表示，称为极大加线性-对偶不等式（LDI）。我们定义了一类称为切换 LDI（SLDI）的新模型，其允许根据称为调度的无限模式序列在不同操作模式（每种对应一个 LDI）间切换。本文关注调度固定且周期时 SLDI 的分析。我们展示了 SLDI 可建模单机器人多产品加工网络，其中每种产品有不同加工需求并对应特定操作模式。基于 SLDI 分析，我们提出一种计算这些过程最小与最大周期时间的算法，其改进了其他现有方法的时间复杂度。
引用
@article{arxiv.2204.01156,
title = {Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks},
author = {Davide Zorzenon and Jan Komenda and Jörg Raisch},
journal= {arXiv preprint arXiv:2204.01156},
year = {2026}
}
备注
8 pages, 4 figures, conference