P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by max-plus linear-dual inequalities (LDIs), i.e., systems of linear dynamical inequalities in the primal and dual operations of the max-plus algebra. We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operation, each corresponding to a set of LDIs, according to a sequence of modes called schedule. In this paper, we focus on the analysis of SLDIs when the considered schedule is fixed and either periodic or intermittently periodic. We show that SLDIs can model a wide range of applications including single-robot multi-product processing networks, in which every product has different processing requirements and corresponds to a specific mode of operation. Based on the analysis of SLDIs, we propose algorithms to compute: i. minimum and maximum cycle times for these processes, improving the time complexity of other existing approaches; ii. a complete trajectory of the robot including start-up and shut-down transients.
翻译:P时间事件图是一种离散事件系统,适用于对必须在预定义时间窗口内执行任务的过程进行建模。其动力学可通过最大-加线性对偶不等式(LDIs)表示,即最大-加代数中基本运算与对偶运算下的线性动态不等式系统。我们定义了一类称为切换式LDIs(SLDIs)的新模型,该模型允许根据称为调度方案的模态序列,在不同运行模式之间切换,每种模式对应一组LDIs。本文重点分析当所考虑的调度方案固定且呈周期性或间歇周期性时的SLDIs。我们证明SLDIs可建模包括单机器人多产品加工网络在内的广泛应用,其中每种产品具有不同的加工需求,并对应特定运行模式。基于SLDIs分析,我们提出算法计算:i. 这些过程的最小与最大周期时间,改进了现有方法的时间复杂度;ii. 包含启动与停机暂态的机器人完整轨迹。