Spelling suggestions: "subject:"digraphes"" "subject:"bigraphes""
421 |
Sur la commande linéaire de systèmes à événements discrets dans l'algèbre (max,+).Hardouin, Laurent 16 June 2004 (has links) (PDF)
Ce mémoire a pour vocation de prouver aux membres du jury ma capacité à diriger des recherches. Il est organisé de la manière suivante : La première partie regroupe mon curriculum vitae, et une liste de publications. Le chapitre 2 est une présentation générale d'une partie des travaux que j'ai initié au cours de la dernière décennie. Dans un souci de cohérence d'ensemble je n'ai présenté que les travaux relatifs à la commande de systèmes (max,+) linéaires. Ils constituent le dénominateur commun aux trois thèses que j'ai encadrées. Ce chapitre inclut quelques nouveautés à l'attention du lecteur averti, notamment la synthèse d'un observateur d'état est introduite pour la première fois ici. Il se termine sur la présentation de quelques perspectives de recherche. La troisième partie regroupe quelques publications qui permettront au lecteur de retrouver les preuves des résultats énoncés dans le second chapitre.
|
422 |
Distributed cooperative control for multi-agent systemsWen, Guoguang 26 October 2012 (has links) (PDF)
Cette thèse considère principalement trois problèmes dans le domaine du contrôle distribué coopératif des systèmes multi-agents(SMA): le consensus, la navigation en formation et le maintien en formation d'un groupe d'agents lorsqu'un agent disparait. Nous proposons 3 algorithmes pour résoudre le problème du calcul distribué d'un consensus à partir de l'approche leadeur-suiveur dans le contexte SMA à dynamique non-linéaire. La référence est définie comme un leader virtuel dont on n'obtient, localement, que les données de position et de vitesse. Pour résoudre le problème du suivi par consensus pour les SMA à dynamique non-linéaire, nous considérons le suivi par consensus pour SMA de premier ordre. On propose des résultats permettant aux suiveurs de suivre le leadeur virtuel en temps fini en ne considérant que les positions des agents. Ensuite, nous considérons le suivi par consensus de SMA de second. Dans le cas de la planification de trajectoire et la commande du mouvement de la formation multi-agents. L'idée est d'amener la formation, dont la dynamique est supposée être en 3D, d'une configuration initiale vers une configuration finale (trouver un chemin faisable en position et orientation) en maintenant sa forme tout le long du chemin en évitant les obstacles. La stratégie proposée se décompose en 3 étapes. Le problème du Closing-Rank se traduit par la réparation d'une formation rigide multi-agents "endommagée" par la perte de l'un de ses agents. Nous proposons 2 algorithmes d'autoréparation systématique pour récupérer la rigidité en cas de perte d'un agent. Ces réparations s'effectuent de manière décentralisée et distribuée n'utilisant que des informations de voisinage.
|
423 |
Système Interactif d'Aide au Déplacement Multimodal (SIADM)Zidi, Kamel 13 December 2006 (has links) (PDF)
L'objectif de notre travail est la réalisation d'un système interactif d'aide aux déplacements, en mode normal, et en mode dégradé de fonctionnement du réseau de transport en commun. Ce système vise par ailleurs à minimiser le temps d'attente des voyageurs, en mode dégradé, dans les pôles d'échanges et à leur assurer, dans la mesure du possible, la continuité des déplacements dans les réseaux multimodaux. Il s'agit donc d'améliorer la qualité du service rendu aux voyageurs et les maintenir informés. Une grande partie du travail de cette thèse concerne la conception, le développement et la validation des approches qui permettent de donner des solutions optimales ou quasi optimales, pour un réseau de transport normal et perturbé. Ces approches utilisent une méthode multicritère de recherche d'itinéraire qui s'appuie sur une hybridation entre un algorithme de Dijkstra modifié et un algorithme génétique, pour générer une population de chemins minimums . L'algorithme de Dijkstra modifié nous donne un ensemble de solutions servant de population initiale pour l'algorithme génétique.<br />La modélisation du réseau de transport est représentée par une architecture multi-zones . Cette architecture nous montre l'aspect distribué du système, les interactions et les relations qui peuvent avoir lieu entre les différenttes zones. Nous présentons dans ce travail un Système Multi-Agent d'Aide au Déplacement, SMAAD. Les agents de ce système utilisent le module d'optimisation développé dans la première partie. Notre travail est réalisé dans le cadre du projet « VIATIC-MOBILITE », qui est le projet 6 du pôle de compétitivité I-Trans.
|
424 |
Modélisation et analyse temporelle par réseaux de Petri et logique linéaireRiviere, Nicolas 26 November 2003 (has links) (PDF)
L'objectif de cette thèse est de contribuer à l'élaboration de méthodes d'aide à la conception de systèmes coopératifs en prenant en compte les contraintes temporelles de manière quantitative. L'approche développée est fondée sur les réseaux de Petri, la logique linéaire et les graphes de contraintes temporelles. C'est une approche orientée « événements » et non orientée « états » comme c'est souvent le cas dans les approches fondées sur les réseaux de Petri. Elle est décomposée en deux étapes : une étape d'analyse « qualitative » et une étape d'analyse « quantitative ». La première consiste à obtenir les relations de causalité entre les événements appartenant à un scénario donné. L'équivalence entre un arbre de preuve en logique linéaire et le processus fini obtenu par dépliage d'un réseau de Petri à partir du même marquage initial montre que ces relations sont des relations de précédence. L'introduction de la notion de séquent caractéristique permet de mettre en Suvre une approche compositionnelle des processus à partir des règles du calcul des séquents. La deuxième étape consiste à passer du graphe décrivant les relations de précédence à un graphe de contraintes temporelles exprimant de façon linéaire l'ensemble des contraintes temporelles quantitatives que doivent vérifier les dates des franchissements des transitions dans un scénario. Il devient ainsi possible d'exploiter tous les résultats des techniques classiques d'analyse et de propagation de contraintes. Cette démarche est complètement cohérente avec les réseaux de Petri p-temporels mais difficilement compatible avec les t-temporels car ils engendrent des ensembles de contraintes qui sont plus complexes. Nous avons illustré cette démarche par un problème simple d'ordonnancement de documents multimédias. Nous avons par la suite montré comment, pour les réseaux de Petri t-temporels, nous pouvions calculer les dates de franchissements et les durées de séjour des jetons dans les places en restant sous une fo rme symbolique dans le cadre de la sémantique faible.
|
425 |
Stratégies d'Ordonnancement Conditionnelles Utilisant des Automates TemporisésKerbaa, Abdelkarim Aziz 02 October 2006 (has links) (PDF)
Cette thèse développe une méthodologie pour résoudre les problèmes d'ordonnancement de programmes conditionnels où savoir si une tâche doit être exécutée n'est pas connue à l'avance mais dynamiquement. Le modèle utilisé est à base d'automates temporisés représentant l'espace d'états à explorer. Le problème est donc formulé comme le calcul d'une stratégie gagnante (pire cas optimale) dans un jeu contre l'environnement. Dans un premier temps nous étudions le problème d'ordonnancement sur graphes de tâches déterministe puis nous étendons l'étude au problème d'ordonnancement avec incertitude conditionnelle. Pour les deux problèmes nous étudions différentes classes d'ordonnancements et de stratégies pour réduire l'espace d'états, des décompositions en chaînes pour réduire sa taille, puis nous investiguons plusieurs classes d'algorithmes exactes pour en évaluer l'efficacité et à partir desquels nous dérivons de bonnes heuristiques. Des résultats expérimentaux sur plusieurs exemples de benchmarks sont présentés afin de montrer l'efficacité de chaque algorithme et la précision des heuristiques proposées, puis des bornes théoriques sont déduites pour prouver la garantie de performance pire cas de chaque heuristique.
|
426 |
Model-checking pour les ambients des algèbres de processus aux données semi-structurées /Talbot, Jean-Marc Tison, Sophie. January 2007 (has links)
Reproduction de : Habilitation à driger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 494. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 87-95. Liste des publications.
|
427 |
Contribution à l'amélioration des systèmes d'aide à la décision pour la régulation du trafic dans les réseaux de transport collectifOuld Sidi, Mohamed Mahmoud Borne, Pierre. Hammadi, Slim Hayat, Saïd. January 2008 (has links)
Reproduction de : Thèse de doctorat : Automatique et informatique industrielle : Villeneuve d'Ascq, Ecole centrale de Lille : 2006. / Titre provenant de la page de titre du document numérisé. Bibliogr. p. 145-157.
|
428 |
Étude de l'ordre des gènes clusters de gènes et algorithmique des réarrangements /Figeac, Martin Delahaye, Jean-Paul Varré, Jean-Stéphane January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / N° d'ordre (Lille 1) : 3565. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 173-177. Index.
|
429 |
Analyse et résolution approchée de problèmes d'optimisation combinatoire application au problème de coloration de graphe /Weinberg, Benjamin Talbi, El-Ghazali January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / N° d'ordre (Lille 1) : 3467. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. 9 p.
|
430 |
Modélisation et étude de performances dans les réseaux VANETAit Ali, Kahina 16 November 2012 (has links) (PDF)
Les réseaux véhiculaires sont des systèmes de communication basés sur un échange d'informations de véhicules à infrastructures fixes installées au bord des routes, on parle alors de mode V2I (Vehicle-to-Infrastructure), ou de véhicules à véhicules dit mode V2V (Vehicle-to-Vehicle) ou VANET (Vehicular Ad hoc Network). L'objectif est de fournir aux conducteurs et aux opérateurs de transport des informations sur le trafic routier permettant d'améliorer l'efficacité des systèmes de transport, la sécurité et le confort des usagers. Depuis leur apparition, les VANET ont connu un très grand essor, de nombreux standards, applications et mécanismes de routage ont été proposés pour répondre aux spécificités de cette nouvelle classe de réseaux. Les défis à relever pour leur conception découlent principalement de la forte mobilité des véhicules, de la diversité spatio-temporelle de la densité du trafic et de la propagation des ondes radio en environnement extérieur défavorable à l'établissement des communications sans fil. La difficulté, aussi bien économique que logistique, de la mise en œuvre réelle des réseaux véhiculaires fait de la simulation le moyen le plus largement utilisé pour la conception et l'évaluation des solutions proposées. Cependant la validité des résultats de simulation dépend fortement de la capacité des modèles utilisés à reproduire le plus fidèlement possible les situations réelles. Deux aspects sont essentiellement importants dans les VANET : la mobilité des véhicules et la propagation des ondes radio. Nous proposons dans cette thèse un nouveau modèle de mobilité et un nouveau modèle de propagation d'ondes radio pour réseaux de véhicules en environnement urbain et suburbain. Pour définir des schémas réalistes, ces deux modèles se basent sur des données statiques et dynamiques réelles sur les caractéristiques topographiques et socio-économiques de l'environnement. Ces données décrivent particulièrement la distribution spatio-temporelle des véhicules et les infrastructures présentes dans l'environnement. Trois cas d'études sont présentés dans la thèse pour la validation des modèles développés ; un environnement théorique, urbain ou suburbain, défini par l'utilisateur, notamment le cas Manhattan très utilisé, et deux environnements réels qui représentent des agglomérations de taille moyenne. Une autre contribution de cette thèse est l'étude de la connectivité radio et des performances des protocoles de routage dans les VANET. A partir de graphes dynamiques de connexions représentant la variation des liens radio entre véhicules en déplacement, nous avons analysé et déterminé les propriétés de la topologie des liaisons radio des réseaux véhiculaires. Pour étudier les protocoles de routage, nous avons utilisé le modèle de mobilité et le modèle de propagation radio que nous avons développés en association avec le simulateur de réseaux ns-2. Nous avons comparé les performances des protocoles de routage les plus répandus et déterminé les mécanismes de routage les plus adaptés aux réseaux véhiculaires.
|
Page generated in 0.024 seconds