Projet TOAST

Présentation :

TOAST (Théorie des jeux, Outils de l'automatique, de l'Algorithmique et du Signal pour les Télécommunications) est un projet commun aux laboratoires LSV et SATIE de l'ENS Cachan, financé par l'ENS Cachan dans le cadre de l'Institut Fédératif de Recherche Henry Farman.

Le projet TOAST a également été accepté et financé par le département ST2I du CNRS dans le cadre des projets PEPS (Projets Exploratoires Pluridiciplinaires).

Les participants à ce projet sont :

LSV	SATIE
Patricia Bouyer C.R., CNRS Thomas Brihaye Post-doc, ENSC François Laroussinie M.d.C., ENSC Nicolas Markey C.R., CNRS Ghassan Oreiby Doctorant, ENSC Philippe Schnoebelen D.R., CNRS	Mohamed Abbas-Turki M.d.C., ENSC Jean-Pierre Barbot M.d.C., ENSC Stéphanie Bay Doctorante, ENSC Ana Lúcia Franco Driemeyer Post-doc, ENSC Benoît Geller M.d.C., délég. ENSC Marc Jungers Ag.Pr., ENSC Pascal Larzabal P.U., Paris Sud 11

Ce projet de recherche est avant tout exploratoire : il vise à utiliser une représentation par automates pour modéliser et étudier des problèmes de calcul de puissance d'émission dans des canaux de communications. La proposition de projet présente plus en détails l'approche envisagée.

Mots-clefs :

Allocation optimale de ressources, Automates, Automatique, Télécommunications, Théorie des jeux, Vérification.

Réunions :

• La première réunion a eu lieu le mercredi 21 mars, à 15h, à la bibliothèque du LSV.
• La deuxième réunion a eu lieu le jeudi 3 mai, à 11h, à la bibliothèque du LSV.
• La troisième réunion a eu lieu le mercredi 13 juin, à 10h, à la salle de réunion de SATIE.
• La quatrième réunion a eu lieu le vendredi 20 juillet, à 10h, à la salle de réunion de SATIE.
• Les transparents et le poster de la journée Farman du 14 février 2008.

Bibliographie :

• Articles généraux sur l'automatique, l'optimisation et la théorie des jeux :
  1. Stephen Boyd and Lieven Vandenberghe. Convex Optimisation. Cambridge University Press, 2004.
  2. Daniel P. Palomar. Page web personnelle sur l'optimisation et les télécommunications.
  3. Tamer Basar. Page web personnelle sur l'automatique et la théorie des jeux.
  4. Sylvia Estivie. Page web personnelle sur l'allocation de ressources multi-agents.

• Articles sur le contrôle de la puissance d'émission :
  1. Wei Yu, George Ginis, and John M. Cioffi. Distributed Multiuser Power Control for Digital Subscriber Lines. IEEE Journal on Selected Areas in Communications 20(5):1105-1115. IEEE, June 2002.
  2. Allen B. MacKenzie and Stephen B. Wicker. Game Theory in Communications: Motivations, Explanation, and Application to Power Control. In Proc. IEEE Global Telecommunications Conference 2001 (GLOBECOM'01), vol. 2, pages 821-826. IEEE CNF.
  3. Ananth Subramanian and Ali H. Sayed. Joint Rate and Power Control Algorithms for Wireless Networks. IEEE Transactions on Signal Processing 53(11):4204-4214. IEEE, November 2005.

• Articles généraux sur le model-checking et le contrôle de systèmes réactifs :
  1. Joost-Peter Katoen. Principles of Model-Checking. Lecture notes, 2004.
  2. Girish Keshav Palshikar. An introduction to model checking.
  3. Patricia Bouyer and Fabrice Chevalier. On the Control of Timed and Hybrid Systems. Concurrency Column, Bull. of the EATCS 89, pages 79-96, 2006.
  4. Rajeev Alur, Orna Kupferman, and Thomas Henzinger. Alternating-time Temporal Logic. Journal of the ACM 49:672-713, 2002. ACM Press.

À propos du LSV