Computing capture tubes

Luc Jaulin 1, 2 Jordan Ninin 1, 2 Gilles Chabert 3 Stéphane Le Menec 4 Mohamed Saad Ibn Seddik 1, 2 Vincent Le Doze 4 Alexandru Stancu 5
2 Lab-STICC_ENSTAB_CID_IHSEV ; OSM
STIC - Pôle STIC [Brest]
3 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : A dynamic system can often be described by a state equation ˙x = h(x, u, t) where x ∈ Rn is the state vector, u ∈ Rm is the control vector and h : Rn × Rp × R → Rn is the evolution function. Assume that the control low u = g (x, t) is known (this can be obtained using control theory), the system becomes autonomous. If we define f (x, t) = h(x, g (x, t) , t), we get the following equation. ˙x = f (x, t) . The validation of some stability properties of this system is an important and difficult problem [2] which can be transformed into proving the inconsistency of a constraint satisfaction problem. For some particular properties and for invariant system (i.e., f does not depend on t), it has been shown [1] that the V-stability approach combined interval analysis [3] can solve the problem efficiently. Here, we extend this work to systems where f depends on time.
Type de document :
Communication dans un congrès
SCAN 2014, Sep 2014, Wurzburg, Germany. 2014
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01122023
Contributeur : Annick Billon-Coat <>
Soumis le : mardi 3 mars 2015 - 10:18:17
Dernière modification le : mercredi 13 avril 2016 - 01:11:30

Identifiants

  • HAL Id : hal-01122023, version 1

Citation

Luc Jaulin, Jordan Ninin, Gilles Chabert, Stéphane Le Menec, Mohamed Saad Ibn Seddik, et al.. Computing capture tubes. SCAN 2014, Sep 2014, Wurzburg, Germany. 2014. <hal-01122023>

Partager

Métriques

Consultations de la notice

238