Síntesis Suave de Tubos Espacio-Temporales para Control de Alcance-Evitación-Permanencia en Tiempo Prescrito

Información Básica

• ID del Artículo: 2510.11583
• Título: Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
• Autores: Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap (Instituto Indio de Ciencias)
• Clasificación: eess.SY (Sistemas y Control), cs.RO (Robótica), cs.SY (Sistemas y Control)
• Fecha de Publicación: 14 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.11583

Resumen

Este artículo aborda el problema de síntesis de controladores para sistemas no lineales de control afín, con el objetivo de satisfacer especificaciones de alcance-evitación-permanencia (RAS) en tiempo prescrito. El objetivo de investigación es mejorar los métodos existentes basados en tubos espacio-temporales (STTs) mediante la eliminación de funciones de rodeo que causan cambios abruptos en los tubos y altos costos de control. Se propone un marco adaptativo que puede construir STTs suaves alrededor de conjuntos estáticos inseguros, logrando evitación continua de obstáculos mientras se guía el sistema hacia el objetivo en tiempo prescrito. Se derivan leyes de control en forma cerrada y libres de aproximaciones, garantizando que las trayectorias del sistema permanezcan dentro del tubo y satisfagan la tarea RAS. La validez del método se verifica mediante estudios de casos, demostrando una reducción significativa del costo de control en comparación con métodos anteriores.

Antecedentes y Motivación de la Investigación

1. Definición del Problema

El problema central que aborda este artículo es el diseño de controladores para sistemas no lineales de control afín que satisfagan especificaciones de alcance-evitación-permanencia (Reach-Avoid-Stay, RAS) en tiempo prescrito. La tarea RAS requiere que el sistema parta de un conjunto inicial, alcance un conjunto objetivo en tiempo prescrito, evitando constantemente regiones inseguras y permaneciendo en la región objetivo después de alcanzarla.

2. Importancia del Problema

Las propiedades RAS constituyen componentes fundamentales para definir lógicas temporales más complejas y son de gran importancia en sistemas críticos de seguridad. Apoyan el desarrollo de estrategias de control robustas que garantizan que los estados del sistema permanezcan en regiones seguras, con amplia aplicabilidad en navegación robótica, conducción autónoma, aeronáutica y otros campos.

3. Limitaciones de Métodos Existentes

Los métodos existentes presentan principalmente los siguientes problemas:

• Métodos de Abstracción: Los métodos de control simbólico basados en discretización del espacio de estados enfrentan la maldición de la dimensionalidad
• Métodos de Optimización: Los métodos basados en funciones de barrera de control tienen alto costo computacional y son difíciles de escalar a sistemas de alta dimensión
• Control de Embudos: Aunque computacionalmente eficientes, aún presentan desafíos al tratar especificaciones convexas como restricciones de evitación
• Métodos STT Existentes: El uso de funciones de rodeo causa cambios abruptos en los tubos, generando altos costos de control

4. Motivación de la Investigación

Basándose en las limitaciones anteriores, este artículo propone un método de síntesis STT suave con el objetivo de:

• Eliminar el uso de funciones de rodeo, evitando cambios abruptos en los tubos
• Reducir el costo de control y mejorar el rendimiento del sistema
• Mantener garantías de satisfacción de especificaciones RAS en tiempo prescrito
• Proporcionar soluciones de control en forma cerrada y libres de aproximaciones

Contribuciones Principales

1. Propone un Marco Adaptativo STT Suave: Diseña un nuevo marco adaptativo capaz de construir tubos espacio-temporales suaves en tiempo real, evitando el uso de funciones de rodeo
2. Elimina Cambios Abruptos en Tubos: Mediante deformación continua suave para manejar restricciones de evitación, reduce significativamente el costo de control
3. Mantiene Garantías Teóricas: Mientras reduce el costo de control, preserva las garantías teóricas de satisfacción de especificaciones RAS en tiempo prescrito
4. Proporciona Leyes de Control en Forma Cerrada: Deriva reglas de control sin aproximaciones aplicables a sistemas de control afín con dinámicas desconocidas
5. Verifica la Efectividad del Método: Valida la practicidad y superioridad del método mediante simulaciones de robots móviles omnidireccionales

Explicación Detallada del Método

Definición de la Tarea

Tarea RAS en Tiempo Prescrito: Dado un conjunto inseguro U, un conjunto inicial S⊂ℝⁿ\U y un conjunto objetivo T⊂ℝⁿ\U, para cualquier estado inicial x(0)∈S, existe un tiempo t∈0,tc tal que x(t)∈T, y la trayectoria evita el conjunto inseguro en todo momento, es decir, x(s)∈ℝⁿ\U para todo s∈0,tc, donde tc∈ℝ⁺ es el tiempo de finalización prescrito.

Modelo del Sistema

Se considera un sistema no lineal de control afín:

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

Donde:

• x(t)∈ℝⁿ: vector de estado
• u(t)∈ℝⁿ: vector de entrada de control
• w(t)∈W⊂ℝⁿ: perturbación acotada desconocida
• f(x) y g(x): funciones localmente Lipschitz desconocidas

Arquitectura del Modelo

1. Diseño del Tubo de Alcanzabilidad

Se define un hiperrrectángulo centrado en el estado inicial x(0):

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

El límite del tubo de alcanzabilidad ρ(t) evoluciona según la siguiente ecuación diferencial:

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

2. Manejo de Especificaciones de Evitación

El conjunto inseguro se modela como: U = ⋃j∈1,nu U⁽ʲ⁾ ⊂ ℝⁿ

Mediante el cálculo del intervalo de tiempo de intersección t⁽ʲ⁾, t̄⁽ʲ⁾ entre el tubo y el j-ésimo conjunto inseguro:

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

3. Corrección Adaptativa del Tubo

Se propone un marco adaptativo para corregir el STT:

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

Donde las funciones de peso α₁⁽ʲ⁾, α₂⁽ʲ⁾, α₃⁽ʲ⁾ se definen basándose en s(t) = 0.5tanh(t/v), implementando un cambio suave de tres etapas.

Puntos de Innovación Técnica

1. Eliminación de Funciones de Rodeo

A diferencia de los métodos existentes, este artículo no utiliza funciones de rodeo que causen cambios abruptos, sino que implementa deformación suave del tubo mediante funciones de peso adaptativas.

2. Mecanismo Adaptativo de Tres Etapas

• Etapa 1: α₁⁽ʲ⁾=1, el tubo se dirige hacia el conjunto objetivo
• Etapa 2: α₂⁽ʲ⁾=1, el tubo rodea la proyección del conjunto inseguro
• Etapa 3: α₃⁽ʲ⁾=1, el tubo vuelve suavemente al límite de alcanzabilidad original

3. Ley de Control en Forma Cerrada

Se deriva una ley de control sin aproximaciones:

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

Donde ξ(x,t) y ε(x,t) se definen basándose en error normalizado y error transformado.

Configuración Experimental

Modelo del Sistema

Se adopta el modelo dinámico de un robot móvil omnidireccional:

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

Configuración del Escenario

• Región Inicial: S = 0, 0.5 × 0, 0.5
• Región Objetivo: T = 11, 11.5 × 7, 7.5
• Obstáculos:
  • U₁ = 1.5, 2 × 0.5, 3
  • U₂ = 5.2, 6.8 × 3.2, 4
  • U₃ = 7, 8 × 0, 8
• Tiempo Prescrito: tc = 80s

Métricas de Evaluación

Se evalúa principalmente la reducción del costo de control, comparando con métodos basados en funciones de rodeo.

Resultados Experimentales

Resultados Principales

1. Rendimiento de Trayectoria: El sistema alcanza exitosamente la región objetivo desde la región inicial en tiempo prescrito, evitando todos los obstáculos
2. Costo de Control: El costo de control se reduce significativamente en comparación con métodos basados en funciones de rodeo
3. Suavidad: El diseño STT es más suave, evitando cambios abruptos

Análisis de Casos

La Figura 2 muestra la trayectoria de navegación del robot en un entorno 2D, donde la línea sólida negra representa la trayectoria del sistema, evitando exitosamente todos los obstáculos rojos y alcanzando la región objetivo verde. Los resultados comparativos en la Figura 3 demuestran claramente la ventaja significativa del método propuesto en términos de costo de control.

Verificación Teórica

Mediante el Teorema 3.3 se demuestra que el STT construido satisface las siguientes condiciones:

• El tubo comienza en el conjunto inicial: Γ(0) ⊂ S
• Alcanza el objetivo en tiempo prescrito: Γ(tc) ⊂ T
• Evita el conjunto inseguro en todo momento: Γ(t) ∩ U = ∅
• Los límites del tubo satisfacen las restricciones

Trabajo Relacionado

Direcciones Principales de Investigación

1. Métodos de Abstracción: Síntesis de control simbólico mediante discretización del espacio de estados
2. Métodos de Funciones de Barrera: Métodos de optimización basados en funciones Lyapunov-barrera de control
3. Control de Embudos: Método de control de seguimiento eficiente
4. Métodos STT: Desarrollo del marco de tubos espacio-temporales

Ventajas del Presente Trabajo

En comparación con trabajos existentes, el método propuesto:

• Evita el problema de la maldición de la dimensionalidad
• Reduce la complejidad computacional
• Elimina cambios abruptos en los tubos
• Proporciona soluciones en forma cerrada

Conclusiones y Discusión

Conclusiones Principales

1. El método propuesto de síntesis STT suave resuelve efectivamente el problema de control RAS en tiempo prescrito
2. La eliminación de funciones de rodeo reduce significativamente el costo de control
3. El marco adaptativo implementa manejo suave de evitación de obstáculos
4. El análisis teórico garantiza la corrección e integridad del método

Limitaciones

1. Suposición de Obstáculos Estáticos: El método actual asume que los conjuntos inseguros son estáticos y conocidos
2. Restricción de Clase de Sistema: Se enfoca principalmente en sistemas de control afín
3. Suposición de Separación Temporal: Requiere que los conjuntos inseguros estén suficientemente separados en tiempo
4. Escalabilidad en Dimensión: La complejidad computacional para sistemas de alta dimensión requiere verificación adicional

Direcciones Futuras

1. Extensión a entornos dinámicos con obstáculos variables en el tiempo
2. Generalización a clases más amplias de sistemas no lineales
3. Control coordinado de sistemas multi-agente
4. Análisis de robustez bajo perturbaciones estocásticas

Evaluación Profunda

Fortalezas

1. Fuerte Innovación Teórica: El método STT suave propuesto presenta clara innovación teórica, eliminando el uso de funciones de rodeo
2. Alto Valor Práctico: La reducción significativa del costo de control tiene importancia considerable para aplicaciones prácticas
3. Rigor Matemático: Proporciona análisis teórico completo y demostraciones
4. Generalidad del Método: Aplicable a sistemas de control afín con dinámicas desconocidas

Insuficiencias

1. Verificación Experimental Limitada: Solo proporciona un caso de navegación de robot 2D, careciendo de verificaciones más diversificadas
2. Condiciones de Suposición Fuertes: Las suposiciones de obstáculos estáticos y separación temporal pueden estar limitadas en aplicaciones prácticas
3. Análisis de Complejidad Computacional Insuficiente: No analiza detalladamente la complejidad computacional del método
4. Verificación de Robustez Incompleta: El manejo de perturbaciones e incertidumbres requiere más verificación

Impacto

1. Contribución Académica: Proporciona nuevas ideas y caminos técnicos para el desarrollo de métodos STT
2. Perspectivas de Aplicación: Tiene buen potencial de aplicación en navegación robótica, conducción autónoma y otros campos
3. Extensibilidad del Método: Proporciona base teórica sólida para investigaciones posteriores

Escenarios Aplicables

1. Planificación de Rutas Robótica: Particularmente adecuado para navegación robótica en entornos estáticos conocidos
2. Control de Drones: Aplicable al control de vuelo con evitación de obstáculos de drones no tripulados
3. Automatización Industrial: Adecuado para sistemas de robots industriales que requieren control de tiempo preciso
4. Conducción Autónoma: Puede utilizarse para control de vehículos autónomos en entornos estructurados

Referencias

El artículo cita 18 referencias relacionadas, abarcando trabajos importantes en control simbólico, métodos de funciones de barrera, control de embudos, marco STT y otros campos relacionados, proporcionando una base teórica sólida y puntos de referencia comparativos para esta investigación.