[论文解读] Linear State Feedback Stabilization on Time Scales

Billy Jackson, John M. Davis+2 more|ArXiv.org|Oct 16, 2009

Stability and Controllability of Differential Equations参考文献 30被引用 6

一句话总结

本文提出了一种广义线性状态反馈控制框架，用于在任意时标上稳定动力系统——将经典连续与离散控制理论扩展至非均匀和混合时域。通过适配非均匀与混合时域的格拉米安方法，证明了存在一种状态反馈增益，可确保具有预定衰减速率的统一指数稳定。该方法在具有可变粒度时标的电机控制系统上通过实验实现验证。

ABSTRACT

For a general class of dynamical systems (of which the canonical continuous and uniform discrete versions are but special cases), we prove that there is a state feedback gain such that the resulting closed-loop system is uniformly exponentially stable with a prescribed rate. The methods here generalize and extend Gramian-based linear state feedback control to much more general time domains, e.g. nonuniform discrete or a combination of continuous and discrete time. In conclusion, we discuss an experimental implementation of this theory.

研究动机与目标

• 将线性状态反馈控制理论从连续和均匀离散时域扩展至一般时标，包括非均匀和混合系统。
• 建立在任意时标上，通过指定衰减速率确保统一指数稳定的条件。
• 将基于格拉米安的控制方法推广至时标，实现在统一框架下的稳定性分析与控制器设计。
• 通过在具有可变粒度时标的电机控制系统上进行实时实验实现，验证理论框架。

提出的方法

• 本文采用时标微积分，通过定义时标导数和前向跳跃算子，对任意时域上的动力学进行建模。
• 引入一种时变反馈增益 $ K(t) $，通过有限窗口 $ \mathcal{C}(t) = \sigma^k(t) $ 内的窗口化格拉米安方法计算，利用未来时标信息。
• 控制器设计依赖于在时标上求解广义李雅普诺夫方程，以确保具有预定衰减速率 $ \alpha $ 的指数稳定。
• 反馈控制律实现为 $ u(t) = K(t)x(t) + N(t)r(t) $，其中 $ N(t) \equiv 1 $，并在嵌入式硬件上使用高精度定时器实时实现。
• 在三种不同时间尺度上进行了测试：一种具有可变粒度（80–90ms 后为 10–20ms），一种具有均匀随机粒度（80–150ms），以及一种具有大间隙的时标，模拟实时截止时间丢失。
• 通过阶跃响应仿真评估性能，分析窗口大小 $ k $ 和衰减速率参数 $ \alpha $ 对稳定时间的影响。

实验结果

研究问题

• RQ1 能否设计一种线性状态反馈控制器，以确保在包括非均匀和混合时域在内的任意时标上实现统一指数稳定？
• RQ2 时变反馈增益 $ K(t) $ 如何依赖于时标的未来结构？这对因果性有何影响？
• RQ3 窗口大小 $ k $ 和衰减速率参数 $ \alpha $ 对闭环系统中稳定时间与控制努力的影响是什么？
• RQ4 在实际约束条件下，如可变或随机粒度以及时标中的大间隙，控制器的性能如何？
• RQ5 该理论框架在计算资源有限的实时硬件上能实现到何种程度？

主要发现

• 存在一种状态反馈增益 $ K(t) $，可确保任意时标上线性系统在指定衰减速率 $ \alpha $ 下实现统一指数稳定。
• 控制器成功在三种不同时间尺度上稳定了二阶电机系统：一种具有可变粒度，一种具有随机粒度，以及一种具有大间隙的时标。
• 在可变粒度情况下，稳定时间对窗口大小 $ k $ 极其敏感，但对 $ \alpha $ 敏感度较低，表明 $ k $ 是关键调参参数。
• 在随机粒度情况下，$ k $ 和 $ \alpha $ 均显著影响稳定时间，表明性能调优存在更复杂的权衡。
• 控制器在时标间隙期间能够计算所需输入电流的最优估计，表现出对控制点缺失的鲁棒性。
• 尽管存在计算复杂性及对时标未来结构的非因果依赖，该方法在实时实验中仍实现了稳定性能，验证了理论框架的有效性。