Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Guaranteed set-point computation with application to the control of a sailboat

Abstract : The problem of characterizing in a guaranteed way the set of all feasible set-points of a control problem is known to be difficult. In the present work, the problem to be solved involves non-linear equality constraints with variables affected by logical quantifiers. This problem is not solvable by current symbolic methods like quantifier elimination, which is commonly used for solving this class of problems. We propose the utilization of guaranteed set-computation techniques based on interval analysis, in particular a solver referred to as Quantified Set Inversion (QSI). As an application example, the problem of simultaneously controlling the speed and the orientation of a sailboat is presented. For this purpose, the combination of QSI solver and feedback linearization techniques is employed.
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00593201
Contributeur : Marie Briec <>
Soumis le : lundi 20 juin 2011 - 14:48:37
Dernière modification le : lundi 20 juillet 2020 - 11:24:14
Archivage à long terme le : : mercredi 21 septembre 2011 - 02:20:37

Fichier

paper_herrero_ijcas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Pau Herrero, Luc Jaulin, Josep Vehi, Miguel A. Sainz. Guaranteed set-point computation with application to the control of a sailboat. International Journal of Control, Automation and Systems, Springer, 2010, 8 (1), pp.1-7. ⟨10.1007/s12555-010-0101-3⟩. ⟨hal-00593201⟩

Partager

Métriques

Consultations de la notice

382

Téléchargements de fichiers

317