Laboratoire d’Analyse et d’Architecture des Systèmes
V.F. Montagner (UFSM, Santa Maria, Brésil)
I. Queinnec (LAAS-CNRS, Toulouse, France)
Directeurs de thèse
S. Tarbouriech (LAAS-CNRS)
P.L.D. Peres (UNICAMP, Brésil)
Jean-pierre Richard, professeur à l'Ecole Centrale de Lille
Chaouki T. Abdallah, professeur à l'université de New Mexico, USA
Jean-Louis Calvet, professeur à l'université Paul Sabatier de Toulouse
conditions de stabilité pour les systèmes à retards variants dans le temps et le contrôle de congestion dans les réseaux IP (Internet Protocol).
Premièrement, nous nous sommes intéressés à l'analyse de stabilité des systèmes à retards variables au travers de deux approches temporelles. D'une part, nous avons considéré la très populaire méthode de Lyapunov-Krasovskii dans laquelle nous avons élaboré de nouvelles fonctionnelles en adéquation avec de nouvelles modélisations du système. Pour cela, nous avons procédé à des augmentations de modèle par une méthode de segmentation du retard et par la prise en compte de la dérivée temporelle du système. D'autre part, la stabilité a également été abordée avec une approche entrée-sortie, empruntant alors les outils de l'analyse robuste. Plus précisément, le système à retard est réécrit comme l'interconnexion d'une application linéaire avec une matrice incertaine constituée des opérateurs définissant le système original (intégration, retard). Après avoir revisité le principe de séparation quadratique, nous développons des opérateurs auxiliaires afin de caractériser au mieux la dynamique retardée et proposer des critères moins pessimistes. Dans les deux approches, l'objectif est de prendre en compte un maximum d'informations sur le système afin de fournir des conditions de stabilité moins conservatives. Toutes les conditions obtenues sont formulées en termes d'inégalités matricielles linéaires.
Deuxièmement, la méthodologie développée est ensuite utilisée pour le problème de contrôle de congestion d'un routeur lors de communications TCP (Transmission Control Protocol). Ce protocole de bout en bout est sensible à la perte de paquet et modifie en conséquence son taux d'émission selon l'algorithme du AIMD (Additive-Increase Multiplicative-Decrease). Il s'agit alors « d'ajuster » le taux de perte par l'intermédiaire d'un mécanisme d'Active Queue Management (AQM) situé au niveau du routeur pour réguler le trafic. Un tel dispositif joue donc le rôle d'un correcteur qui stabilise le trafic TCP et le phénomène de congestion du routeur en dépit des retards de transmission induits par le réseau. Les résultats théoriques sont ensuite évalués à l'aide de simulations non linéaires sur Matlab, puis sur le simulateur de réseaux NS-2.
Mots clés:
Automatique, systèmes à retards, Lyapunov, séparation quadratique, LMI.
Réseau, TCP, contrôle de congestion, active queue management.
- 30 Décembre-30Janvier : P.L.D. Peres (Université de Campinas, Brésil) est au LAAS pour une coopération avec le groupe MAC dans le cadre d'un projet CNRS-FAPESP.
- 27 Janvier-05 Février : Masayuki Sato (JAXA, Japon) visite le groupe MAC.
- 29 Janvier-25 Février : J.M. Gomes da Silva Jr. (UFRGS, Porto Alegre, Brésil) est au LAAS pour une coopération avec le groupe MAC dans le cadre d'un projet CAPES-COFECUB.
- 23 Février-3 Mars : Alberto Mercado de l'Universidad Tecnica Federico Santa Maria de Valparaiso, Chili visite le groupe MAC.
- 02 Mars 2009-31 Mars 2010 : Akin DELIBASI de Yildriz Technical University, Istanbul, Turquie, post-doctorant a rejoint le groupe MAC pour un an.
- 09-11 Mars : Sylvère Bonnabel de l'Ecole des Mines de Paris visite le groupe MAC.
- 10-12 Mars : Joseph Winkin (Université de Namur, Belgique) visite le groupe MAC pour l'organisation de la conférence CDPS'09.
- 01-14 Avril : Boris POLYAK et Elena GRYAZINA de "Insititute for Control Sciences RAS" Moscou, visite le groupe MAC.
- 27-29 Mai : Marco ARIOLA de "Universita degli Studi di Napoli Parthenope", Italie, visite le groupe MAC dans le cadre de la réunion discussion FST.
- 01-3 Juin : I. Barkana, Consultant, Barkana Consulting Israël, visite le groupe MAC
- 29 juin-03 juillet : M. Jungers CR-CNRS, CRAN, visite le groupe dans le cadre du projet ANR ArHyCo.
- 02-03 juillet : J. Daafouz PU-INPL, CRAN, visite le groupe dans le cadre du projet ANR ArHyCo.
- 30 Septembre - 10 Octobre : G. Simeunovic, doctorant à FS-CVUT à Prague, visite le groupe MAC dans le cadre du projet Barrande.
- 12-22 Octobre : T. Vyhlidal, professeur associé à FS-CVUT, visite le groupe MAC dans le cadre du projet Barrande.
- 27-29 Octobre : A. Karimi de l'EPFL de Lausanne, Suisse, visite le groupe MAC.
- 28 Octobre 2009 au 30 Mars 2010 : E. Bombieri, étudiant Brésilien, effectue un stage au sein du groupe MAC.
- 02-06 Novembre : M. Fiacchini, doctorant de l'Université de Séville, visite le groupe MAC.
- 16 Novembre 2009 - 13 Janvier 2010 : L. Rodrigues, Professeur Associé à l'Université de Concordia au Québec, visite le groupe MAC.
- 22-24 Novembre : C. Abdallah, de l'Université de New Mexico (Albuquerque, USA), visite le groupe MAC.
- 06-16 Décembre : J. F. Camino, Professeur à l'Université Estadual de Campinas, visite le groupe MAC.
- 22-23 Janvier : D. Arzelier, G. Garcia et D. Peaucelle sont au GT MOSAR à Besançon.
- 06 Février : L. Baudouin est au Séminaire du Groupe de Travail Contrôle au Laboratoire Jacques-Louis Lions à Paris.
- 16-20 Février : L. Baudouin et C. Prieur sont au Colloque "Contrôle et Problèmes pour les EDP : Aspects Théoriques et Numériques" - CIRM Marseille.
- 25-26 Mai : C. Prieur est invité par le CRAN et l'Institut Elie Cartan à Nancy et fait un exposé sur les systèmes hybrides.
- 29 Mai : C. Prieur fait un exposé au séminaire sur la commande des EDP à l'Université de Namur, Belgique.
- 1-3 Juin : D. Henrion donne un cours sue les LMI et polynomes positifs pour la commande et le traitement du signal à l'Université de Torun, Pologne.
- 08-10 Juin : I. Queinnec est à la Faculté Polytechnique de Mons, en Belgique et fait un séminaire sur les systèmes bilinéaires.
- 16-18 Juin : I. Queinnec participe au Colloque STIC & Environnement à Calais, France.
- 24 Juin : C. Prieur fait un exposé au séminaire sur la commande des EDP au LAGED, Lyon.
- 07-11 Juillet : F. Gouaisbaut et D.Peaucelle sont à la conférence IEEE - MSC à St Petersburg, Russie.
- 22-27 Août : D. Peaucelle, F. Gouaisbaut, S. Tarbouriech, I. Queinnec et V. Mahout sont à la conférence ECC 2009 à Budapest, Hongrie.
- 3-29 Août : L. Baudouin participe à l'Ecole d'été "Partial Differential equations, optimal design and Numerics" à Benasque Center for Science, Benasque, Espagne.
- 01-04 Septembre : Y. Ariba est au Séminaire KTH, Royal Institute of Technology, à Stockholm, Suède.
- 13-19 Septembre : C. Prieur participe au séminaire de l'Université de Bilbao, Espagne.
- 14-16 Septembre : D. Henrion participe à la Conférence BFG 2009 à Lueven, Belgique.
- 20-21 Novembre : D. Bily, M. Kara-Zaitri, B. Robu et V. Mahout présentent la démo de l'Hélicoptère et accompagnent les visiteurs dans le laboratoire lors de la Fête de la Science.
- 13-19 Décembre : V. Andrieu, D. Peaucelle, G. Garcia, D. Arzelier et P. Pakshin sont à la 48th CDC Conférence à Shangaï, Chine.
- 15-22 Décembre : G. Garcia assiste à une réunion avec des doctorants ainsi qu'à la Conférence STA'09, à Tunis et Monastir, Tunisie.
The scope of sliding mode control studies embraces
-mathematical methods of discontinuous differential equations,
-design of manifolds in the state space and discontinuous control functions enforcing motions along the manifolds,
-implementation of sliding mode controllers and their applications to control of dynamic plants.
The first problem concerns development of the tools to derive the equations governing sliding modes and the conditions for this motion to exist. Formally motion equations of SMC do not satisfy the conventional uniqueness-existence theorems of the ordinary differential equations theory. The reasons of ambiguity are discussed. The regularization approach to derive sliding motion equations is demonstrated. The sliding mode existence problem is studied in terms of the stability theory.
Enforcing sliding modes enables decoupling of the design procedure, since the motion preceding sliding mode and motion in sliding mode are of lower dimensions and may be designed independently. On the other hand, under so-called matching conditions the sliding mode equations depend neither plant parameter variations nor external disturbances. Therefore sliding mode control algorithms are efficient when controlling nonlinear dynamic plants of high dimension operating under uncertainty conditions. The design methods are demonstrated mainly for systems in the regular form. The design methodology is illustrated for sliding mode control in linear systems.
The sliding mode control methodology is generalized for discrete-time systems to make feasible its implementation for the systems with digital controllers. The concept ?sliding mode? is introduced for arbitrary dynamic systems.
New mathematical and design methods are needed for sliding mode control in infinite-dimensional systems including systems governed by PDE. The recent results in this area are briefly surveyed. The control design is illustrated for the flexible shaft and plate.
The problem of chattering caused by unmodeled dynamics is discussed in the context of applications. The systems with asymptotic observers are shown to be free of chattering. Sliding mode control of electric drives, mobile robots, in automotive applications is demonstated.