Yskandar Hamam. et Informatique Industrielle (SC2I)

Transcription

1 L'OPTIMISATION : UN OUTIL DE L'INGENIEUR Yskandar Hamam Laboratoire Systemes de Commande et Informatique Industrielle (SC2I) E.S.I.E.E. Cite Descartes, BP Noisy-le-Grand CEDEX 28 mai 1998

2 Table des matieres Prologue 3 Introduction 4 1 Optimisation des Problemes Lineaires Resolution de problemes avec matrices creuses Problemesdetransport Dualite et structure du probleme Decomposition Extensions aux problemes particuliers Conclusions Optimisation des Problemes Non-Lineaires Methodes basees sur le gradient Methodes basees sur la programmation lineaire Approximation lineaire Linearisations successives Methodes de coupes Optimisation par pas bornes Decomposition Coordination Conclusion Programmation Lineaire en Nombres Entiers Modelisation Methodes de separation et evaluation Lescoupesetlesinegalites valides Separation des variables par la methode de Benders Conclusions

3 4 Les Meta-Heuristiques Le recuit simule Les algorithmes genetiques Les reseaux neuro-mimetiques La logique oue Conclusion Conclusions 34 Curriculum Vitae 37 Activites pedagogiques Activites administratives et d'inter^et collectif Contribution au fonctionnement du Groupe ESIEE Contributions nationales et internationales Autres activites a caractere scientique Theses dirigees Bibliographie 51 Livre ou chapitres dans des ouvrages collectifs Articles de revues Actes de conferences Brevetsetrapports Theses dirigees References generales

4 Prologue A mon avis, il y a deux types de chercheurs : ceux qui s'attachent aun probleme specique en l'explorant par approches successives et incrementales et ceux qui s'attaquent a tous types de problemes en appliquant et adaptant les methodes disponibles. Personnellement, je me place dans cette deuxieme categorie par go^ut et pour tuer l'ennui. Dans ce rapport, je presente une succession de problemes et de methodes pour les traiter. Chaque probleme est souvent attaque par plusieurs methodes, le seul souci, etant de trouver la methode la mieux adaptee a sa resolution. Des annees de recherches m'ont amene a rencontrer des "integristes de la science", des chercheurs ayant un point de vue tres tranche sur les "bonnes" et les "mauvaises" methodes pour la resolution des problemes. Dans ce qui suit, je ne pretend pas presenter une (des) approche(s) pour tout chercheur mais une facon de faire la recherche qui me convient et me permet de ranimer continuellement mon inter^et dans un travail qui devient dans le contexte actuel, essentiellement nancier, de plus en plus dicile a realiser. De plus, mes divers cadres d'activites professionnelles, tant ingenieur qu'enseignant-chercheur, m'inclinent a une approche plut^ot pragmatique. L'essentiel dans tout ce qui va suivreestdoncbiendetrouver la solution optimale, si possible, voire simplement une solution, quelles que soient les methodes employees pour y parvenir. Peu importe alors le manque "d'orthodoxie" dont les "integristes scientiques" ne manqueront pas de qualier ces demarches. J'espere que le lecteur, ainsi averti, prendra autant d'inter^et a lire ce qui va suivre, que j'en ai eu a le realiser. 3

5 Introduction Les premiers travaux importants sur les techniques d'optimisation datent des annees cinquante avec le developpement de la programmation mathematique lineaire et non-lineaire. Depuis d'innombrables travaux ont ete publies traitant de problemes tres varies : continus et combinatoires, lineaires et nonlineaires, algebriques ou dans les graphes, deterministes ou stochastiques. Travailler dans ce domaine necessite une ma^trise de toute la cha^ne:de la modelisation a l'optimisation en passant par l'analyse numerique. Sans un de ces elements, il est dicile de traiter des problemes reels. Avant d'entamer la presentation de mes travaux il me semble necessaire de commencer par quelques remarques d'ordre general pouvant expliquer ma demarche en ce qui concerne la recherche et developpement dans ce domaine. Pour resoudre ce type de probleme, le chercheur va ^etre confronte des l'amorce a une serie de choix determinant pour la suite des operations. En eet, il lui faut tout d'abord choisir un modele. Cette operation est des plus delicates dans la mesure ou ce choix va determiner pour le moins le domaine de validite de la (des) solution(s) obtenue(s). Si le choix se porte sur un modele complexe (plus precis au sens de la realitephysique) la manipulation risque d'^etre co^uteuse (en temps de calcul) voire hasardeuse. Dans le cas ou un modele plus simple est utilise, le risque alors est grand d'obtenir des resultats peu ou pas utilisables. De plus, le choix du modele peut avoir une inuence determinante sur la pertinence des methodes de resolutions utilisees. Des exemples de ce type de probleme sont d'ailleurs largement abordes dans la suite de ce document. Lie au choix du modele une autre consideration doit ^etre prise en compte : 4

6 quid de l'optimalite d'une solution par rapport a un modele qui ne peut, par nature, representer totalement la realite? Et d'ailleurs, faut il eriger en religion la recherche de La Solution Optimale alors que dans beaucoup de cas une Bonne Solution est non seulement susante mais est m^eme la seule solution raisonnable eu egard aux ecarts entre le modele etudieetleprobleme reel? Ne faut il pas plut^ot considerer le critere d'optimalite comme un guide vers une Bonne Solution? Un autre probleme doit ^etre evoque dans cette introduction, probleme auquel, d'ailleurs nous n'apportons pas de solution generale, celui de la robustesse d'une solution optimale. En eet, dans les methodes telles que la programmation lineaire une modication mineure des donnees peut engendrer une solution optimale radicalement dierente de celle obtenue precedemment. Ceci pose de reels problemes quant a la mise en oeuvre sur des systemes reels. Il est aussi essentiel de denir au mieux les criteres d'optimalite qui vont permettre de caracteriser les solutions. Par exemple, dans le cas des robots manipulateurs deux criteres sont couramment utilises : le temps minimal et l'energie minimale. En fait, le premier critere va generer des solutions mettant a dure epreuve les capacites mecaniques de la structure alors que le deuxieme, qui d'ailleurs ne correspond pas vraiment a l'energie minimale, va fournir des commandes souples en limitant les eorts sur les actionneurs. Une ponderation de ces deux criteres fournit des solutions de compromis de bonne qualite. L'optimalite dans cette optique est donc le moyen de permettre a l'utilisateur de choisir a un niveau superieur, voire strategique. Nous nous trouvons dans ce cas face a un veritable outil d'aide a la decision. Dans les premiers temps, les techniques d'optimisations naissantes ont apporte un grand espoir. En eet, les previsions de puissance croissante des moyens de calcul pouvaient laisser croire qu'en utilisant de telles methodes la resolution de pratiquement tous les problemes etait envisageable. Cependant, il faut bien constater que cette certitude n'a pas eteentierementrealisee dans les faits et cela pour diverses raisons. Il a ete demontre que pour de nombreux problemes il n'y a pas de possibilite de solutions optimales en temps polyn^omial ce qui implique l'impossibilite de resolution dans le cas de problemes de taille reelle. Un des exemples les plus frappants etant le placement des composants et le routage dans le cas des V.L.S.I.. 5

7 Cette constatation a provoque le developpement de methodes fournissant des solutions sous-optimales basees sur l'emulation de processus naturels qu'ils soient physiques (recuit simule) ou biologiques (algorithme genetique ou reseaux neuro-mimetiques). D'une part ces methodes visent a l'obtention d'une solution presentantunecart limiteavec l'optimum avec une probabilite proche de l'unite plut^ot que d'assurer la solution optimale. D'autre part elles fournissent un cadre heuristique general permettant l'obtention de solutions ne necessitant qu'un temps de developpement limite. En tout etat de cause et qu'elle que soit la technique retenue les apports croises entre disciplines et/ou domaines scientiques prennent ici toute leur importance. La preuve en sera donnee dans la suite de ce memoire que ce soit au niveau de la confection des modeles ou au niveau de l'utilisation des techniques de resolution. Dans ce type de rapport, on peut d'ailleurs, assez souvent constater un enrichissement mutuel. Ainsi, les reseaux neuromimetiques dont l'apport a l'automatique est aussi important que l'apport de l'automatique a la comprehension de leur dynamique. La redaction de ce memoire a tente de privilegier une approche analytique et qualitative des diverses methodes developpees et/ou utilisees par l'auteur. Ainsi nous nous bornons a presenter de facon generale et succincte l'ensemble de nos travaux, en mettent l'accent plut^ot sur les avantages et les limitations de ces methodes. Le lecteur interesse pourra se reporter avec prot aux articles cites dans la bibliographie. La suite de ce memoire est organisee en quatre chapitres suivis par une conclusion. Cette division reete la diversite des travaux presentes. { Le premier chapitre traite de l'optimisation des problemes lineaires et ses extensions. Les domaines traites couvrent une gamme d'applications tres etendue : reseaux de distribution et de production d'electricite, reseaux de distribution de gaz et d'eau, systemes de chauage, robotique,... { Le deuxieme chapitre reprend l'optimisation des problemes non-lineaires. Les domaines abordes sont aussi varies que dans le premier chapitre et une attention particuliere est portee a l'adequation entre la formulation du probleme et la methode de resolution adoptee. { Le troisieme chapitre traite de la programmation lineaire en nombres 6

8 entiers. { Le quatrieme chapitre fait un point sur diverses "meta-heuristiques" : recuit simule, algorithmes genetiques, reseaux neuro-mimetiques et logique oue. { Enn on essaiera de conclure en faisant la synthese de ces diverses experiences. Un point technique qu'il me faut ici preciser. J'ai pris la liberte, dans cet ouvrage de citer les references bibliographiques en adoptant les conventions suivantes : { Les ouvrages (livres et articles) de references generales sont cites de la facon suivante [Met-53]faisant ainsi apparaitre le nom du ou des auteurs principaux ainsi que la date de parution. { Les livres ou j'apparais en tant que co-auteur ou auquels j'ai contribue pour au moins un chapitre sont cites ainsi [l-00]et sont classes par ordre de parution. {De m^eme les articles de revue dont je suis un des auteurs apparaissent sous la forme [r-01]et sont classes par ordre de parution. { On adoptera le m^eme schema pour les communications edites dans les proceedings des conferences qui sont citees ainsi [c-01]et sont classees par date de parution { Certains documents de type brevets ou rapports d'etudes que j'ai realises (ou encadres), sont libelles ainsi [a-01]et sont classe chronologiquement. { Enn, les theses que j'ai encadrees (ou co-dirigees) apparaissent ainsi [t-01]et sont classees par ordre de parution. 7

9 Chapitre 1 Optimisation des Problemes Lineaires Proposee par C.B.Dantzig en 1949 [Dant-49]la programmation lineaire a permis la resolution des problemes dans la plupart des domaines. Utilisee directement ou comme partie d'un autre algorithme, des problemes de tailles tres variees (quelques variables jusqu'a quelques dizaines de milliers) ont ete resolus par cette methode. Pour que ce type de resolution soit ecace, cette methode necessite une formulation adequate tenant compte de la specicite de chaque probleme traite. 1.1 Resolution de problemes avec matrices creuses Les problemes de grande taille sont rarement d'une grande connectivite. Les reseaux de distribution (e.g. electricite, eau, gaz) possedent un nombre de lignes par noeud tres limitenedependant pas de la taille du systeme. Bien que les matrices de ces reseaux soit grandes le nombre d'elements non nuls est proportionnel au nombre de noeud et non au carre de ce nombre. L'utilisation de methodes adaptees pour le stockage et le traitement des donnees permet de reduire le temps de calculs et donc d'augmenter la taille limite du probleme resolu [r-01], [r-03], [r-07], [r-10], [r-13], [r-14], [r-15], [r-16], [c-04], [c-06], [c-11], [c-13], [c-17], [c-21], [c-26], [l-03]. Il est essentiel d'utiliser ces techniques chaque fois qu'un probleme de ce type se presente. 8

10 Ces methodes sont basees sur deux developpements : { Le premier est mathematique. Il est lieaudeveloppement des methodes de decomposition et factorisation des matrices. { Le deuxieme est informatique. Il est base sur les techniques de traitement des listes dynamiques. Le choix d'une representation dans ce type de probleme a un caractere determinant. Ainsi, dans les cas des reseaux de distribution d'eau ou de gaz, on sera amene pour obtenir les bonnes proprietes (parfois contradictoires) a changer de representation au cours de la resolution [r-01]. 1.2 Problemes de transport Une extension de la programmation lineaire, les methodes de resolution des problemes de transport augmentent l'ecacite du calcul et permettent l'optimisation des problemes de dizaine de milliers de variable. Avant d'entreprendre la resolution d'un probleme d'optimisation, il est important de verier si le probleme peut ^etre ecrit dans cette forme [l-00], [c-07]. Souvent un probleme auxiliaire peut ^etre resolu de cette facon. Les options sont les suivantes : { Une dualisation du probleme peut aboutir a une forme de reseau de transport [r-03],[c-06]. Le probleme lineaire primal doit ^etre caracterise par une matrice avec des elements +1, -1 ou 0, avec 2 elements non nul par ligne seulement. Des formes voisine sont cependant possibles. { Une decomposition des problemes peut egalement produire des sous problemes en forme de probleme de transport [r-05], [r-07], [c-10]. Cette methode est particulierement ecace si la decomposition produit un probleme de petite taille de forme generale et un grand probleme de transport. {Un probleme d'optimisation combinatoire peut ^etre formule an de donner un probleme d'evaluation en forme de reseau de transport [r-04], [r-06], [l-03], [c-06]. La resolution des problemes de transport peut ^etre eectuee soit par la methode matricielle ou par les graphes. La methode basee sur la manipulation des graphes est plus ecace [l-00],[c-07]. La recherche debouche au- 9

11 jourd'hui sur une autre classe de methodes de type relaxation [Ber-88]ou de type Karmarkar [Kar-84]qui se reclame d'une ecacite superieure. 1.3 Dualite et structure du probleme Le probleme dual peut souvent avoir une meilleure structure pour la programmation lineaire que le probleme primal. Dans [c-05]et [r-03], par exemple, le probleme dual, apres transformation, a une structure de reseau de transport avec limites de ux dans les branches. La solution du dual est donc plus ecace que celle du primal necessitant l'utilisation de la methode du simplexe dans sa forme generale. Dans [c-11]apres formulation du dual une reduction du nombre de variables devient possible et une partie de contraintes duales est traitee par une modication du simplexe pour tenir compte de bornes superieures sur les variables. La base du probleme dual a une dimension plusieurs fois inferieures a celle du probleme primal et l'algorithme est donc plus ecace. Un autre exemple est celui de detection de collision pour robot [a-05]. Des contraintes lineaires multiples representent l'enveloppe des surfaces convexes des dierents segments du robot. Le nombre de ces contraintes peut s'elever a plusieurs dizaines. Cependant, le nombre de variables est seulement 3. Une dualisation de ces contraintes produit un probleme a 3contraintes seulement, et donc une base de 3 3. Il devient, alors, possible de resoudre ce probleme en temps reel. 1.4 Decomposition L'utilisation de la decomposition peut ^etre motivee par deux raisons parmi d'autres qui me paraissent essentielles : { La taille du probleme : bien que les ordinateurs soient deplusenplus puissant, il est parfois dicile de resoudre un probleme d'un seul coup. Gr^ace a unedecomposition du probleme en plusieurs sous problemes, il est possible de contourner cette diculte. Les travaux [r-02], [c-02],[c-05] sont une illustration de ce type d'application. 10

12 { La structure du probleme : la decomposition du probleme produit un petit probleme d'une structure generale et un grand probleme d'une structure particuliere. Ce grand probleme pouvant ^etre resolu par un algorithme particulier adapte a cette structure. Dans [r-05], [r-07],[c-10] un probleme de plusieurs milliers de variables est decompose en deux probleme en utilisant la methode de Benders [Ben-62]. { Le premier probleme est d'une forme generale avec des contraintes dont le nombre varie au cours de l'optimisation. Il est resolu dans sa forme duale. Le nombre de variables est de quelques dizaines. {Le deuxieme probleme de taille importante (allant jusqu'a variables) peut prendre deux formes. La premiere forme permet une resolution par ordre de merite et la deuxieme forme permet une resolution basee sur un reseau de transport equivalent. La decomposition est dans ce cas l'outil ideal. Elle produit des solutions optimales dans un temps qui reste limitea quelques minutes. 1.5 Extensions aux problemes particuliers Frequemment les problemes d'optimisation lineaire gurent dans des formes particulieres. Dans la section precedente des sous problemes ont une forme permettant la resolution par des algorithmes adaptes derives de la methode du Simplexe. D'autres problemes peuvent se presenter directement ou apres manipulation dans une forme simple. Ainsi dans [a-02][a-03][a-04]un probleme de commande d'un systeme de chauage de b^atiments se presente comme un probleme de commande optimale lineaire d'un systeme multi-entrees et une sortie. Il est demontre ensuite que tout probleme a plusieurs commandes et possedant une sortie unique peut ^etre resolu par une methode basee sur un ordre de merite. Ceci permet une solution optimale en temps reel sur un processeur d'une capacite de calcul limitee. 1.6 Conclusions La programmation lineaire est un outil indispensable pour l'optimisation des problemes lineaire. Depuis le developpement de la methode du simplexe 11

13 une quantite innombrable d'extensions a ete developpe. Les applications sont egalement tres etendues. Une grande variete de problemes a eteresolue. La resolution ecace necessite une bonne connaissance des outils et une adaptation entre l'outil et le probleme. Dans ce chapitre quelques-unes de ces adaptations ont ete traitees. La methode le plus utilisee pour la resolution des problemes lineaires reste jusqu'a aujourd'hui celle du simplexe. La methode developpee par Karmarkar [Kar-84], cependant, commence a la concurrencer. Une classe de methodes basee sur le m^eme principe (methodes du point interieur) commence a voir le jour et un grand nombre de chercheurs s'y interessent. Le travail presente dans ce chapitre n'a pas l'intention de traiter toutes les methodes (travail presque impossible etant donne larichesse de la litterature dans le domaine) mais de presenter une demarche dans laquelle un optimiseur doit toujours chercher une coherence entre les modeles mathematique et la methode utilisee. 12

14 Chapitre 2 Optimisation des Problemes Non-Lineaires La terminologie de programmation non-lineaire a ete proposee par Kuhn &Tucker [Kuh-51]en 1951 pour designer la recherche de l'optimum d'une fonction de plusieurs variables en presence ou non des contraintes d'egaliteet d'inegalite. Ils presentent egalement les conditions d'optimalite. Les travaux qui ont suivi vont dans plusieurs directions : {ledeveloppement des extensions permettant d'accelerer la convergence par l'utilisation des informations de deuxieme ordre ou la methode converge en un nombre ni d'iterations pour des fonctions quadratique [Fle-64],[Pol-74]. {le developpement des methodes permettant d'accelerer le calcul par l'utilisation des approximations des matrices utilisees dans les algorithmes [Bro-70],[Fle-70],[Gol-70],[Sha-70]. {methodes basees sur la programmation lineaire. {methodes de decomposition pour le traitement des problemes de grande taille. Dans ce chapitre des applications de la programmation non-lineaire a des problemes d'operation et de commande optimale seront traitees. 13

15 2.1 Methodes basees sur le gradient Les methodes d'optimisation basees sur le gradient oulesousgradientont recu une tres grande attention des chercheurs enroles dans la programmation mathematique. Deux grandes classes de problemes existent : { Optimisation sans contraintes { Optimisation avec contraintes La grande majorite des problemes rencontres sont avec contraintes. Ces contraintes sont de type egalite ou inegalite. Les dicultes rencontrees dans l'optimisation sont essentiellementliees a ces contraintes. Un algorithme ecace doit traiter ces contraintes d'une facon adaptee a chaque categorie. Dans le m^eme probleme il est parfois necessaire d'utiliser plusieurs methodes pour le traitement des dierentes contraintes. Ces methodes sont les methodes primales egalement appelees methodes directes et les methodes duales. { Dans le premier cas les contraintes sont traitees directement, ce qui implique leur respect tout au long de la procedure de resolution et notamment a l'initialisation. Dans cette methode nous avons besoin des le depart d'une solution qui respecte les contraintes. Toute solution ulterieure doit de m^eme preserver cette propriete. Dans les cas, frequents, ou il est necessaire de garantir une solution bien que non optimale en temps limite cette methode, si elle est applicable, nous permet de repondre a cette exigence. { Dans le second cas, on convertit un probleme d'optimisation avec contraintes en un probleme d'optimisation sans contraintes en utilisant des multiplicateurs de Lagrange (variables duales) pour traiter les contraintes. Le probleme se ramene donc a un probleme de des variables primales avec minimisation des variables duales. Le gros avantage de cette formulation c'est qu'il n'est nul besoin de disposer d'une solution faisable au depart, mais par la m^eme il est indispensable d'arriver a l'optimum pour ^etre sur que la solution soit faisable. Il est important de noter que les deux approches ne sont pas mutuellement exclusives et qu'il est parfaitement possible de les faire cohabiter dans la 14

16 resolution d'un m^eme probleme, ainsi dans [t-01]les contraintes lies a l'etat nal sont traites par projection alors que les bornes sur les variables sont dualisees. 2.2 Methodes basees sur la programmation lineaire Plusieurs options sont possibles pour la resolution des problemes nonlineaires par la programmation lineaire : { l'approximation des fonctions non-lineaires par une succession de segments lineaires { les methodes de linearisations successives { les methodes basees sur les coupes { programmation convexe Les trois premieres methodes ont ete utilisees par l'auteur. La qualite de la methode du simplexe dans le traitement des contraintes d'inegalite rend cette methode comme une alternative ecace pour les problemes possedants un grand nombre de ces contraintes Approximation lineaire Etant donne une erreur d'approximation il est possible de denir un nombre de segments lineaires pouvant representer une fonction non-lineaire. Des contraintes sont ensuite utilisees pour remplacer la fonction d'origine. Plusieurs variables sont ensuite utilisees [Min-82], [l-06], [c-21]. Ces variables gurent dans la base de la programmation lineaire d'une facon exclusive, soit une a la fois ou deux par deux d'une facon sequentielle. Etant donne la specicite de ces formes, il est important d'adapter les programmes utilises an de reduire le temps de calcul. Une autre precaution a prendre est d'optimiser le choix de segments. Il est important, cependant, d'analyser la convexite des contraintes traitees avant d'entreprendre ce type de methode. 15

17 2.2.2 Linearisations successives Les methodes de programmation non-lineaire basees sur le gradient presentent quelques dicultes de convergence en ce qui concerne les problemes d'optimisation avec un nombre important de contraintes d'inegalite. Un algorithme de resolution des problemes non-lineaire basee sur la linearisation des contraintes peut remedier a ce probleme [r-02]. La linearisation des contraintes dans le voisinage d'une solution permet l'utilisation de la programmation lineaire pour obtenir une solution du sous probleme lineaire. En repetant cette procedure il est possible de resoudre des problemes. Des phenomenes d'oscillation peuvent appara^tre autour de la solution optimale. En denissant une sphere limitant la modication de la solution a chaque iteration cette oscillation peut ^etre amortie Methodes de coupes Dans le cas de convexite de toutes les contraintes, il est possible d'optimiser un probleme non-lineaire en utilisant de coupes successives formant une enveloppe lineaire de l'espace des solutions [a-01], [Gom-59]. On commence par un probleme lineaire delimitant d'une facon large cet espace. La resolution de ce probleme est ensuite utilisee pour ajouter des contraintes lineaires supplementaires. Cette procedure est repetee jusqu'a convergence. Une multitude de travauxderecherche ont ete publies sur la convergence des methodes de coupes. Cette approche est specialement ecace dans le cas ou un petit nombre de variables est susant pour representer le probleme. Dans l'optimisation de reseaux d'eau par exemple les coupes peuvent ^etre representees en fonction des variables de commande seulement, les autres etant calculees a chaque iteration pour tester les contraintes et generer les coupes Optimisation par pas bornes Comme il a ete precise auparavant les methodes precedentes peuvent engendrer certains problemes : { oscillations dans le cas de la methode de linearisations successives 16

18 { problemes de convexite dans le cas de la methode des coupes. Une facon de pallier aux dicultes de ces deux approches est d'utiliser la methode d'optimisation par pas bornes. Dans cette approche, a chaque iteration on construit un espace lineaire borne qui prend en compte aussi bien les contraintes d'origine que les limites de variation sur chaque variable. Ce probleme est alors resolu par l'application de la programmation lineaire. Cette methode equivaut a unemethode de gradients avec projection sur l'ensemble des contraintes (egalites ou inegalites). 2.3 Decomposition Coordination Comme nous l'avons deja evoque dans le premier chapitre sur les problemes lineaires la decomposition coordination va s'appliquer essentiellement aux problemes de grande taille et/ou aux problemes susceptibles d'^etre aisement separes en sous-problemes independants. Ceci etant, les methodes de decomposition et les problemes a resoudre ne sont pas du tout de la m^eme nature. Ainsi dans le cas de la planication de trajectoires de robots [c-22], [c-43], [c-46] la decomposition decoule naturellement de la structure du probleme (chaque robot constitue un sous probleme d'optimisation) et la coordination correspond a l'evitement des collisions entre robots. 2.4 Conclusion L'optimisation des problemes non-lineaires est un domaine tres vaste. Heureusementde nombreuses techniques utilisees pour les problemes lineaires sont applicables comme nous l'avons presente dans ce chapitre. L'essentiel pour l'utilisateur est de bien analyser son probleme an de choisir l'approche la mieux adaptee. Une methode unique ne peut traiter ecacement de tous les problemes. Ainsi un logiciel de CACSD tel que Matrix x qui ne propose qu'une seule methode d'approximation successive quel que soit le probleme devient relativement inecace quand ce probleme atteint une taille realiste ou qu'il sort du cadre des cas d'ecole. 17

19 Chapitre 3 Programmation Lineaire en Nombres Entiers Une grande majorite de problemes d'optimisation dans le milieu industriel se presente en forme d'optimisation combinatoire. Une approximation continue est quelque fois possible, comme dans le cas ou la solution est en nombres entiers mais u les nombres sont susamment grands pour permettre une approximation continue. Cependant, pour le plupart des problemes cette approximation n'est pas susante. Quelques problemes peuvent se resoudre en temps polyn^omial (arbre du poids minimum, ots,...), mais la grande majorite necessite des algorithmes non-polynomiaux. Ces derniers sont diciles a resoudre et necessitent des traitements particuliers. Dans ce chapitre je presente quelques approches pour des cas reels avec leurs avantages et leurs limitations. 3.1 Modelisation Nemhauser et Wolsey[Nem-88] resument l'essentiel de la modelisation des probleme en nombre entier par la constatation suivante : "In integer programming, formulating a good model is of crucial importance to solving the model." Bien que cette constatation soit importante pour beaucoup de problemes, elle est essentielle dans la programmation en nombres entiers. Souventnousavons a resoudre un probleme auxiliaire d'evaluation dans lequel les variables sont 18

20 continues. Ce probleme permet l'obtention des bornes sur la fonction objectif an de contr^oler l'arborescence de l'enumeration. De la qualite de ces bornes depend l'ecacite de la solution : { deux formulations equivalentes pour le m^eme probleme en nombres entiers peuvent donner des bornes tres dierentes pour le probleme d'evaluation. { l'essentiel du temps de calcul est souvent utilise dans la resolution du probleme d'evaluation. Il est donc important que ce probleme soit resolu d'une facon ecace. Quelquefois ces deux criteres peuvent ^etre contradictoires et un compromis est necessaire. Dans les sections suivantes je presente quelques cas rencontres et des approches pour leurs traitements. 3.2 Methodes de separation et evaluation L'optimisation de problemes d'optimisation combinatoire necessite souvent l'exploration des ensembles de solution. Cette exploration peut se reveler co^uteuse et dans beaucoup de cas prohibitive. La methode de separation et evaluation (branch & bound) est basee sur une "exploration intelligente" [Sak-84]du domaine des solutions du probleme d'optimisation combinatoire. Les methodes de separation et evaluation progressive forme la classe la plus populaire de techniques ayant pour but l'obtention d'une solution optimale globale aux problemes de programmation combinatoire. Ces methodes sont basees sur un principe simple et sont applicables tant aux formulations algebrique que dans les graphes. Le principe en est tres simple. Cependant, il ne presente qu'un cadre general a l'interieur duquel beaucoup d'option sont possibles. Dans les vingt dernieres annees des nombreux travaux de recherche ont ete publies dans ce domaine. L'essentiel de ces travaux est oriente vers le choix des methodes de separation ou de l'evaluation. L'ecacite de l'algorithme depend de la methode de separation utilisee mais surtout du choix de la technique d'evaluation des sous-ensembles des solutions. 19

21 Le principe de la methode est le suivant. Une methode d'enumeration arborescente est denie. A chaque sommet dans l'arbre une evaluation est operee. Cette evaluation a pour objet de detecter une des conditions suivantes : { y-a-t-il une solution realisable dans le sous-ensemble de solutions correspondant a ce sommet? { y-a-t-il une solution realisable dans le sous-ensemble de solutions correspondant a ce sommet avec un co^ut meilleur que la meilleure solution deja rencontree? { la solution obtenue en relaxant des contraintes respecte-elle ces contraintes? Si la reponse a une des deux premieres questions est negative ou si elle est positive pour la derniere question on "sterilise" le sommet en arr^etant denitivement la recherche a partir de celui-ci. Si la reponse a la troisieme question est positive et la solution est meilleure que la meilleure solution deja rencontree on remplace celui-ci. Si les reponses sont positives pour les questions un et deux et negative pour trois on opere une separation. La separation est l'operation qui consiste dans le partage de l'espace des solutions en sous-ensembles, chaque sous-ensemble aecte a un nouveau sommet dans l'arbre de l'enumeration. Malgre la simplicite des principes de base, l'utilisation de cette methode necessite le developpement pour chaque probleme d'approches de separation et d'evaluation adaptees. Dans cette section je propose de traiter quelques applications en soulignant les dicultes rencontrees. Une methode frequemmentutilisee pour le probleme de programmation lineaire en nombres entiers est celle basee sur la programmation lineaire. Le probleme d'evaluation est obtenu en relaxant les contraintes d'integrites sur les variables. Les variables sont considerees comme continues entre leurs bornes superieures et inferieures. Dans le cas de minimisation, la resolution du programme lineaire fournie une borne inferieure sur le sous-ensemble des solutions represente par le sommet de l'arbre evalue. La technique de separation depend des variables utilisees. Dans le cas de variables binaires [r-03], [r-04], [r-06], [r-10], [l-03] la separation correspond a une aectation d'une variable a zero ou un. Dans le cas des variables en nombres entiers la fourchette de 20

22 variation d'une variable est separee en deux parties et ainsi a chaque sommet correspond une borne supplementaire sur une variable. Le programme lineaire doit donc traiter ecacement les bornes sur les variables. Deux options sont possibles pour traiter les ces contraintes : {Formulation duale : Dans la formulation duale la branche droite de contraintes devient le co^ut. Ceci a comme avantage que les solutions du probleme a un sommet restent realisables pour les autres sommets. Il est donc possible de reprendre le programme lineaire et de continuer l'optimisation. En favorisant la recherche en profondeur a chaque sommet on modie une seule borne et la solution peut ^etre obtenue en operant un nombre limite d'iterations. {Formulation primale : Dans la formulation primale, chaque variable aura deux contraintes (minimale et maximale). Il est donc important de pouvoir traiter ces contraintes de facon ecace. Une version du Simplexe traitant les bornes sur les variables est necessaire. En plus, dans beaucoup de problemes des contraintes de sommes sur des variables sont rencontres [r-10], [l-03], [c-15], ce qui necessite un algorithme pouvant traiter des bornes superieures generalisees. La resolution du probleme d'evaluation etant la partie necessitant l'essentiel du temps de calcul, il est d'une extr^eme importance de resoudre le probleme en utilisant la technique la mieux adaptee. Le probleme peut ^etre, soit directement ou apres manipulation, representer en forme de probleme de transport [r-03], [c-06]. Ceci a comme resultat de reduire le temps de calcul et d'augmenter la taille des problemes pouvant ^etre resolus. Une option permettant d'obtenir le m^eme type de resultat et la methode de relaxation lagrangienne [Min-82], [Ree-93], [Nem-88]. L'application de cette methode permet l'obtention de problemes d'evaluation pouvant ^etre resolus d'une facon rapide souvent par ordre de merite [Min-82], [r-19]. Il est important de noter que dans quelques cas la relaxation lagrangienne donne des solutions proches de l'optimum et des bornes de bonne qualite. Un avantage de la methode de separation et evaluation est de pouvoir integrer 21

23 des heuristiques sans mettre en cause l'optimalite de la solution : {Toute solution de depart obtenue par une bonne heuristique peut ^etre utilisee. Meilleure est la solution, plus importante est l'action de l'evaluation pour la reduction de l'arborescence. { Apres chaque evaluation on peut utiliser un heuristique permettant l'obtention d'une solution en nombres entiers localement. Cette solution est retenue si elle est meilleure que la meilleure solution disponible (sans la sterilisation du sommet). {Ilestegalement possible d'associer cette approche a d'autres approches de recherche telles que les systemes experts [r-09], [c-16] ou la propagation des contraintes. Dans cette section, j'ai presente quelques options liees aux methodes de separation et d'evaluation. Je suis conscient de n'avoir traite qu'une petite partie des travaux existant dans ce domaine aussi riche qu'important. Un approche generale de l'evaluation a ete presentee. Une evaluation peut ^etre basee sur d'autres techniques et dependre de chaque probleme. Balas [Sak-84], par exemple, propose dans son algorithme "additif" une possibilite pour l'optimisation de problemes binaires. 3.3 Les coupes et les inegalites valides La methode du Simplexe produit des solutions sur les points extr^emes des polyedres convexes. Si ces points extr^emes correspondent aux solutions en nombres entiers la solution optimale obtenue respecte les contraintes d'integrite sur les variables. Un exemple interessant et le probleme de transport ou le probleme de ots a co^ut minimum. Si les charges sur les puits, sur les sommets ainsi que les bornes sur les variables sont en nombres entiers la solution optimale est en nombres entiers. Le probleme d'aectation presente la m^eme propriete. Ainsi ce probleme, qui peut ^etre resolu comme un reseau de transport, produit une solution optimale ou les variables sont zero ou un. Ceci n'est pas le cas pour la grande majorite de problemes. L'idee de base des methodes de coupes est d'ajouter des contraintes au probleme d'optimisation an que l'optimum corresponde a un sommet du nouveau polyedre. 22

24 Le precurseur dans ce domaine est R.E.Gomory [Gom-59]. Il a propose en 1958 un algorithme general pour la production de coupes. Les performances de ces methodes n'etant pas a la mesure des espoirs suscites par la methode, la recherche a ete orientee vers d'autres methodes. L'etude polyedrale introduite par J.Edmonds [Edm-65]en 1965 a ouvert le chemin a une autre approche de coupe,la methode d'inegalites valides. Associee a la methode de separation et evaluation on obtient un probleme d'evaluation d'une qualite superieure. Il s'agit de produire pour chaque probleme des coupes tenant compte de sa specicite. Bien que ne pouvant resoudre de facon generale tous les problemes d'optimisation combinatoires cette approche augmente le nombre des outils disponibles pour traiter des problemes diciles. 3.4 Separation des variables par la methode de Benders De m^eme que dans le chapitre 1, quand un probleme possede pour une partie une structure permettant la resolution avec une approche adaptee, il est interessant de separer ce probleme en sous-problemes. Un exemple et celui ou un probleme contient une grande partie des variables continues et quelques variables en nombres entiers. Dans ce cas, en utilisant la methode de decomposition de Benders [Ben-62]on resout un sous-probleme par la programmation lineaire et un autre comme un probleme d'optimisation combinatoire. 3.5 Conclusions Dans ce chapitre j'ai tente de traiter les problemes d'optimisation lineaire en nombre entiers. Etant donne la complexite du domaine et l'importance de la litterature, il n'est evidement pas possible d'^etre exhaustif. Des methodes adaptees a chaque probleme particulier existent et il est important de bien choisir ces approches. Une grande classe de ces methodes n'a pas ete traitee dans ce chapitre. Cette classe est celle de meta-heuristique : recuit simule, algorithmes genetiques, recherche tabou, reseaux de neurones. Je reserve le traitement de ces methodes au chapitre suivant. 23

25 Chapitre 4 Les Meta-Heuristiques Les methodes d'optimisation combinatoire se sont developpees depuis une quarantaine d'annees de deux facon : { d'un cote les methodes heuristiques, optimales ou non, adaptees aux dierentes classes de problemes. { de l'autre cote les methodes globales telles que les methodes d'enumeration implicite, les methodes de coupes et les methodes de separation et evaluation progressive. Dans le cas ou une heuristique optimale existe et si la complexite de calcul de l'heuristique est bonne (ex. complexite polyn^omiale), le choix de la methode est evident. Par contre si une telle heuristique n'existe pas une formulation permettant la resolution par une methode globale est necessaire. Cette formulation peut ^etre soit sous forme algebrique soit sous forme de graphe. Ainsi l'utilisation d'une des multiples methodes d'optimisation devient possible. Les dicultes rencontrees dans beaucoup de situations ont initie le developpementdesmethodes permettant l'obtention de solutions sous-optimales. Ceci est justie par les criteres suivants : { Dans beaucoup de situations les modeles utilises etant approximatifs, une solution exacte n'est pas necessaire et n'est pas justiee. { Les criteres utilises dans l'optimisation sont egalement souvent d'une nature indicative, et donc une solution sous-optimale est acceptable. { Les dicultes rencontrees dans l'optimisation des problemes, vu la complexite du calcul, justient amplement l'utilisation d'une methode sous 24

26 optimale. En eet, il vaut mieux produire une solution acceptable en temps limite plut^ot qu'une solution optimale dans un temps de calcul inacceptable. De toute facon, dans beaucoup de cas l'utilisateur se trouveegalement dans la situation d'arr^eter une methode globale avant l'obtention de la solution optimale. { Les methodes heuristiques presentees dans ce chapitre demandent un temps de developpement limite, ce qui permet l'obtention d'une solution rapide aux problemes poses. Elles permettent egalement la resolution des problemes avec une formalisation mathematique limitee. Les methodes que nous pouvons appeler meta-heuristiques sont basees sur l'observation suivante : Dans la nature, il n'est nullementnecessaire d'optimiser d'une facon formelle pour aboutir a une evolution dans le bon sens. Les processus physiques peuvent se stabiliser autour d'un point d'energie minimale. Les especes evoluent suivant des criteres de survie permettantuneselection naturelle des meilleurs elements. Dans ce chapitre nous traiterons des applications de ces techniques aux problemes d'optimisation. Dans la premiere section nous traiterons la methode du recuit simule, une methode basee sur l'emulation des processus de recuit des metaux. Les algorithmes genetiques traites dans la deuxieme section sont bases sur la theorie de l'evolution. Les methodes presentees dans la troisieme section, les reseaux neuro-mimetique, sont basees sur l'emulation des processus d'apprentissage du cerveau. Enn les methodes basees sur la logique oue imitent les processus de conduite de l'homme ou les decisions ne sont jamais prises sous une forme \tout-ourien". 4.1 Le recuit simule L'utilisation de la methode de recuit simule pour l'optimisation date des debuts des annees 1980 [Kir-80]. Depuis un grand nombre de publication est apparu dans la litterature. Ces publications couvrent aussi bien les aspects theoriques de l'algorithme que des applications dans des domaines tres 25

27 varies. Nous trouvons par exemple des travaux sur les problemes classiques de l'optimisation combinatoire {voyageur de commerce, { couplage maximum, { coupe minimum, { coloration, { classication, { etc... Aarts et Korst [Aar-89]fournissent une excellente introduction dans le domaine. On y trouvera notamment les demonstrations concernant la convergence de l'algorithme. Contrairement aux algorithmes vus dans les autres chapitres le recuit simule, sous certaines conditions, converge vers la solution optimale avec une probabilite proche de un. Les idees de base du recuit simule sont basees sur l'algorithme de Metropolis [Met-53]. Dans leur publication en 1953 Metropolis et ses collegues presentent un algorithme pour simuler le recuit des materiaux. En chauant les materiaux vers leur temperature de liquefaction, les proprietes structurelles de ces derniers vont dependre du taux de refroidissement. L'algorithme de Metropolis simule l'evolution de l'energie interne jusqu'a \l'etat froid". L'algorithme de recuit simule est base sur l'emulation de ce processus. La fonction objectif remplace l'energie et la temperature est remplacee par un facteur de contr^ole. Il est base sur l'extension de la recherche locale de l'optimum en acceptant a toutes les etapes, avec certaines probabilites, des solutions augmentant la valeur de la fonction objectif, ce qui permet d'echapper aux optimums locaux. Au depart on augmente la temperature (le facteur de contr^ole) an de permettre "presque" toutes les solutions. Ensuite, la temperature est reduite progressivement d'une facon qu'il convient de determiner et a chaque temperature un certain nombre d'essais est eectue. Les solutions sont retenues dans deux cas : { soit une meilleure fonction objectif { soit apres la generation d'un nombre aleatoire entre zero et un et le comparant avec l'exponentielle de l'augmentation (cas de la minimisation) de la fonction objectif divisee par la temperature. 26

28 L'implementation de l'algorithme necessite la resolution de plusieurs problemes : { codage des solutions et structure de voisinage { programme de refroidissement {critere d'arr^et { traitement decontraintes Le codage des solutions est une etape critique de l'application du recuit simule a l'optimisation d'un probleme donne. De ce codage depend l'ecacite de l'algorithme aussi bien dans la separation des solution et dans la mise a jour de la valeur du critere d'optimisation. Le bon choix de la structure de voisinage est primordial pour l'ecacite du calcul. Les problemes d'optimisation combinatoire peuvent sepresenter soit avec des variables continues ou des variables en nombres entiers voire binaires. Dans les cas des variables continues ces variables peuvent^etre codees par une approximation en nombres entiers. Dans ce cas deux types de codes peuvent ^etre utilises : codage des dierents niveaux ou codage binaire. { Dans le premier cas les solutions voisines ont des valeurs proches en ce qui concerne la fonction objective. { Dans le cas du codage binaire le changement d'un bit peut produire une grande modication de la solution d'une iteration a l'autre. Les variables continues peuvent ^etre representees directement comme des reels [c-42], [c-49], [t-10]. Dans ce cas une solution voisine peut ^etre generee d'une facon aleatoire en denissent une amplitude et modulant cette amplitude en la multipliant par un nombre aleatoire entre zero et un. Le codage a une grande inuence sur la convergence de l'algorithme. Pour le probleme de classication des objets en familles suivant leurs attributs [r-19] il est demontre qu'un codage et une structure de voisinage permettant une grande separation des solutions peuvent deboucher sur une convergence plus rapide. Le programme de refroidissement a fait l'objet d'une abondante litterature [Aar-89], [Ree-93]. Ce programme consiste dans le choix de la temperature 27

29 initiale, la temperature nale, le taux de refroidissementetlenombre d'essais a chaque temperature. La temperature initiale est en general choisie de telle facon que la presque totalite des solutions soit acceptee. Un taux de l'ordre de 95% est en general susant. La temperature est determinee soit a partir des connaissances du probleme a traiter [c-52]soit numeriquement. La determination numerique peut ^etre obtenue soit en realisant un nombre important d'instances du probleme a traiter soit en augmentant la temperature jusqu'a l'obtention du taux d'acceptation souhaitee avant de commencer le programme de refroidissement. La temperature est ensuite reduite progressivement jusqu'a la temperature d'arr^et. Un programme simple du type geometrique convient pour le plupart des problemes : on posera alors T k = T k;1 0 < <1. Une valeur de entre 0,8 et 0,99 est en general utilisee. La temperature d'arr^et peut ^etre choisie soit a priori soit en fonction des co^uts. Un nombre de transitions entre solutions a chaque temperature est ensuite utilise. Il se doit d'^etre assez important. De plus ce nombre est en general augmente achaque temperature de facon geometrique : on posera alors L k = L k;1 > 1. Les valeurs de generalement utilisees evoluent entre 1,01 et 1,20. Les contraints peuvent ^etre traitees soit implicitement dans le codage soit par penalisation. Il est important de noter que contrairement aux methodes basees sur le gradient la penalisation ne pose pas de grandes dicultes et permet dans beaucoup de situations d'echapper aux optimums locaux. En conclusion, le recuit simule presente les avantages suivants : { Obtention des resultats proches de la solution optimale globale. { Resolution des multiples problemes d'optimisation combinatoire : probleme non-convexes necessitant dans le plus part de cas un temps nonpolynomial. {Facilite et rapidite d'implementation (des solutions sont obtenues dans un temps de developpement limite). { L'algorithme peut ^etre execute en temps polyn^omial. Cependant, bien que polyn^omial, ce temps d'execution peut ^etre assez important. 28

30 4.2 Les algorithmes genetiques Bien que les premiers developpements connus dans le domaine des Algorithmes Genetiques (AG) remontent a 30 ans, leur application a l'optimisation est assez recente. Les applications initiales se trouvaient essentiellement dansle domaine de l'intelligence articielle comme, par exemple, dans les jeux ou la reconnaissance de formes. C'est seulement recemment que la communaute de la Recherche Operationnelle s'est interessee a ces techniques et que des travaux assez larges ont ete rapportes en optimisation combinatoire. Les travaux de base en Algorithmes Genetiques sont d^u a Holland et son equipe de l'university of Michigan dans les annees 60 et 70. L'ouvrage de Holland [Hol-75]traitant les aspects theorique est paru en Dans cette section nous presenterons ces algorithmes et nous discuterons des extensions ainsi que quelques applications. Les algorithmes genetiques peuvent ^etre consideres comme une facon intelligente d'exploiter la recherche aleatoire d'une solution optimale. L'optimisation de problemes non-convexe et, d'une facon plus specique, la plupart des problemes d'optimisation combinatoire par les methodes de recherche locale aboutissent a des optima locaux souvent loin de l'optimum global. Pour combler ce handicap des methodes de recherche aleatoire ont deja ete proposees. Ces methodes, cependant, necessitentun developpementspecique pour chaque probleme. Les algorithmes genetiques fournissent un cadre heuristique general pour une recherche aleatoire d'ou l'appellation meta-heuristique. L'appellation vient de l'analogie entre la representation des solutions par des structures vectorielles et la representation genetique par des chromosomes. Dans la reproduction les caracteristiques des descendants sont fonctions de la combinaison des chromosomes des parents. D'une facon similaire, dans la recherche des meilleures solutions on groupe des parties de solutions existantes. Un algorithme genetique dans sa forme la plus simple necessite une prise de decision en ce qui concerne les elements suivants : { Codage des solutions et choix d'une population initiale 29

31 { Croisement des membres d'une population pour obtenir la population de la generation suivante. {Operation de mutation des membres d'une population an d'eviter la convergence prematuree. { Critere d'arr^et. Le codage d'un probleme pour la resolution par un algorithme genetique est une etape importante du developpement. De ce codage depend l'ecacite de l'algorithme. Les choix sont multiples et dependent du probleme traite [Ree-93]. Un code peut tenir compte directement de contraintes [c-34], [t-06]. Une somme sur les variables peut ^etre traitee en adaptant le code an que les variables codees respectent cette somme. Les operations de croisement et de mutation doivent, en suite, ^etre adaptees pour satisfaire ces contraintes tout le long de l'algorithme. Le code utilise peut-^etre soit lineaire soit decimal ou de toute autre forme susceptible de representer les solutions telles que chemins ou circuits quand le probleme a traiter est sous forme d'un graphe. Les algorithmes genetiques traitent des problemes de maximisation avec criteres positifs. Il est donc necessaire de transformer les autres formes de criteres pour permettre l'utilisation de ces algorithmes. Dans tout les cas les algorithmes genetiques ont une meilleure performances sur les problemes ou la solution est localisee dans un domaine pas \trop plat", et un \mapping" de la fonction est souvent necessaire. Dans la plupart de cas les contraintes sont traitees par penalisation comme dans le cas du recuit simule. Etant donne que les algorithmes genetiques n'utilisent pas les derivees de la fonction ce traitement ne presente pas de problemes particuliers. Les algorithmes genetiques ont permis la resolution d'une multitude de probleme d'optimisation combinatoire [Ree-93]. Contrairement au recuit simule ou l'optimisation se fait a partir d'un point, les algorithmes genetique partent de points multiples. L'eet de ce choix est la necessite de calculer la fonction objectif pour tout les membres a chaque 30

32 generation. Dans le recuit simule le passage d'une solution a une autre et la structure de voisinage permettent le calcul rapide de la fonction objectif et ainsi ameliorent l'ecacite de la methode. 4.3 Les reseaux neuro-mimetiques L'utilisation des reseaux neuro-mimetiques a ete l'objet de divers aleas. Une premiere approche issue du modele de neurone propose par McCulloch & Pitts en 1943 [McC-43]debouche dans le debut des annees 60 sur le perceptron de Rosenblatt mis en cause par les travaux de Minsky et Papert [Min-68] qui en demontrent les limitations en 69. Cette demonstration marque un coup d'arr^et dans l'etude de ces techniques jusqu'au debut des annees 80 ou l'introduction de methodes d'apprentissage permettant l'utilisation de reseaux multi-couches relance l'inter^et de la communaute scientique [McC-86]. Une des applications importantes des reseaux de neurones est la representation des systemes non-lineaires. En eet ces reseaux fournissent un modele non- lineaire generique susceptible en fonction de leur complexite de representer une grande classe de systemes non lineaires [Cyb-89]. Cette capacite est particulierement precieuse dans de nombreux cas : {determination du modele equivalent d'un systeme non lineaire complexe comme par exemple la pompe a chaleur[c-37]et le reseau de distribution d'eau[l-07]. { extraction d'un modele non-lineaire structure a partir d'un jeu de donnees permettant l'interpolation voire l'extrapolation de ces donnees comme le calcul de commandes optimales pour un navire a partir d'un ensemble de donnees obtenues par une methode de generation de trajectoire [r-22], [r-23], [c-36] ou la gestion optimale d'un reseau de distribution d'eau basee sur l'extraction d'une structure de commande representant les donnees obtenues par l'utilisation d'une methode d'optimisation [l-07]. {generation d'un modele de la dynamique inverse d'un systeme dynamique permettant la synthese de commandes a partir de ce modele. Les modeles ainsi generes sont beaucoup plus faciles a manipuler que les donnees de depart. 31

33 Dans de nombreux problemes de commandes il est dicile, voire impossible de generer des commandes a partir du systeme reel que se soit directement ou a travers un modele complexe. Dans ce type de situation l'utilisation d'un reseau de neurones emulant le systeme peut permettre d'optimiser la structure de contr^ole sans recours au systeme reel. Ainsi dans [l-07]le contr^oleur permettant la gestion optimale d'un systeme de distribution d'eau est obtenu en se basant sur un emulateur neuronal representantlereseau de distribution. Ces deux applications ne representent qu'une partie des possibilites d'utilisation des reseaux de neurones dans l'optimisation. Le lecteur interesse trouvera dans [Ree-93]une bonne introduction a l'utilisation des reseaux de neurones dans l'optimisation. Un point evoque dans l'introduction et qu'il faut developper ici est l'enrichissement mutuel des trois domaines que sont l'optimisation, l'automatique et les reseaux neuro-mimetiques. En eet, les techniques classiques d'optimisation sont un element essentiel pour le developpement des methodes d'apprentissage pour les reseaux de neurones a l'inverse les reseaux de neurones fournissent un autre paradigme pour la resolution de problemes d'optimisation. De m^eme l'automatique fournit les outils permettant l'analyse des reseaux de neurones et de leur apprentissage alors que les reseaux de neurones comme nous l'avons decrit plus haut elargissent la gamme des contr^oleurs possibles. 4.4 La logique oue Les systemes bases sur la logique oue sont comme les reseaux neuromimetique des estimateurs numeriques ne necessitant pas de modeles. Ils convertissent les entrees numeriques en sorties numeriques. Ces systemes presente aujourdhui une alternative aux methodes de commande classiques basees sur des modeles. Leurs implementation est rapide et necessite peu de temps de developpement pour obtenir un contr^oleur initial d'un performance acceptable. Nous avons developpe dans notre laboratoire un tel contr^oleur pour la commande de dierents systemes. L'amelioration de ce contr^oleur, cependant, n'est pas facile. Une option souvant utilisee est celle basee sur le remplacement de parties du contr^oleur par un reseau de neuronnes et ainsi 32

34 l'optimiser par une des methodes developpees pour ces reseaux. Nous avons obtenu de bons resultats en utilisant le recuit simule [t-10]ainsi que les algorithmes genetiques [a-06]. 4.5 Conclusion Dans ce chapitre plusieurs methodes heuristiques basee sur l'emulation de la nature et le raisonnement humain ont ete presente. Ces approches fournissent la meilleure illustration de l'avantage de la pluri-disciplinarite. En eet, les methodes presentees empruntenta la biologie, en ce qui concerne les reseaux neuromimetiques et les algorithmes genetiques, et a la metallurgie, en ce qui concerne le recuit simule. De m^eme, les methodes d'apprentissage pour les reseaux neuromimetiques ont largement benecie des developpements existant dans le domaine de l'optimisation. Dans le m^eme esprit, je me suis servi de mon experience sur les reseaux electriques pour traiter les reseaux de distribution d'eau et de gaz. Preuve s'il en etait besoin de la necessite d'avoir "l'esprit ouvert" pour un chercheur et du formidable enrichissement mutuel qui peut resulter du contact entre dierentes disciplines. Ce domaine des meta-heuristiques est tres large et il n'etait pas dans mon propos d'^etre exhaustif dans ce domaine. Il n'etait pas question d'etudier ni m^eme de citer la totalite des methodes relevant de ce domaine d'autant qu'il est en perpetuelle evolution. 33

35 Conclusions Dans ce document j'ai presente l'essentiel de mes activites academiques depuis Ces activites couvrent une multitude de domaines. La ligne conductrice de ces travaux est l'optimisation. Je suis conscient que cette presentation est limitative. Mais comment faire autrement pour presenter 30 annees de travail. Tout au long de ma presentation j'ai tente d'illustrer que l'application de l'optimisation pour la resolution des problemes de l'ingenieur necessite une connaissance des multiples approches disponibles et le choix de la methode la plus adaptee. J'ai egalement souligne l'importance de la formulation des modeles an de pouvoir resoudre des problemes de taille reelle. La redaction de ce memoire a tente de privilegier une approche qualitative des methodes. J'ai ainsi evite une presentation mathematique en faveur d'une approche critique. Le premier chapitre presente essentiellement l'optimisation des problemes lineaires. Mes contributions dans ce domaine couvrent des applications tres variees : reseaux de distribution et de production d'electricite, reseaux de distribution de gaz et d'eau, systemes de chauage et robotique. Les methodes presentees sont soit utilisees directement ou dans le cadre des algorithmes de decomposition pour les problemes de grande taille. Un eort particulier est consacre a la formulation des problemes pour leur resolution par l'outil le mieux adapte. Le deuxieme chapitre traite des problemes non-lineaires. Mes apports dans ce domaine sont essentiellement dans le choix des methodes en fonction des caracteristiques de chaque probleme. Les outils utilises sont bases sur plusieurs approches : methodes basees sur le gradient, methodes basees sur la program- 34

36 mation lineaire et les methodes de decomposition-coordination. Ce domaine integre aujourd'hui des algorithmes tres ecaces bases sur l'approche des points interieurs. Mes travaux futurs doivent integrer necessairement l'utilisation des telles techniques. Dans le troisieme chapitre je presente mes travaux dans la resolution des problemes d'optimisation en nombres entiers. Ce domaine est tres riche de methodes et d'applications. C'est l'exemple de domaine ou la bonne formulation des problemes est primordiale an de pouvoir les resoudre en temps limite. Des problemes necessitants l'utilisation de ces outils sont frequents dans les problemes de conception et d'operation de systemes. Une ma^trise de ces techniques est importante pour l'ingenieur souhaitant aborder les problemes de conception et d'operation assistees par ordinateur. Dans le quatrieme chapitre je traite des outils bases sur les meta-heuristiques : le recuit simule, les algorithmes genetiques, les reseaux neuro-mimetiques et la logique oue. Ces approches fournissent une alternatif pour la resolution des problemes ou les approches classiques posent probleme. Ce chapitre ne traite pas de tous les outils disponibles car il est dicile d'^etre exhaustif dans ce domaine. En entreprenant le travail de redaction de ce memoire la premiere t^ache dif- cile que j'avais a resoudre etait de trouver le cadre dans lequel je pouvais presenter mes travaux de recherche vu la diversite des methodes et des applications traitees. Comment trouver une facon originale pour presenter des travaux bases sur trente annee de vie academique? C'est pour cette raison que j'ai choisi de presenter mon experience dans la resolution des problemes plut^ot qu'un catalogue de mes propres travaux, en esperant ainsi que le lecteur y trouvera une ebauche de demarche pour le traitement de ses propre problemes. Enn je doit dire quelques mots sur mon domaine d'inter^et actuel. Je pense qu'au jour d'aujourd'hui la liaison est faible entre les travaux des biologistes et ceux des ingenieurs et mathematiciens. C'est pour cette raison que j'ai entame avec d'autre collegues des travaux de recherche avec deux equipes de l'inserm dans le domaine de la modelisation et de l'optimisation en biologie et medecine. Les evolutions en biologie ont inspire des algorithmes. Ce n'est qu'un juste retour des choses que d'utiliser nos methodes pour essayer de 35

37 resoudre les problemes de biologie et de medecine en esperant que ce travail, aussi humble qu'il soit, pourra contribuer a soulager les sourances dans notre societe. 36

38 Curriculum Vitae S'il fallait se presenter rapidement en deux pages voila quel serait mon curriculum vitae Nom : Yskandar HAMAM Date de naissance : 21 fevrier 1943 Responsable du Laboratoire Systemes de Contr^ole et Informatique Industrielle Formation : { Bachelor of Electrical Engineering (BEE), American University of Beirut (1966) { Master of Science (M.Sc.), Universityof Manchester Institute of Science and Technology (1970) { Doctor of Philosophy (Ph.D.), University of Manchester Institute of Science and Technology (1972) Activites Professionnelles : { Ingenieur, societe Projects, Beyrouth, Liban ( ) { Chercheur, UniversityofManchester Institute of Science & Technology ( ) { Professor Adjunto a Universitade Federal do Rio de Janeiro ( ) { Assistant Professor a l'american University of Beirut ( ) { Chercheur a UNERG - Charleroi Belgium ( ) { Depuis 1978 Enseignant Chercheur au Groupe ESIEE 37

39 Societes savantes { Senior member IEEE { Vice President du Francosim et animateur du P^ole de Simulation des Systemes Continus. {Tresorier d'eurosim (Association Europeenne de la Simulation) { Membre du groupe de travail IFIP 7.6, Systems modelling and Optimisation { Lecteur pour les IEEE Trans. on Systems Man and Cybernetics { Lecteur pour l'ejor (European Journal for Operations Research) Domaines d'inter^et : { Automatique { Optimisation { Commande Optimale {Reseaux de Neuronnes { Commande oue Langues : Arabe, Anglais Pour revenir sur la secheresse de cette presentation le lecteur trouvera dans les pages suivantes un court developpement de ces diverses rubriques Activites pedagogiques La presentation de mon memoire de PhD [a-00]a eu lieu en Janvier 1972 a l'universite de Manchester (UMIST). J'y ai donc passe le reste de l'annee universitaire, comme "post-doc", en consacrant mon temps a laredaction de l'ouvrage "Sparsity" [l-00]et a diverses activites d'enseignement de niveau MSc. Mon premier poste d'enseignant a part entiere, je l'ai occupe en tant que "professor-adjunto" a l'universidade Federal do Rio de Janeiro en tant qu'en 38

40 qu'enseignant dans les activites de troisieme cycle. Ce poste participait de l'action UNESCO sur l'amerique Latine. Les cours que j'ai dispense pendant cette periode etaient centres sur l'analyse et la gestion des systemes de production et de transmission de l'energie electrique et des methodes d'optimisation. Cette experience d'une annee ( ) fut suivie immediatement par un poste "d'assistant professor" a "l'american University of Beirut" ou je professais durant trois annees universitaires en tant que membre du Departement Genie electrique et electronique de la "Faculty of Engineering and Architecture". Mes enseignements concernaient aussi bien les seconds (BEE) que troisiemes (MSc) cycles. Ces cours portaient egalement sur l'analyse et la gestion des systemes de production et de transmission de l'energie electrique, sur les methodes d'optimisation ainsi que sur les machines electriques. Cette periode de trois annees universitaires fut brutalementinterrompue par la guerre civile libanaise qui me contraint a l'expatriation en Juillet Mon retour mouvemente en Europe ne me permit pas immediatement de retrouver une activite universitaire bien que je reussis a conserver quelque activite de recherche pendant cette periode de transition. Je retrouvai un poste d'enseignant a partir de Septembre 1978 a l'ecole Superieure d'ingenieur en Electrotechnique et Electronique ou j'ai eectue depuis lors le reste de ma carriere. La premiere periode de ma presence au Groupe ESIEE s'est deroulee au SEFI (Service d'etudes et de Fabrication Industrielle) ou j'ai supervise et gere les activites d'enseignement par projet. Le SEFI etait une structure de l' Ecole novatrice dans sa conception et son fonctionnement a l'epoque puisqu'elle ne concernait que les eleves de derniere annee et qu'elle etait essentiellement basee sur l'enseignement par projet. Pendant cette periode ( ) j'ai assure 3 annees durant la responsabilite de la Division Systemes. Cette Division qui regroupait entre 6 et 9 enseignants chercheurs a plein temps assurait l'encadrement et la recherche de projets pour un ux d'une quarantaine d'eleves. Tous les projets traites etaient integralement nances par des contrats exterieurs essentiellement industriels mais qui pouvaient aussi concerner des organismes de recherche et developpement. 39

41 En Septembre 1982, suite a la reorganisation du Groupe j'ai pris la responsabilite de l'automatique. A cette epoque, l'enseignement de l'automatique a l'esiee etait limite a l'equivalent de deux unites, l'une consacree a l'automatique des systemes lineaires a une entree et une sortie et l'autre a une unite de logique combinatoire et sequentielle. A mon sens, l'etat de l'art de l'automatique, aussi bien pour des systemes continus ou aevenements discrets peut ^etre resume par les constats suivants : 1. Evolution spectaculaire des moyens de calcul permettant leurs utilisations aussi bien pour la conception en temps diere (micro-ordinateurs, stations de travail) que pour la commande en temps reel (micro-ordinateurs, micro- processeurs, micro-contr^oleurs et DSP). 2. Developpement des capteurs et de leurs interfaces aux moyens de calcul, ce qui permet leurs implementation d'une facon importante dans la cha^ne de contr^ole/commande. 3. Apparition des moyens logiciels de simulation et de calcul de la commande (CACSD et calcul formel) mettant a la disposition de l'automaticien des outils de calcul rapides et faciles d'acces. Ces outils permettent l'utilisation au niveau industriel de methodes reservees jusqu'alors aux chercheurs. Ces constatations m'ont servi de guide pour l'animation et la mise en place des programmes d'enseignement destines aux Ingenieurs. En tant que responsable du departement Automatique, j'ai donc participe a l'evolution de l'enseignement dans les directions suivantes : 1. Introduction des outils theoriques dans le cursus de l'automaticien : Optimisation et Commande Optimale, Modelisation, Identication, Commande Adaptative, Commande Polynomiale, Commande Robuste, Commande Non- lineaire et autres outils tels que la commande par la logique oue et les reseaux de neurones articiels. 2. Introduction de la simulation dans l'enseignement de l'automatique : au depart l'ecriture d'un programme informatique avec des outils de 40

42 calcul pour les systemes lineaires, ensuite par l'introduction de l'outil CACSD MATRIXX pour les travaux pratiques en simulation. 3. Introduction des nouvelles maquettes de travaux pratiques : pendule inverse (actuellement en postes multiples), bille sur plan incline (une et deux dimensions), helicoptere, colonnes d'eau. 4. Introduction des organes de commandes numeriques dans les cours et les travaux pratiques : micro-ordinateurs, micro-controleurs. A partir de 1982, j'ai contribue largement et anime la mise en place de l'enseignement de l'automatique avec ces deux aspects : systemes de commande et automatisation de la production. J'ai contribue personnellement a la mise en place et l'enseignement dans les domaines suivants : { Optimisation lineaire, non-lineaire, combinatoire { Commande optimale { Identication {Systemes dynamiques a temps continu et a temps discret { Ordonnancement et automatisation de la production Par enseignement de l'optimisation lineaire et combinatoire j'entends : { La programmation lineaire (methode du simplex et Karmarkar) { Les methodes de decomposition { Les methodes de coupe et leurs applications a la programmation en nombres entiers et a la programmation Non-lineaire. { Les methodes de separation et evaluation progressive. { La programmation non-lineaire et les methodes de gradient. Cet enseignement a ete enrichi par mes activites de recherche et couvre aujourd'hui l'utilisation des methodes telles que les algorithmes genetiques et le recuit simule. En ce qui concerne la commande optimale de systemes a temps discret et a temps continu, il s'agit essentiellement des sujets suivants : 41

43 { Le principe du maximum dans les cas continu et discret. { Application du principe du maximum aux dierents problemes de commande optimale des systemes lineaires. { Application de la programmation non-lineaire a la resolution des problemes de commande optimale des systemes non-lineaires. { Notions de regulateurs lineaires quadratiques. Pour l'identication il s'agissait essentiellement des methodes classiques recursives et non-recursives appliquees aux modeles dynamiques lineaires. En ce qui concerne les systemes dynamiques a temps continu et a temps discret, mon activite d'enseignement comporte deux volets. { L'un lie alaliere de formation classique concerne les eleves ingenieurs en premiere annee de deuxieme cycle et a essentiellement porte sur l'adaptation (notamment au niveau des travaux diriges) de l'enseignement aux techniques de la CAO en Automatique. { L'autre lie a la liere "Ingenieurs par la Formation Continue" (IFC) a necessite la mise en place d'un cursus adapte a ce type de population, etant bien entendu qu'il faut assurer la convergence avec la liere classique. Cette adaptation porte sur tous les elements de l'enseignement que se soit les cours magistraux, les travaux diriges et les travaux pratiques. En ce qui concerne, enn, l'automatisation de la production, ma participation aux enseignements concerne essentiellement l'application de l'optimisation aux problemes d'ordonnancement. Dans le m^eme temps je continue de participer a l'enseignement par projet que le Groupe ESIEE dispense a ses eleves. Cette participation se materialise par la denition de sujets (qu'ils soient internes ou industriels) et par l'encadrement des eleves de derniere annee concernes. En dehors de ces activites d'enseignement qui ne concernent que le Groupe ESIEE, j'interviens egalement dans les cours du DEA Systemes Energetique et Commande de Processus. Ce DEA est gere conjointement par les Univer- 42

44 sites de Paris XII (Val-de-Marne) et EVE (Universite d'evry Val d'essonne) et regroupe en son sein les etablissements de l'int, l'iie et le Groupe ESIEE. J'enseigne aussi bien dans le tronc commun que dans une des options. { En tronc commun (au niveau de l'universiteparis XII) j'assure l'unite: "Representation, Identication et Commande des Processus Continus". { En option, dans le cadre de EVE, j'enseigne la conception de la commande et la commande optimale. Activites administratives et d'inter^et collectif Sous cette rubrique je vais faire une presentation rapide des diverses activites a caractere administratif qu'il m'a ete donne d'exercer. Ces activites qui concernent essentiellement la periode allant de 1978 a nos jours regroupent des taches d'animation et d'administration aussi bien a l'interieur du Groupe ESIEE qu'au niveau national ou international. Je presenterai en premier lieu les activites ayant pour cadre le Groupe ESIEE. Ensuite j'aborderai mes activites au plan national et international. Contribution au fonctionnement de l'esiee En tant que responsable de la Division Systeme (Septembre 1979 a Septembre 1982) au sein du SEFI j'avais en charge d'assurer : { L'animation pedagogique et scientique du groupe d'enseignants chercheurs attaches a la Division. { La gestion de carriere de ce personnel. { La responsabilite de la recherche et de la gestion de contrats industriels onereux ainsi que le suivi des relations industrielles induites. { La participation a la gestion du SEFI en ce qui concernait les politiques d'investissements et de recrutement du personnel tant administratif qu'enseignant. 43

45 A cela s'ajoutait la responsabilite des relations avec les Universites etrangeres notamment le placement et le suivi des etudiants eectuant leur annee de n d'etude conjointement avec l'obtention d'un Master of Science que se soit en Grande Bretagne ou aux Etats Unis. Dans ce contexte j'ai egalement participe a la denition et a la mise en place du programme de formation Tripartite de l'esiee. Ce programme qui regroupe une Universite en Angleterre (a l'origine l'universite d'essex) une Universite allemande (l'universite de Karlsruhe) et l'esiee, permet aux etudiants de ces trois institutions de passer successivement une annee universitaire complete dans chacun des trois pays. Ce programme original est toujours en activite et a ete etendu a d'autres pays europeens (Italie et Espagne). En tant que responsable du departement Automatique (Septembre 1982 a Novembre 1991) j'avais en charge d'assurer : { L'animation pedagogique et scientique du groupe d'enseignants chercheurs attaches au Departement soit entre 15 et 20 permanents et un nombre au moins egal de vacataires. { La gestion de carriere de ce personnel enseignant ainsi que des 5 membres des personnels administratifs et techniques rattaches au Departement. { La gestion du budget du Departement aussi bien au niveaudel'investissement que du fonctionnement { La responsabilite de la recherche et de la gestion de contrats industriels onereux ainsi que le suivi des relations industrielles induites. { La participation a la gestion du Groupe ESIEE a travers ma participation au Comite de Direction en ce qui concernait les politiques d'investissements et de recrutement du personnel tant administratif qu'enseignant. { La participation a la denition de la politique scientique du Groupe ESIEE en participant au Comite de la Recherche cree a cet eet. { La participation a la denition des orientations pedagogiques et des programmes de l'esiee en participant au comite Pedagogique cree lui aussi a cet eet. Au-dela de ces activites permanentes j'ai eu a assurer dans un premier temps le developpement de nouveaux programmes d'enseignement lie au 44

46 Departement (cf. ens) puisque j'en ai assure la creation. A cela est venue s'ajouter l'importante reexion qui a precede le transfert du Groupe dans nos nouveaux locaux de Marne la Vallee. Cette reexion couvrait aussi bien les parties materielles de ce transfert, denition des locaux et des equipements, que les consequences organisationnelles et pedagogiques induites, augmentation du nombre d'eleves, augmentation du taux de couverture vacataire et ambitions accrues en terme de Recherche et Developpement. A cette occasion j'ai donc engage des contacts avec des groupes de formation doctorale qui se sont materialise par la participation active du Groupe aux dites formations en tant qu'institutions d'accueil dans un premier temps puis en tant que qu'institution co-habilite. Une autre de mes actions en tant que Responsable du Departement Automatique a ete la mise en place, en 1990, des journees 2AO (Automatique Assistee par Ordinateur). Ces journees thematiques d'une frequence bi-annuelle ont pour but de permettre a la communaute des Automaticiens, qu'ils soient industriels ou universitaires, de faire le point sur les divers outils de conception de l'automatique et de comparer leurs experiences dans ce domaine. Depuis 2AO92 les journees sont patronnees par FRANCOSIM. Cette manifestation originale a vu se tenir a sa quatrieme edition en Novembre En tant que doyen du corps professoral (Decembre 1991 a Decembre 1995) et premier doyen elu par le corps professoral j'avais en charge mise en place du nouveau reglement particulier du Corps Professoral. Cela consistait notamment au reclassement de l'ensemble des membres du corps professoral, soit environ 80 enseignants chercheurs, sur la nouvelle grille denie par ce nouveau reglement. J'ai eu egalementa mettre sur pied la Commission d'evaluation prevue par le nouveau reglement et en assurer la presidence tout au long de mon mandat. Cette Commission constituee par les divers representants de la direction du Groupe et un nombre egal de representants elus du corps professoral a en charge de regler les problemes lies aux carrieres des enseignants (recrutement, evolution de carriere,...). Par ma fonction je participais au Comite de Direction et a la commission Paritaire de Consultation de l'etablissement. 45

47 En tant que Doyen j'avais egalement la responsabilite des plans de charge de l'ensemble du corps professoral du Groupe et de la communication aux responsables de departement des divers elements relatifs a la carriere des membres du corps professoral (decision de la Commission d'evaluation, promotions annuelles,...). En tant que responsable du laboratoire Systeme de Contr^ole et Informatique Industrielle SC2I (depuis Janvier 1996) j'ai eectue la mise en place du laboratoire, tant au niveau des themes de recherche que des actions a mener. J'ai egalement participe au developpement des relations industrielles indispensables et a l'etablissement des relations (conventions de collaboration) avec des organismes de recherche et developpement. Ce jeune laboratoire compte des a present 7 enseignants chercheurs comme membres a part entiere, 3 membres associes et 5 etudiants en these. En tant que directeur du SC2I je continue a participer aux travaux du Comite de Direction du Groupe ESIEE. Toujours dans le cadre du Groupe ESIEE mais sur un plan associatif plus qu'administratif on peut aussi citer mes actions en tant que President (de Mai 1987 a Novembre 1991) et Membre fondateur de l'association des Enseignants du Groupe ESIEE. A ce titre j'ai activement participe a l'elaboration du nouveau reglement particulier du corps enseignant du Groupe ESIEE. Cette association a aussi pour but de participer a l'animation, essentiellement culturelle de l'ecole. Contributions nationales et internationales. Depuis que l'esiee participe au groupe de formation doctorale (Janvier 1989) qui regroupe a l'heure actuelle les Universites de Paris XII (Val-de- Marne) et EVE (Universite d'evry Val d'essonne) et les ecoles d'ingenieur de l'int, l'iie et du Groupe ESIEE j'ai toujours ete membre actif des bureaux de DEA successifs (actuellement DEA systemes thermiques et commande des processus). A ce titre j'ai participe a la mise en place et a l'evolution des programmes, au recrutement des candidats et aux campagnes de rehabilitation successives. J'ai aussi a cette occasion organise la premiere journee annuelle du Groupe de Formation Doctorale. 46

48 Membre de FRANCOSIM (l'association francophone de Simulation aliee a EUROSIM, l'association Europeenne de Simulation) depuis 1991, j'assure depuis juin 1993 l'animation du p^ole "Simulation des Systemes Continus". Je suis membre elu du Conseil d'administration depuis la m^eme date et vice-president et membre du bureau depuis Fevrier Depuis Mars 1996 j'ai en charge les relations internationales de FRANCOSIM et a ce titre je participe au bureau de EUROSIM. Une autre de mes activites a caractere international est ma participation au groupe de travail de l'ifip WG7.6 (Optimization-Based computer-aided Modeling and Design) depuis A ce titre je suis membre du comite de programme des conferences bi-annuelles et j'ai organise la derniere conference du groupe en Mai 1996 a l'esiee. Autres activites a caractere scientique Dans cette rubrique je vais presenter diverses participations et activites qui, si elles ne presentent pas une importance comparable, en terme de temps, a celles citees ci-dessus temoignent de ma participation a la communaute scientique : { Membre de l'association IEEE j'ai accede en 1994 au rang de "Senior Member". {De m^eme je suis regulierement sollicite pour servir comme reference pour les projets soumis a la Commission Europeenne ainsi que pour les articles publies dans les revues suivantes : { IEEE transactions on Systems, Man and Cybernetics { European Journal of Operations Research { Journal ROBOTICA { Information Sciences { Comite de programme et organisation de sessions. {Invitation a l'organisation de sessions pour les conferences de IEEE- SMC. 47

49 { Membre de comite de programme international pour IFIP TC7 1995, CESA96 et IFIP WG7.6 (depuis 1992) Theses dirigees J'ai dirige depuis 1984, a des titres divers dix theses de doctorat. { D.Georges : "Planication optimale de trajectoire et commande optimale des robots manipulateurs", these de docteur ingenieur, ENSMP, 1987 President :Y.Rouchaleau Rapporteur : Ph.Coiet Examinateurs : G.Cohen, J.Levine Cette these menee en collaboration avec le Centre d'automatique et Informatique de l'ecole des Mines de Paris etait ociellementdirigee par G. Cohen, mais s'est deroulee a l'esiee sous ma direction scientique eective. Pour cette these je gure egalement en tant que rapporteur. { A.Khoukhi : "Commande et identication d'une classe de systemes non-lineaires", these de Docteur de l'enst, President : J.F.Le Maitre Rapporteur : Ph.Coiet Examinateur : H.Korezlioglu Cette these menee en collaboration avec l'ecole Nationale Superieure des Telecommunications etait ociellement dirigee par G. Korezlioglu, mais s'est deroulee a l'esiee sous ma direction scientique eective. Pour cette these je gure egalement en tant que rapporteur. { D.Wang : "Contribution a la planication optimale de trajectoires de robots manipulateurs avec evitement d'obstacles", these de Docteur du CNAM, President : J.D.Boissonnat Rapporteur : J.P.Laumond Examinateurs : P.Tournassoud, S.Thelliez Cette these menee en collaboration avec le laboratoire d'automatique du CNAM etait ociellement dirigee par S. Thelliez, mais s'est deroulee a l'esiee sous ma direction scientique eective. Pour cette these je gure egalement en tant que rapporteur. 48

50 { H.Zhang : "Application de la commande adaptativea certaines classes de systemes non-lineaires", these de docteur de l'universite Paris XII, President : G.Piar Rapporteurs : Ph.De Larminat, M.M'Saad Examinateur : F.Chavand these sous ma responsabilite directe avec habilitation locale de l'universite de Paris XII { A.C ela :"Contribution a la commande des robots manipulateurs", these de docteur de l'universite Paris XI, President : A.Fournier Rapporteurs : W.Khalil, M.Drouin Examinateurs : S.Thelliez, P.Lesage, B.Faverjon A l'occasion de cette these j'ai obtenu de l'universite de Paris XI une habilitation locale sans limite de duree pour l'encadrement de trois theses annuelles { Q.C.Meng : "Application des algorithmes genetiques a la commande de systemes", these de docteur de l'universite Paris XII, President : G.Piar Rapporteurs : S.Thelliez, J.M.Martinez Examinateur : F.Chavand these sous ma responsabilite directe avec habilitation locale de l'universite de Paris XII { K. Djouani :"Contribution a la commande dynamique des navires", these de docteur de l'universite PARIS XII Val-de-Marne, President : J.Pontnau Rapporteurs : P.Borne, G.Bessonnet Examinateurs : S.Blimam, P.Fabiani These sous ma responsabilite directe avec habilitation locale de l'universite de Paris XII { N.Venuti :"Contribution a la conception de la commande d'un moteur muni de soupapes electromecaniques", these de docteur de l'universite PARIS XII Val-de-Marne, President : J.Pontnau Rapporteurs : G.Dauphin-Tanguy, M.Lebrun Examinateur : A.Rault 49

51 These sous ma responsabilite directe avec habilitation locale de l'universite de Paris XII, sous contrat CIFRE avec la societe PSA. { A.Carriere :"Contribution a la modelisation a l'identication et a la commande des pompes a chaleur", these de Docteur du CNAM, President : M.Drouin Rapporteurs : H.Abou-Kandil, A.Richard Examinateur : S.Thelliez Cette these menee en collaboration avec le laboratoire d'automatique du CNAM etait ociellement dirigee par S. Thelliez, mais s'est deroulee a l'esiee sous ma direction scientique eective. { E.Huyghe : "Contribution a la commande oue des procedes : optimisation par recuit simule du contr^oleur, application a la regulation robuste d'un procede thermique" President : J.Pontnau. Rapporteurs : M.Lebrun, C.Barret Examinateur : M.Guely These sous ma responsabilite directe avec habilitation locale de l'universite de Paris XII. Actuellement je dirige 4 theses inscrite a l'universite de Paris XII. En outre, durant les cinq dernieres annees, j'ai ete invite soit en tant que rapporteur, soit en tant qu'examinateur, a participer aux jurys de these suivants { S. Hadi a l'universite de Paris VI, 1990 (rapporteur). { A. Bouanani a l'universite de Poitiers, 1991 (rapporteur). { M. Sadrzadeh Ardebily a l'universite de Paris VI, 1992 (rapporteur). { P. Rambeaud a l'universite de Poitiers, 1994 (examinateur). { V. Hernette a l'ecole Centrale de Lyon, 1995 (rapporteur). { R. Wozniak a l'universite d'evry Val d'essone, 1997 (examinateur). { N. Saadia a l'universite Paris XII, 1997 (rapporteur). { S. Babaci a l'universite Paris XII, 1997 (rapporteur). { G. Fried a l'universite Paris XII, 1997 (rapporteur). 50

52 BIBLIOGRAPHIE 51

53 Livre ou chapitres dans des ouvrages collectifs [l-00] [l-01] [l-02] [l-03] [l-04] [l-05] [l-06] [l-07] [l-08] A.Brameller, R.Allan, Y.Hamam : "Sparsity", Pitman, 1976, traduit en russe en A.Brameller, K.S.Hindi, Y.Hamam : "A Branch and Bound Algorithm and its Application to some Large Power Systems Problems", in S.V Savulescu (ed.), "Computerised Operation of Power Systems", Elsevier Scientic Publishing Co, Y.Hamam : "Heat Pump models for microprocessor based control systems", New Ways to save Energy, Reidel Publishing co, K.S.Hindi, Y.Hamam : "Optimization in the CAD of Electricity distribution systems, Optimization in Computer Aided Design", in G.S.GERO (ed.) North-Holland, A.Khoukhi, Y.Hamam : "Kinematic and Dynamic navigation for a mobile robot, a comparative study", Elsevier, North Holland Publishing, D.M.Wang, D.Georges, Y.Hamam : "Optimal Path Planning of Manipulators with Singular Congurations, Workspace and Collision-free Constraints", Lecture Notes in Control and Information Science, Analysis and Optimization of Systems, Springer-Verlag, K.S.Hindi, Y.Hamam : "An Optimisation model for setting pressure controllers to minimise leakage in pipe networks", Lecture Notes in Control and Information Science, Optimisation-Based Computer-Aided Modelling and Design, Springer-Verlag, Y.Hamam, K.S.Hindi : "Optimized On-line Leakage Minimisation in Water Piping Networks Using Neural Nets", in Optimization-Based Computer- Aided Modelling and Design, Lanza Publishing, T.Al Ani, Y.Hamam : "Parameter Identication of Time-varying Stochastic Dynamic Systems using Vitervi algorithm", in "System Modelling and Optimization", Chapman & Hall,

54 Articles de revues [r-01] [r-02] [r-03] [r-04] [r-05] [r-06] [r-07] [r-08] [r-09] [r-10] [r-11] [r-12] [r-13] [r-14] Y.Hamam, A.Brameller : "Hybrid Method for the solution of piping Network", proceedings IEE, vol. 118, A.Brameller, J.Chanceller, Y.Hamam, G.Yalcindag : "RecentAdvances in Mathematical Analysis for Gas Industry Application", proceedings of the Institute of Gas Engineers, K.S.Hindi, Y.Hamam, A.Brameller : "Optimal Cable Prole of L.V. Radial Distributors Two Mathematical Programming Methods", proc. IEE, Vol. 123, No.4, K.S.Hindi, Y.Hamam, A.Brameller : "Solution of Fixed Cost Trans-Shipment Problems by a Branch and Bound Method", International Journal of Numerical Methods in Engineering, Vol. 12, pp , Y.Hamam, M.Renders, Trecat : "Partitionning Algorithm for the Solution of Long-Term Power-Plant Mix Problems", Proc. IEE, vol.126, N 9, Y.Hamam, K.S.Hindi, A.Brameller : "Unit commitment for thermal Generation" IEE Proceedings, vol. 127, pt.c No. 1, janv Y.Hamam, M.Renders, J.Trecat : "Optimisation de la planication a long terme d'un parc de production d'energie electrique", bulletin de la SRBE (Belgique), tome 96, No 2, Y.Hamam, F.Rocaries : "La pompe a chaleur a compression : etude d'un modele", Revue generale de thermique, novembre 1983, No 263. K.S.Hindi, Y.Hamam : "A Hybrid knowledge-based system : case study", Eng. Optimisation, 1987, vol.12, pp Y.Hamam, K.S.Hindi : "Optimized Design of low-voltage Distribution networks : A comprehensive Algorithm", IEEE Transactions on Systems, Man and Cybernetics, Vol. SMC 17, No 3, D.Georges, Y.Hamam : "Planication optimale de trajectoires pour robots manipulateurs", REIRO-AFCET, APII, A.Khoukhi, Y.Hamam : "Optimal time-energy trajectory planning for robot with hard Constraints", Control Theory and advanced Technology Journal, Mita Press, Japan, K.S.Hindi, Y.Hamam : "Locating pressure control elements for leakage minimisation in water supply networks : an optimisation model", Engineering Optimisation, Vol. 17, pp , K.S.Hindi, Y.Hamam : "Pressure control for leakage minimisation in water supply networks, Part 1 : single period models", International Journal of Systems Science, Vol.22, No 9, pp ,

55 [r-15] [r-16] [r-17] [r-18] [r-19] [r-20] [r-21] [r-22] [r-23] K.S.Hindi, Y.Hamam : "Pressure control for leakage minimisation in water supply networks, Part 2 : multi-period models", International Journal of Systems Science, Vol. 22, No 9, , D.Wang, Y.Hamam : "Optimal Trajectory Planning of Manipulators with Collision Detection and Avoidance", International Journal on Robotic Research, A.Khoukhi, Y.Hamam : "Optimal Control of Robot Manipulators", International Series of Numerical Mathematics, vol A.C ela, Y.Hamam : "Optimal Trajectory Planning of a Multi-Robot System Based on Nonlinear Programming and Decomposition-Coordination Method", IEEE Trans. on Robotics and Automation, vol. 8, n 5, pp , octobre K.S.Hindi, Y.Hamam : "Solving the Part Families Problem in Discrete-Parts Manufacture by Simulated Annealing", Production Planning and Control Journal, K.Djouani, Y.Hamam : "Minimum time-energy trajectory planing for automatic ship berthing", IEEE Oceanic Engineering Journal, Jan Y.Hamam, T.Al ani : "A Matlab Toolbox for Hidden Markov Models", EUROSIM-Simulation News Europe n 14, July K.Djouani, Y.Hamam : "Feedback Optimal Neural Network Controller for Dynamic systems. A Ship Maneuvering Example", SAMS, Vol , pp , K.Djouani, Y.Hamam : "Feedback Optimal Neural Network Controller for Dynamic systems." Mathematics and Computers in Simulation, Vol. 41, No 1-2, pp ,

56 Actes de conferences [c-01] [c-02] [c-03] [c-04] [c-05] [c-06] [c-07] [c-08] [c-09] [c-10] [c-11] [c-12] [c-13] Y.Hamam, A.Brameller : "The application of Newton-Raphson Technique to Gas Network Analysis", American Gas Association, Fifth Winter Workshop, 1970 Y.Hamam, A.Brameller : "Application of Diakoptics to Non-linear Optimisation" Conference on Numerical methods for Non-linear Optimisation, Dundee (G.B.), Y.Hamam, A.Brameller : "Solution of Non-linear Equations of piping Networks by a Hybrid Method", International Symposium of Systems Engineering, Purdue University, Y.Hamam, A.Brameller : "Linear and Non-Linear Optimisation of Large Electrical Power Systems", Institute of Electrical Engineers Conference Proceedings, (G.B), Y.Hamam, A.Brameller : "A piecewise Optimisation Scheme for Linear Model of Large Electrical Power Systems" PSCC, France, K.S.Hindi, Y.Hamam, A.Brameller : "Distribution Network Design with Optimum Tappering", 9th Universities Power Engineering Conference Proceedings, G.B Y.Hamam, K.S.Hindi and A. Brameller : "Solution of Transhipment Problems by Network Modelling, and Application to Generator Scheduling and Distribution Design", Proc. of the Fifth International Power Systems Computation Conference, Cambridge, K.S.Hindi, Y.Hamam : "Dynamic Economic Dispach", proc. of the Sixteenth Universities Power Engineering Conference, Sheeld University, P.Bildstein, Y.Hamam, J.Ehrhart : "Heat pump models for microprocessor based Control Systems", proc. of "New Ways to Save Energy, Commission of the European Communities, Bruxelles,1981. Y.Hamam, M.Renders, J.Trecat : "Fast algorithms for solving long terms power plant mix problems" Proc. of VII PSCC conference, Lausanne, july Y.Hamam, C.Jussiant, J.Ghery, J.Trecat : "Advanced linear Programming techniques applied to power system state estimation and bad data identication", proc. of the VII PSCC conference, Lausanne, july M.Adan, Y.Hamam, J.P.Poirier, F.Rocaries : "Optimal coupling of photovoltac solar panels to a compression cold room", 6th Miami International Conference on Alternative Energy sources, december Y.Hamam & F.Rocaries :"Mathematical model of a variable capacity heat pump" 6th Miami International Conference on Alternative Energy sources, december

57 [c-14] [c-15] [c-16] [c-17] [c-18] [c-19] [c-20] [c-21] [c-22] [c-23] [c-24] [c-25] [c-26] [c-27] [c-28] M.Adan, Y.Hamam, F.Rocaries : "Computer aided design of a compression cold room", 6th Miami International Conference on Alternative Energy sources, december K.S.Hindi, Y.Hamam : "CAD of Multi-Branched Radial Distributors including jointing cost", The 20th Universities Power Engineering Conference, april K.S.Hindi, Y.Hamam : "A role for knowledge engineering in large scale systems", proc. of the 4th Conference on Systems Engineering, Coventry, P.Carpentier, G.Cohen, Y.Hamam : "A Comparison Study of Methods for Computing Water Network Equilibrium", Seventh European Congress on Operations Research, june A.Khoukhi, Y.Hamam : "Adaptative optimal time control for robot manipulators", Proceedings of CCT, IFAC Automatica, september 89. A.Khoukhi, Y.Hamam : "Mobility and optimal dynamic navigation for a mobile robot", proceedings of IROS/IEEE, september 89. A.Khoukhi, Y.Hamam : "Constrained Feedback control for robot manipulators", proceedings of The American Control Conference, Pittsburgh, august K.S.Hindi, Y.Hamam : "A comparative survey of optimisation-based algorithms for piping networks", proc. of the Operations Research Conference, Vienna, Austria, august A.C ela, Y.Hamam : "Decomposition Method for the Constrained Path Planning of Articulated Systems", Fifth ICAR, Pisa, Italy, june A.Khoukhi, Y.Hamam : "Kinematic and Dynamic Navigation for a Mobile Robot", Fifth ICAR, Pisa, Italy, june A.Carriere, Y.Hamam : "Emulation of Heat Pumps using Neural Networks", to be published in IEEE-ICSE conference, september A.C ela, Y.Hamam : " A Fuzzy Robot Controller for Trajectory Tracking of Robotic Systems", proceedings of IROS/IEEE, july Y.Hamam, K.S.Hindi : "Optimized On-line Leakage Minimisation in Water Piping Networks Using Neural Nets", Second Working Conference of the IFIP TC 7.6 Working Group, Dagschul, Germany, Zhang, Y.Hamam : "On the convergence of minimum parameters of robot manipulators in Adaptive Control", Second Int. Conf. on Automation, Robotics and Computer Vision, Singapore, september H.Zhang, Y.Hamam : "An Adaptive Control Stabilizer for Synchronous Machines", Second Int. Conf. on Automation, Robotics and Computer Vision, Singapore, September

58 [c-29] [c-30] [c-31] [c-32] [c-33] [c-34] [c-35] [c-36] [c-37] [c-38] [c-39] [c-40] [c-41] [c-42] A.C ela, Y.Hamam, H.Zhang : "Towards a Neural Fuzzy Controller", IEEE Int. Conf. on SMC, Chicago, october H.Zhang, Y.Hamam, A.C ela : "On the Convergence of Minimum-Parameters of Robot Manipulator in the Adaptive Control", IEEE Int. Conf. on SMC, Chicago, october K.S.Hindi, Y.Hamam : "Locating pressure control elements for leakage minimisation in water supply networks by genetic algorithms", Int. Conf. on Neural Nets and Genetic Algorithms, Innsbruck, april Y.Hamam, K.S.Hindi : "Choosing a representative set of load nodes in a water supply network : formulation and solution strategies", 16eme Conf. IFIP, Optimisation et Modelisation des Systemes, Compie gne, july K.Djouani, Y.Hamam : "Optimal Constrained trajectory planning for ship maneuvering and control", 2nd IEEE Conf. on Control Applications, Vancouver, september Q.C. Meng, Y.Hamam : "Genetic algorithm strategy with a gate change function", IEEE Int. Conf. on SMC, Touquet, october Y.Hamam, K.S.Hindi : "Clustering on the Basis of Feature Maps by Simulated Annealing", IFIP'94 Working Conference on Optimization-Based Computer Aided Modelling and Design, Prague, may1994. K.Djouani, Y.Hamam : "Ship optimal path planning and articial neural nets for berthing", Proceedings of the IEEE Oceans-OSATES-94, Brest, september A.Carriere, A.C ela, Y.Hamam : "Thermal Systems Simulation Using Neural Networks", article presente au CISS - First Conference of International Simulation Societies, august 1994, ETH Zurich, Zurich (Switzerland). A.Carriere, A.C ela, Y.Hamam, "Neural Network Based Adaptative Control of a Non- Linear System : Application to a Thermal Process", IEEE International conference on Systems, Man and Cybernetics (SMC-94), San Antonio (USA), october A.C ela, Y.Hamam, A.Carriere : "Robust Fuzzy Logic Controller for Trajectory Tracking of Robotic Systems", IEEE International Conference on Systems, Man and Cybernetics (SMC-94), San Antonio (USA), october E.Huyghe, Y.Hamam : "Optimization of a Fuzzy Controller by Simulated Annealing", IFIP'94 Working Conference on Optimization-Based Computer Aided Modelling and Design, Prague, May N. Venuti, J. Bero, Y.Hamam : "Sur la commande modulaire d'un moteur et les avantages qui en decoulent", SIA-94. E.Huyghe, S. Claquin, F.Rocaries, Y.Hamam : "An Adaptative Fuzzy Control- 57

59 [c-43] [c-44] [c-45] [c-46] [c-47] [c-48] [c-49] [c-50] [c-51] [c-52] [c-53] [c-54] [c-55] ler for a Non Linear Thermal System" SMC-94, San Antonio (USA) october 2-5, A.C ela, Y.Hamam : "A Decomposition Method for Optimal Path Planning of Mobile Robots in Presence of Obstacles", IFIP'94 Working Conference on Optimization-Based Computer Aided Modelling and Design, Prague, may T.Al ani, Y.Hamam : "Parameter Identication of Time-varying Stochastic Dynamic Systems using Viterbi algorithm", Conf. IFIP, july 10-14, 1995, Prague. T.Al Ani, Y.Hamam : "State Estimation of DynamicSystems using Viterbi Algorithm", Conf. IFIP, july 10-14, 1995, Prague. A.C ela, A.Murthi, Y.Hamam : "Decomposition Method for the Constrained Path Planning of Articulated Systems", IEEE International Conference on Systems, Man and Cybernetics (SMC-95), Vancouver, october A.C ela, Y.Hamam, A.Carriere : "Robust Fuzzy Logic Controller for Trajectory Tracking of Robotic Systems", IEEE International Conference on Systems, Man and Cybernetics (SMC-95), Vancouver, october Y.Hamam, F.Rocaries, A.Carriere : "A Template for the Evaluation of Tools for the Simulation of Continous Systems" proc. of Eurosim 95. Vienne, september E.Huyghe, Y.Hamam : "Simulated Annealing for Fuzzy Controller Optimization : Principles and Applications", IEEE International Conference on Systems, Man and Cybernetics (SMC-95), Vancouver, october T.Al Ani & Y.Hamam : "State estimation of dynamic systems using Viterbi algorithm", 17th IFIP TC7 Conference on System Modelling and Optimization, Prague, july Y.Hamam & T.Al Ani : "Simulated annealing approach for Hidden Markov Models, 4th WG-7.6 Working Conference on Optimization-Based Computer- Aided Modeling and Design, ESIEE, France, may A.C ela, Y.Hamam, A.Carriere : "Modelling and control of a multi-machine power systems", IMACS Conference, CESA'96, Lille, july A.C ela, Y.Hamam, J.R.Nielsen, L.T.Christensen : "Non-linear approach to the control of multi-machine power systems", WCNA-96, International Federation of Non-linear Analysts, Athenes, july T.Al Ani & Y.Hamam : "An Integrated Environment for Hidden Markov Models-A Scilab Toolbox", IEEE Int. Conf. on CACSD, Dearborn, september Z.Gherari & Y.Hamam : "Backpropagation Neuro-Fuzzy Controller for Non 58

60 [c-56] [c-57] [c-58] [c-59] Linear Dynamic Systems", Proc. of IEEE Int. Conf. On Fuzzy Systems, Vol.2 pp , september 1996, New Orleans. Z.Gherari & Y.Hamam : "Backpropagated adaptive critic neurofuzzy controller for non linear dynamic system", in Proc. ieee int. conf.neural networks, june 1997, Houston. K.Yahiaoui, Y.Hamam, F.Rocaries : "Constrained Genetic algorithm-based Computer Aided Control System Design", Mendel'97, june 1997, Brno. K.Yahiaoui, Y.Hamam, F.Rocaries : "Constrained Genetic algorithm-based Computer Aided Control System Design. Fixed versus Variable size Population", IEEE 12th International Symposium on Intelligent Control, july 1997, Istanbul. Y.Hamam : "Coding of Solutions and Neigbourhood in Meta-heuristics for Network Optimisation" 14th IFIP World Computer Congress, july 1997, Detroit. 59

61 Brevets et rapports [a-00] Y.Hamam : \Optimization of Large Systems" PhD Thesis, University of Manchester Institute of Science and Technology, [a-01] P.Bildstein, Y.Hamam : "Filtre discriminateur pour dispositif de Telecommande Utilisant les Fils du Reseau d'alimentation en courant electrique", patent FR , [a-02] F.Rocaries, Y.Hamam & J.Pichot : "Probleme de remontee en temperature a co^ut minimum : application a unsysteme PERCHE". Rapport EDF HE 112 NS 2670, Juin [a-03] F.Rocaries, Y.Hamam & J.Pichot : "Etude de l'inuence des heures creuses meridiennes sur le comportement des planchers chauants". Rapport EDF HE 112 NS 2864, Juin 1986 [a-04] F.Rocaries, Y.Hamam & J.Pichot "Inuence des heures creuses meridiennes sur le comportement des planchers chauants electriques en immeubles collectifs". Applications Electriques dans le residentiel et le tertiaire (revue EDF) No 12 p.15-22, [a-05] F.Decarpentrie, P.Filipone & A.-S.Gires : \Dispositive anti-collision pour simulateur de radiotherapie", Rapport de n d'etudes ESTE pour la societe MECASERTO, [a-06] R.Maas, D.Trahand : \Algorithmes genetiques appliques a l'optimisation d'un contr^oleur ou", Projet de quatrieme annee ESIEE,

62 Theses dirigees [t-01] [t-02] [t-03] [t-04] [t-05] [t-06] [t-07] [t-08] [t-09] [t-10] D.Georges : "Planication optimale de trajectoire et commande optimale des robots manipulateurs", these de docteur ingenieur, ENSMP, 1987 A.Khoukhi : "Commande et identication d'une classe de systemes nonlineaires", these de Docteur de l'enst, D.Wang : "Contribution a la planication optimale de trajectoires de robots manipulateurs avec evitement d'obstacles", these de Docteur du CNAM, H.Zhang : "Application de la commande adaptative a certaines classes de systemes non-lineaires", these de docteur de l'universite Paris XII, A.Cela : "Contribution a la commande des robots manipulateurs", these de docteur de l'universite Paris XI, Q.C.Meng : "Application des algorithmes genetiques a la commande de systemes", these de docteur de l'universite Paris XII, K.Djouani : "Contribution a la commande dynamique des navires", these de docteur de l'universite PARIS XII Val-de-Marne, N.Venuti : "Contribution a la conception de la commande d'un moteur muni de soupapes electromecaniques", these de docteur de l'universite PARIS XII Val-de- Marne, A.Carriere:"Contribution a lamodelisation a l'identication et a la commande des pompes a chaleur", these de Docteur du CNAM, E.Huyghe :"Contribution a la commande oue des procedes : optimisation par recuit simule ducontr^oleur, application a laregulation robuste d'un procede thermique", these de docteur de l'universite PARIS XII Val-de-Marne,

63 References generales [McC-43] W.McCulloch & W.Pitts : "A logical calculus for the idea immanent in nervous activity", Bull. Math. Biophysics, Vol. 5, pp , [Dant-49] G.B.Dantzig : "Programming of interdependent activities, II, Mathematical models", Econometrica, vol. 17, N3 et 4, pp , [Kuh-51] H.W.Kuhn & A.W.Tucker : "Nonlinear programming", Econometrica, vol.19, pp.51-52, [Met-53] N.Metropolis, A.W.Rosenbluth, M.N.Rosenbluth, A.H.Teller & E.Teller : "Equations of state calculation by fast computing machines", Journal of Chemical Physics, 21, , 1953 [Gom-59] R.E.Gomory : "Outline of an algorithme for integer solutions to linear programs", Bulletin of the American Mathematical Society, No. 64, pp , [Ben-62] J.F.Benders : "Partitioning procedures for solving mixed variables programming problems", Numerische Mathematik, 4, pp , [Fle-64] R.Fletcher & C.M.Reeves : "Function minimization by conjugate gradients", Computer Journal 7, pp , [Edm-65] J.Edmonds : "Maximum matching and a polyhedron with 0-1 vertices", Journal of Research of the N.B.S., 69B, pp , [Min-68] M.Minsky & S.Papert : \Perceptron", MIT Press, [Bro-70] C.G.Broyden : "The convergence of double-rank minimization algorithms 2 : the new algorithm", Journal Institute of Mathematics and its Applications 6, pp , [Fle-70] R.Fletcher : "A new approachtovariable metric algorithms", The Computer Journal, Vol.13, No. 3, pp , [Gol-70] D.Goldfarb : "A family of variable metric methods derived by variational means", Mathematics of Computation, 24, pp.23-26, [Sha-70] D.F.Shanno : "Conditioning of quazi-newton methods for function minimization", Mathematics of Computation, 24, pp , [Pol-74] E.Polak : "Computational methods in optimization, a unied approach", Academic Press, [Hol-75] J.H.Holland "Adaptation in natural and articials systems", University of Michigan Press, Ann Harbor, [Kir-80] S.Kirkpatrick, C.D.Gellat & M.P.Vecchi : "Optimisation by simulated annealing", Science 220, pp , [Min-82] M.Minoux, \Programmation mathematique", Tome 1, Dunod,

64 [Kar-84] N. Karmarkar : "A new polynomial time algorithm for linear programming", Combinatorica, 4, pp , [Sak-84] M.Sakarovitch : "Optimisation combinatoire", Hermann, Paris, [McC-86] J.L.McClelland & D.E.Rumelhart : \Parallel distributed processing" Vol 1, pp , MIT Press, [Nem-88] G.L.Nemhauser, L.A.Wolsey : "Integer and combinatorial optimisation", Wiley, [Ber-88] D.P.Bertsekas & P.Tseng : \Relaxation methods for minimum cost ordinary and generalized network ow problems", Operation Research, Vol. 36, pp , [Aar-89] E.H.L.Aarts & J.H.M.Korst : "Simulated annealing and Boltzmann machines", Wiley, Chichester, [Cyb-89] G.Cybenko : \Approximation by supperposition of a sigmoidal function", Mathematics of control signals and systems, Vol. 2 pp , [Ree-93] C.R.Reeves : "Modern heuristic techniques for combinatorial problems", Blackwell Scientic publications",