[论文解读] Performance Evaluation of Switched Discrete Event Systems

Long Wang|ArXiv.org|Feb 17, 2002

Petri Nets in System Modeling参考文献 4被引用 4

一句话总结

本文提出了一种基于最大-加法代数的切换离散事件系统的性能评估框架，表明在不可约性和主对角线为正的条件下，此类系统表现出渐近周期性行为。关键结果是，最大-加法代数中乘积矩阵的特征值决定了系统的长期性能，从而可通过计算特征值实现性能评估。

ABSTRACT

This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.

研究动机与目标

• 分析由切换规律控制的切换离散事件系统的渐近周期性行为。
• 利用最大-加法代数为这类系统开发性能评估方法。
• 建立切换系统行为变为周期性且可预测的条件。
• 将分析扩展至超越简单在两个子系统间交替的任意切换规律。

提出的方法

• 在最大-加法代数中将切换系统建模为矩阵乘积序列。
• 通过周期性状态采样（例如每两步）将切换系统转换为非切换系统。
• 应用最大-加法代数中关于不可约矩阵的引理，推导出周期性渐近行为。
• 使用乘积矩阵（例如 $ A_2A_1 $）的特征值作为性能度量。
• 证明当单个矩阵具有非零对角线元素时，乘积矩阵具有不可约性。
• 将该框架扩展至多子系统切换，并适用于任意周期性切换规律。

实验结果

研究问题

• RQ1 在何种条件下，切换离散事件系统在最大-加法代数中表现出渐近周期性行为？
• RQ2 如何利用最大-加法代数中的特征值评估此类系统的性能？
• RQ3 何种条件可确保由子系统切换形成的乘积矩阵具有不可约性？
• RQ4 乘积矩阵的特征值与各子系统矩阵的特征值之间有何关系？
• RQ5 该框架能否推广至涉及多于两个子系统的任意周期性切换规律？

主要发现

• 当乘积矩阵 $ A_2A_1 $ 不可约时，切换系统表现出渐近周期性行为，满足 $ X(k+d) = \lambda^d X(k) $，其中 $ k \geq k_0 $。
• 乘积矩阵 $ A_2A_1 $ 的特征值 $ \lambda $ 等于其关键环路的平均权重，代表系统的渐近性能周期。
• 若 $ A_1 $ 或 $ A_2 $ 的所有对角线元素均非 $ \epsilon $，则 $ A_2A_1 $ 保持不可约，从而确保唯一特征值的存在。
• 乘积矩阵 $ AB $ 的特征值可能超过各特征值之和，例如 $ \lambda(AB) = 9 > \lambda(A) + \lambda(B) = 13/3 + 3 $，表明其不具有可加性。
• 对于包含 $ m $ 个子系统的通用周期性切换规律，变换后的系统 $ Y(k+1) = A_m^{l_m} \cdots A_1^{l_1} Y(k) $ 具有不可约性并表现出周期性行为。
• 即使单个矩阵不可约，其幂次也可能变为可约（例如 $ A^3 $ 是可约的），这为分析中引入对角线非零条件提供了合理性。