Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control

基本信息

• 论文ID: 2510.11583
• 标题: Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
• 作者: Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap (印度科学研究院)
• 分类: eess.SY (系统与控制), cs.RO (机器人学), cs.SY (系统与控制)
• 发表时间: 2025年10月14日
• 论文链接: https://arxiv.org/abs/2510.11583

摘要

本文针对控制仿射非线性系统的控制器综合问题，旨在满足规定时间的到达-避障-停留(RAS)规范。研究目标是改进基于时空管道(STTs)的现有方法，通过消除导致管道急剧变化和高控制代价的绕行函数。提出了一个自适应框架，能够在静态不安全集合周围构造平滑的STTs，实现连续避障的同时在规定时间内引导系统到达目标。推导出闭式、无近似的控制律，确保系统轨迹保持在管道内并满足RAS任务。通过案例研究验证了方法的有效性，显示相比先前方法显著降低了控制代价。

研究背景与动机

1. 问题定义

本文要解决的核心问题是为控制仿射非线性系统设计控制器，使其满足规定时间的到达-避障-停留(Reach-Avoid-Stay, RAS)规范。RAS任务要求系统从初始集合出发，在规定时间内到达目标集合，同时始终避开不安全区域，并在到达目标后保持在目标区域内。

2. 问题重要性

RAS属性是定义更复杂时序逻辑的基本组件，在安全关键系统中具有重要意义。它支持开发鲁棒的控制策略，确保系统状态保持在安全区域内，这在机器人导航、自动驾驶、航空航天等领域具有广泛应用价值。

3. 现有方法局限性

现有方法主要存在以下问题：

• 抽象化方法：基于状态空间离散化的符号控制方法面临维数灾难
• 优化方法：基于控制屏障函数的方法计算代价高，难以扩展到高维系统
• 漏斗控制：虽然计算效率高，但处理凸规范(如避障约束)仍有挑战
• 现有STT方法：使用绕行函数导致管道急剧变化，产生高控制代价

4. 研究动机

基于上述局限性，本文提出平滑STT综合方法，旨在：

• 消除绕行函数的使用，避免管道急剧变化
• 降低控制代价，提高系统性能
• 保持规定时间RAS规范的满足保证
• 提供闭式、无近似的控制解决方案

核心贡献

1. 提出了平滑STT自适应框架：设计了一种新的自适应框架，能够实时构造平滑的时空管道，避免使用绕行函数
2. 消除了管道急剧变化：通过平滑的连续变形处理避障约束，显著减少了控制代价
3. 保持了理论保证：在降低控制代价的同时，保持了规定时间RAS规范满足的理论保证
4. 提供了闭式控制律：推导出无近似的闭式控制法则，适用于未知动力学的控制仿射系统
5. 验证了方法有效性：通过全向移动机器人的仿真案例验证了方法的实用性和优越性

方法详解

任务定义

规定时间RAS任务：给定不安全集合U、初始集合S⊂ℝⁿ\U和目标集合T⊂ℝⁿ\U，对于任意初始状态x(0)∈S，存在时间t∈0,tc使得x(t)∈T，且轨迹在所有时间内避开不安全集合，即对所有s∈0,tc有x(s)∈ℝⁿ\U，其中tc∈ℝ⁺是规定的完成时间。

系统模型

考虑控制仿射非线性系统：

S: ẋ = f(x) + g(x)u + w

其中：

• x(t)∈ℝⁿ：状态向量
• u(t)∈ℝⁿ：控制输入向量
• w(t)∈W⊂ℝⁿ：未知有界扰动
• f(x)和g(x)：未知局部Lipschitz函数

模型架构

1. 可达性管道设计

定义以初始状态x(0)为中心的超矩形：

Ŝ := ∏[i=1,n] [xi(0) - di,S, xi(0) + di,S] ⊂ S

可达性管道边界ρ(t)按以下微分方程演化：

ρ̇i(t) = {
  tc(T̂i - Ŝi)/((tc-t)²) sech²(t/(tc-t)), if t < tc
  0, if t ≥ tc
}

2. 避障规范处理

不安全集合建模为：U = ⋃j∈1,nu U⁽ʲ⁾ ⊂ ℝⁿ

通过计算管道与第j个不安全集合的交集时间区间t⁽ʲ⁾, t̄⁽ʲ⁾：

tj = (max[i∈[1,n]] min āi) tc, t̄j = (min[i∈[1,n]] max āi) tc

3. 自适应管道修正

提出自适应框架修正STT：

γ̇i,L(t) = {
  ρ̇i(t), if i ≠ k
  α₁⁽ʲ⁾ρ̇i(t) + α₂⁽ʲ⁾ϕ₁⁽ʲ⁾(t) + α₃⁽ʲ⁾ϕ₂⁽ʲ⁾(t), if i = k
}

其中权重函数α₁⁽ʲ⁾、α₂⁽ʲ⁾、α₃⁽ʲ⁾基于s(t) = 0.5tanh(t/v)定义，实现三阶段平滑切换。

技术创新点

1. 消除绕行函数

与现有方法不同，本文不使用导致急剧变化的绕行函数，而是通过自适应权重函数实现平滑的管道变形。

2. 三阶段自适应机制

• 阶段1：α₁⁽ʲ⁾=1，管道朝向目标集合
• 阶段2：α₂⁽ʲ⁾=1，管道绕过不安全集合投影
• 阶段3：α₃⁽ʲ⁾=1，管道平滑回到原始可达性边界

3. 闭式控制律

推导出无近似的控制法则：

u(x,t) = -κξ(x,t)ε(x,t)

其中ξ(x,t)和ε(x,t)基于归一化误差和变换误差定义。

实验设置

系统模型

采用全向移动机器人动力学模型：

[ẋ₁; ẋ₂; ẋ₃] = [cos x₃ -sin x₃ 0; sin x₃ cos x₃ 0; 0 0 1][v₁; v₂; ω] + w(t)

场景设置

• 初始区域：S = 0, 0.5 × 0, 0.5
• 目标区域：T = 11, 11.5 × 7, 7.5
• 障碍物：
  • U₁ = 1.5, 2 × 0.5, 3
  • U₂ = 5.2, 6.8 × 3.2, 4
  • U₃ = 7, 8 × 0, 8
• 规定时间：tc = 80s

评价指标

主要评价控制代价的降低程度，通过与基于绕行函数的方法进行对比。

实验结果

主要结果

1. 轨迹性能：系统成功在规定时间内从初始区域到达目标区域，同时避开所有障碍物
2. 控制代价：相比基于绕行函数的方法，控制代价显著降低
3. 平滑性：STT设计更加平滑，避免了急剧变化

案例分析

图2展示了机器人在2D环境中的导航轨迹，黑色实线表示系统轨迹，成功避开了所有红色障碍物并到达绿色目标区域。图3的对比结果清晰显示了本文方法在控制代价方面的显著优势。

理论验证

通过定理3.3证明了构造的STT满足以下条件：

• 管道从初始集合开始：Γ(0) ⊂ S
• 在规定时间内到达目标：Γ(tc) ⊂ T
• 全程避开不安全集合：Γ(t) ∩ U = ∅
• 管道边界满足约束条件

相关工作

主要研究方向

1. 抽象化方法：通过状态空间离散化进行符号控制综合
2. 屏障函数方法：基于控制Lyapunov-屏障函数的优化方法
3. 漏斗控制：高效的跟踪控制方法
4. STT方法：时空管道框架的发展

本文优势

相比现有工作，本文方法：

• 避免了维数灾难问题
• 降低了计算复杂度
• 消除了急剧的管道变化
• 提供了闭式解决方案

结论与讨论

主要结论

1. 提出的平滑STT综合方法有效解决了规定时间RAS控制问题
2. 消除绕行函数显著降低了控制代价
3. 自适应框架实现了平滑的避障处理
4. 理论分析保证了方法的正确性和完整性

局限性

1. 静态障碍物假设：当前方法假设不安全集合是静态已知的
2. 系统类别限制：主要针对控制仿射系统
3. 时间分离假设：要求不安全集合在时间上充分分离
4. 维数扩展性：高维系统的计算复杂度仍需进一步验证

未来方向

1. 扩展到时变障碍物的动态环境
2. 推广到更广泛的非线性系统类别
3. 多智能体系统的协调控制
4. 随机扰动下的鲁棒性分析

深度评价

优点

1. 理论创新性强：提出的平滑STT方法在理论上有明确创新，消除了绕行函数的使用
2. 实用价值高：显著降低控制代价对实际应用具有重要意义
3. 数学严谨性：提供了完整的理论分析和证明
4. 方法通用性：适用于未知动力学的控制仿射系统

不足

1. 实验验证有限：仅提供了一个2D机器人导航案例，缺乏更多样化的验证
2. 假设条件较强：静态障碍物和时间分离假设在实际应用中可能受限
3. 计算复杂度分析不足：未详细分析方法的计算复杂度
4. 鲁棒性验证不充分：对扰动和不确定性的处理需要更多验证

影响力

1. 学术贡献：为STT方法的发展提供了新的思路和技术路径
2. 应用前景：在机器人导航、自动驾驶等领域有良好应用潜力
3. 方法可扩展性：为后续研究提供了坚实的理论基础

适用场景

1. 机器人路径规划：特别适用于已知静态环境中的机器人导航
2. 无人机控制：可应用于无人机的避障飞行控制
3. 工业自动化：适用于需要精确时间控制的工业机器人系统
4. 自动驾驶：可用于结构化环境中的自动驾驶车辆控制

参考文献

论文引用了18篇相关文献，涵盖了符号控制、屏障函数方法、漏斗控制、STT框架等相关领域的重要工作，为本研究提供了坚实的理论基础和对比基准。