Synthèse Lisse de Tubes Spatiotemporels pour le Contrôle Reach-Avoid-Stay en Temps Prescrit

Informations Fondamentales

• ID de l'article : 2510.11583
• Titre : Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
• Auteurs : Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap (Institut Indien de Recherche Scientifique)
• Classification : eess.SY (Systèmes et Contrôle), cs.RO (Robotique), cs.SY (Systèmes et Contrôle)
• Date de publication : 14 octobre 2025
• Lien de l'article : https://arxiv.org/abs/2510.11583

Résumé

Cet article aborde le problème de la synthèse de contrôleurs pour les systèmes non linéaires affines en contrôle, visant à satisfaire les spécifications Reach-Avoid-Stay (RAS) en temps prescrit. L'objectif de la recherche est d'améliorer les méthodes existantes basées sur les tubes spatiotemporels (STTs) en éliminant les fonctions de contournement qui provoquent des changements brusques des tubes et des coûts de contrôle élevés. Un cadre adaptatif est proposé, capable de construire des STTs lisses autour d'ensembles statiques non sécurisés, réalisant simultanément l'évitement d'obstacles continu et la conduite du système vers la cible en temps prescrit. Une loi de contrôle en forme fermée et sans approximation est dérivée, garantissant que les trajectoires du système restent dans le tube et satisfont la tâche RAS. L'efficacité de la méthode est validée par des études de cas, montrant une réduction significative du coût de contrôle par rapport aux méthodes antérieures.

Contexte et Motivation de la Recherche

1. Définition du Problème

Le problème fondamental abordé dans cet article est la conception de contrôleurs pour les systèmes non linéaires affines en contrôle, satisfaisant les spécifications Reach-Avoid-Stay (RAS) en temps prescrit. La tâche RAS exige que le système parte d'un ensemble initial, atteigne un ensemble cible en temps prescrit, tout en évitant continuellement les régions non sécurisées et en restant dans la région cible après l'arrivée.

2. Importance du Problème

Les propriétés RAS constituent des composants fondamentaux pour définir des logiques temporelles plus complexes et sont d'une importance capitale dans les systèmes critiques pour la sécurité. Elles soutiennent le développement de stratégies de contrôle robustes, garantissant que l'état du système reste dans les régions sécurisées, ce qui a une large valeur d'application dans la navigation robotique, la conduite autonome, l'aérospatiale et d'autres domaines.

3. Limitations des Méthodes Existantes

Les méthodes existantes présentent principalement les problèmes suivants :

• Approches par abstraction : Les méthodes de contrôle symbolique basées sur la discrétisation de l'espace d'état font face à la malédiction de la dimensionnalité
• Approches par optimisation : Les méthodes basées sur les fonctions de barrière de contrôle ont un coût de calcul élevé et sont difficiles à étendre aux systèmes de haute dimension
• Contrôle par entonnoir : Bien que computationnellement efficace, le traitement des spécifications convexes (telles que les contraintes d'évitement d'obstacles) présente encore des défis
• Méthodes STT existantes : L'utilisation de fonctions de contournement provoque des changements brusques des tubes, générant des coûts de contrôle élevés

4. Motivation de la Recherche

Sur la base des limitations susmentionnées, cet article propose une méthode de synthèse STT lisse, visant à :

• Éliminer l'utilisation de fonctions de contournement et éviter les changements brusques des tubes
• Réduire le coût de contrôle et améliorer les performances du système
• Maintenir les garanties de satisfaction des spécifications RAS en temps prescrit
• Fournir une solution de contrôle en forme fermée et sans approximation

Contributions Principales

1. Proposition d'un cadre adaptatif STT lisse : Conception d'un nouveau cadre adaptatif capable de construire en temps réel des tubes spatiotemporels lisses, évitant l'utilisation de fonctions de contournement
2. Élimination des changements brusques des tubes : Traitement des contraintes d'évitement d'obstacles par déformation continue lisse, réduisant significativement le coût de contrôle
3. Maintien des garanties théoriques : Préservation des garanties théoriques de satisfaction des spécifications RAS en temps prescrit tout en réduisant le coût de contrôle
4. Fourniture d'une loi de contrôle en forme fermée : Dérivation d'une règle de contrôle sans approximation, applicable aux systèmes affines en contrôle avec dynamique inconnue
5. Validation de l'efficacité de la méthode : Vérification de l'applicabilité pratique et de la supériorité de la méthode par des simulations de robots mobiles omnidirectionnels

Détails de la Méthode

Définition de la Tâche

Tâche RAS en temps prescrit : Étant donné un ensemble non sécurisé U, un ensemble initial S⊂ℝⁿ\U et un ensemble cible T⊂ℝⁿ\U, pour tout état initial x(0)∈S, il existe un temps t∈0,tc tel que x(t)∈T, et la trajectoire évite l'ensemble non sécurisé à tous les instants, c'est-à-dire x(s)∈ℝⁿ\U pour tous s∈0,tc, où tc∈ℝ⁺ est le temps d'achèvement prescrit.

Modèle du Système

Considérons le système non linéaire affine en contrôle :

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

où :

• x(t)∈ℝⁿ : vecteur d'état
• u(t)∈ℝⁿ : vecteur d'entrée de contrôle
• w(t)∈W⊂ℝⁿ : perturbation bornée inconnue
• f(x) et g(x) : fonctions localement Lipschitz inconnues

Architecture du Modèle

1. Conception du Tube de Réachabilité

Définition d'un hyperrectangle centré sur l'état initial x(0) :

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

La limite du tube de réachabilité ρ(t) évolue selon l'équation différentielle suivante :

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

2. Traitement des Spécifications d'Évitement d'Obstacles

L'ensemble non sécurisé est modélisé comme : U = ⋃j∈1,nu U⁽ʲ⁾ ⊂ ℝⁿ

Par le calcul de l'intervalle de temps d'intersection t⁽ʲ⁾, t̄⁽ʲ⁾ entre le tube et le j-ème ensemble non sécurisé :

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

3. Correction Adaptative du Tube

Proposition d'un cadre adaptatif pour corriger le STT :

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

où les fonctions de poids α₁⁽ʲ⁾, α₂⁽ʲ⁾, α₃⁽ʲ⁾ sont définies sur la base de s(t) = 0.5tanh(t/v), réalisant une commutation lisse en trois étapes.

Points d'Innovation Technique

1. Élimination des Fonctions de Contournement

Contrairement aux méthodes existantes, cet article n'utilise pas de fonctions de contournement provoquant des changements brusques, mais réalise plutôt une déformation lisse du tube par des fonctions de poids adaptatives.

2. Mécanisme Adaptatif en Trois Étapes

• Étape 1 : α₁⁽ʲ⁾=1, le tube se dirige vers l'ensemble cible
• Étape 2 : α₂⁽ʲ⁾=1, le tube contourne la projection de l'ensemble non sécurisé
• Étape 3 : α₃⁽ʲ⁾=1, le tube revient en douceur à la limite de réachabilité d'origine

3. Loi de Contrôle en Forme Fermée

Dérivation d'une règle de contrôle sans approximation :

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

où ξ(x,t) et ε(x,t) sont définis sur la base de l'erreur normalisée et de l'erreur transformée.

Configuration Expérimentale

Modèle du Système

Adoption du modèle dynamique d'un robot mobile omnidirectionnel :

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

Configuration de la Scène

• Région initiale : S = 0, 0.5 × 0, 0.5
• Région cible : T = 11, 11.5 × 7, 7.5
• Obstacles :
  • U₁ = 1.5, 2 × 0.5, 3
  • U₂ = 5.2, 6.8 × 3.2, 4
  • U₃ = 7, 8 × 0, 8
• Temps prescrit : tc = 80s

Indicateurs d'Évaluation

Évaluation principale du degré de réduction du coût de contrôle, par comparaison avec les méthodes basées sur les fonctions de contournement.

Résultats Expérimentaux

Résultats Principaux

1. Performance de trajectoire : Le système atteint avec succès la région cible en temps prescrit à partir de la région initiale, tout en évitant tous les obstacles
2. Coût de contrôle : Réduction significative du coût de contrôle par rapport aux méthodes basées sur les fonctions de contournement
3. Lissité : Conception STT plus lisse, évitant les changements brusques

Analyse de Cas

La Figure 2 présente la trajectoire de navigation du robot dans un environnement 2D, où la ligne continue noire représente la trajectoire du système, évitant avec succès tous les obstacles rouges et atteignant la région cible verte. Les résultats de comparaison de la Figure 3 montrent clairement l'avantage significatif de la méthode proposée en termes de coût de contrôle.

Vérification Théorique

Par le Théorème 3.3, il est prouvé que le STT construit satisfait les conditions suivantes :

• Le tube commence à partir de l'ensemble initial : Γ(0) ⊂ S
• Atteint la cible en temps prescrit : Γ(tc) ⊂ T
• Évite l'ensemble non sécurisé tout au long : Γ(t) ∩ U = ∅
• Les limites du tube satisfont les conditions de contrainte

Travaux Connexes

Directions de Recherche Principales

1. Approches par abstraction : Synthèse de contrôle symbolique par discrétisation de l'espace d'état
2. Méthodes par fonction de barrière : Approches d'optimisation basées sur les fonctions de Lyapunov-barrière de contrôle
3. Contrôle par entonnoir : Méthode de contrôle de suivi efficace
4. Méthodes STT : Développement du cadre des tubes spatiotemporels

Avantages de cet Article

Par rapport aux travaux existants, la méthode proposée :

• Évite le problème de la malédiction de la dimensionnalité
• Réduit la complexité de calcul
• Élimine les changements brusques des tubes
• Fournit une solution en forme fermée

Conclusion et Discussion

Conclusions Principales

1. La méthode de synthèse STT lisse proposée résout efficacement le problème du contrôle RAS en temps prescrit
2. L'élimination des fonctions de contournement réduit significativement le coût de contrôle
3. Le cadre adaptatif réalise un traitement lisse de l'évitement d'obstacles
4. L'analyse théorique garantit la correction et l'exhaustivité de la méthode

Limitations

1. Hypothèse d'obstacles statiques : La méthode actuelle suppose que les ensembles non sécurisés sont statiques et connus
2. Restriction sur la classe de systèmes : Principalement ciblée sur les systèmes affines en contrôle
3. Hypothèse de séparation temporelle : Exige que les ensembles non sécurisés soient suffisamment séparés dans le temps
4. Extensibilité aux dimensions élevées : La complexité de calcul pour les systèmes de haute dimension nécessite une vérification supplémentaire

Directions Futures

1. Extension aux environnements dynamiques avec obstacles variant dans le temps
2. Généralisation à une classe plus large de systèmes non linéaires
3. Contrôle de coordination pour les systèmes multi-agents
4. Analyse de robustesse sous perturbations stochastiques

Évaluation Approfondie

Points Forts

1. Innovation théorique forte : La méthode STT lisse proposée présente une innovation théorique claire, éliminant l'utilisation de fonctions de contournement
2. Valeur pratique élevée : La réduction significative du coût de contrôle a une importance majeure pour les applications pratiques
3. Rigueur mathématique : Fourniture d'une analyse théorique complète et de preuves
4. Généralité de la méthode : Applicable aux systèmes affines en contrôle avec dynamique inconnue

Insuffisances

1. Vérification expérimentale limitée : Seul un cas de navigation robotique 2D est fourni, manquant de vérifications plus diversifiées
2. Hypothèses relativement fortes : Les hypothèses d'obstacles statiques et de séparation temporelle peuvent être limitées dans les applications pratiques
3. Analyse insuffisante de la complexité de calcul : Pas d'analyse détaillée de la complexité de calcul de la méthode
4. Vérification insuffisante de la robustesse : Le traitement des perturbations et de l'incertitude nécessite une vérification supplémentaire

Impact

1. Contribution académique : Fournit de nouvelles idées et voies techniques pour le développement des méthodes STT
2. Perspectives d'application : Bon potentiel d'application dans la navigation robotique, la conduite autonome et d'autres domaines
3. Extensibilité de la méthode : Fournit une base théorique solide pour les recherches ultérieures

Scénarios d'Application

1. Planification de trajectoire robotique : Particulièrement adaptée à la navigation robotique dans des environnements statiques connus
2. Contrôle de drones : Applicable au contrôle de vol avec évitement d'obstacles des drones
3. Automatisation industrielle : Applicable aux systèmes de robots industriels nécessitant un contrôle temporel précis
4. Conduite autonome : Utilisable pour le contrôle de véhicules autonomes dans des environnements structurés

Références

L'article cite 18 références connexes, couvrant les domaines pertinents du contrôle symbolique, des méthodes par fonction de barrière, du contrôle par entonnoir, du cadre STT et d'autres travaux importants, fournissant une base théorique solide et des critères de comparaison pour cette recherche.