[论文解读] Rational semimodules over the max-plus semiring and geometric approach of discrete event systems

Stéphane Gaubert, Ricardo D. Katz|ArXiv.org|Aug 2, 2002

semigroups and automata theory参考文献 27被引用 12

一句话总结

本文引入了在最大-加法半环上的有理半模，以将几何控制理论扩展至离散事件系统。通过将有理半模定义为在逐元素乘法下由自由半模的有理子集生成的子半模，作者证明了其在并集、交集、投影和正交补等关键代数运算下具有封闭性，使用了Presburger逻辑。主要贡献在于，最大-加法线性系统中的可达空间与可观测空间是有理半模，从而实现了对无限维控制问题的有效算法分析。

ABSTRACT

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule S^n over a semiring S is rational if it has a generating family that is a rational subset of S^n, S^n being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational semimodules are stable under the natural algebraic operations (union, product, direct and inverse image, intersection, projection, etc). We show that the reachable and observable spaces of max-plus linear dynamical systems are rational, and give various examples.

研究动机与目标

• 将几何控制理论扩展至最大-加法线性离散事件系统，其中传统有限维假设不成立。
• 解决在控制理论中处理非有限生成半模的挑战，特别是针对可达性与可观测性问题。
• 开发一种计算上有效的框架，用于分析使用有理集的无限维子半模。
• 建立最大-加法系统中可达与可观测空间为有理半模的结论，从而实现算法化处理。

提出的方法

• 将有理半模定义为在 $\mathcal{S}^n$ 中由在逐元素乘法下生成的有理子集构成的子半模。
• 利用在幂等半环上的Presburger算术，将有理子集表征为一阶逻辑公式的可定义集合。
• 通过Presburger逻辑证明有理半模在并集、直和、直接像与逆像、交集、投影和正交补运算下具有封闭性。
• 利用 $\mathbb{Z}^n$ 上加法下的有理子集为半线性集的事实，实现逻辑与算法分析。
• 将该理论应用于最大-加法线性系统，通过自动机构造方法证明可达与可观测空间为有理半模。
• 利用极值点分析与投影有理性构造反例，以说明结构性假设的必要性。

实验结果

研究问题

• RQ1 能否将线性系统的几何控制框架扩展至最大-加法半环，其中半模可能非有限生成？
• RQ2 最大-加法线性离散事件系统中的可达与可观测空间是否为有理半模？
• RQ3 在何种条件下有理半模在投影与交集等代数运算下具有封闭性？
• RQ4 能否利用Presburger算术证明有理半模在幂等半环上的封闭性？
• RQ5 是否存在最大-加法系统中可达空间非有理的自然类，若存在，何种结构性条件会破坏有理性？

主要发现

• 最大-加法线性离散事件系统的可达空间是有理半模，因为其由 $\mathbb{Z}^n$ 的有理子集生成。
• 最大-加法系统中的可观测等价空间也是有理半模，从而将几何控制框架扩展至该设定。
• 有理半模在并集、直和、直接像与逆像、交集、投影和正交补运算下具有封闭性，该结论通过Presburger逻辑得以证明。
• 反例表明，$\mathbb{R}_{\max}$ 上的有理半模未必在直接像运算下封闭，凸显了特定半环假设的必要性。
• $\mathbb{Z}_{\min}^6$ 中由 $\mu(\{a_1,a_2\}^*)$ 生成的半模为非有理半模，其在 $\mathbb{Z}_{\min}^3$ 上的投影亦为非有理半模，表明非交换可达空间可能不具有有理性。
• 有理半模的极值点集仅在特定条件下为有理集，其非有理性可通过关联函数（如 $\gamma_E(n)$）的增长率分析加以证明。