Publications

• Communication dans un congrès

Non-normative Behaviour in Multi-agent System: Some Experiments in Traffic Simulation

Doniec Arnaud, Stephane Espie, René Mandiau, Sylvain Piechowiak

Most of the works related to norms and multi-agent systems focus on the design of normative agents systems making the assumption that agents always respect norms. Our aims in this article are (i) to discuss the relevance of this assumption in some specific contexts and to highlight some benefits of…

2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Dec 2006, Hong Kong, China. pp.30-36, ⟨10.1109/IAT.2006.96⟩. ⟨hal-04286625⟩

• Communication dans un congrès

Multi-agent Coordination and Anticipation Model to Design a Road Traffic Simulation Tool

Doniec Arnaud, Stéphane Espié, René Mandiau, Sylvain Piechowiak

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Dec 2006, Lisbonne, Portugal. ⟨hal-04286639⟩

• Thèse

Modèle décisionnel orienté comportement fondé sur le vote : Application à la navigation d'agents autonomes en environnement simulé, Behavior based decisional model using vote : Application to the autonomous navigation in simulated environments

David Hanon

Les acteurs virtuels autonomes sont des agents évoluant dans des environnements dynamiques et continus. Ils doivent prendre des décisions afin de s'y adapter en temps réel. Il leur faut donc disposer de modèles décisionnels performants. Les modèles décisionnels orientés comportement sont…, Autonomous virtual actors are agents that move in dynamic and continuous environments. They must decide in real time in order to adapt themselves to their environment. That is why they have to include efficient decisional model. The behavior based decisional models are well suited to this kind of…

Interface homme-machine [cs.HC]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00135931⟩

• Thèse

Lois de commande pour une classe de modèles non linéaires sous la forme Takagi-Sugeno : Mise sous forme LMI, Control laws for a class of nonlinear models in the Takagi-Sugeno's form: getting LMI conditions

Alexandre Kruszewski

Cette thèse se focalise sur une classe particulière de modèles non linéaires appelés modèles Takagi-Sugeno. Même s'ils sont issus de l'approche historique de la logique floue, ils peuvent s'interpréter comme une collection de modèles linéaires interconnectés par des fonctions non…, This PhD thesis deals with a particular class of nonlinear models called Takagi-Sugeno. In spite of their fuzzy background, they can be seen as a collection of linear models blended by some nonlinear functions. The stability analysis of this kind of models is investigated through the direct…

• Thèse

Proposition d'une architecture logique d'un système de pilotage hétérarchique évolutif par apprentissage, Proposal of a logic architecture of an evolving heterarchical control system based on learning capacities

Bousbia Salah

La complexité et la variabilité du contexte actuel des Systèmes de Production de Biens et de Services (SPBS) imposent une vision dynamique des performances (techniques, économiques,...) de ces systèmes, c'est-à-dire des performances continuellement améliorées. Ce besoin d'une vision…, We are interested in this study in the performances' continuous improvement of the Production Systems of Goods and Services (PSGS) which organization and structure of control have significantly evolved these last years. In this work, we propose a systemic modelling of the PSGS. This modelling…

Sciences de l'ingénieur [physics]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00355165⟩

• HDR

Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B

Vincent Poirriez

Je présente dans ce mémoire un bilan de mon activité scientifique effectuée au sein des groupes POC (Parallèlisation et Optimisation Combinatoire) et SID (Systèmes d'Information Distribués) de l'équipe ROI (Recherche Opérationnelle et Informatique) du laboratoire LAMIH à l'UVHC. Mes…

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. ⟨tel-00129682⟩

• Rapport

MOUVER.PERSO, MObilité et mUltimodalité Voyageurs Etudiants, Système d'information multimodale personnalisée

Emmanuelle Grislin-Le Strugeon, Abdouroihamane Anli, Christelle Petit-Rozé, Makram Soui, Gérald Conreur, Philippe dos Santos, Mourad Abed, Christophe Kolski

[Rapport de recherche] Université de valenciennes et du Hainaut-Cambrésis; LAMIH, Valenciennes. 2006, 43 p. ⟨hal-03484108⟩

• Thèse

Méthodologie de développement des systèmes d'information personnalisés : Application à un système d'information au service des usagers des transports terrestres de personnes, Development methodology of the personalized information systems: Application to an information system dedicated to traveller information

Abdouroihamane Anli

Cette thèse propose une méthode pour l'analyse, la conception et la modélisation des systèmes d'information personnalisés. Cette méthode que nous appelons PerMet (PERsonalization METhodology) permet aussi bien la mise en place d'un nouveau système d'information personnalisé que…, This thesis proposes a methodology for the analysis, the design and the modelling of the personalized information systems. This methodology called PerMet (PERsonalization METhodology) allows as well the development of a new personalized information system as the personalization of an already…

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00151014⟩

• Thèse

Méthode et outil de simulation distribuée pour l’accommodation de la conduite de réseaux d'entreprise, Method and distributed simulation tool for the control accomodation of corporate networks

Simon Enjalbert

Aujourd'hui, la plupart des entreprises s'organisent en réseaux de partenaires, de fournisseurs et de sous traitants pour réaliser de nouveaux projets. Cependant, les outils classiques de planification n'offrent pas toutes les fonctionnalités nécessaires pour garantir la conduite de…, Method and distributed simulation tool for the control accomodation of corporate networks

Automatique / Robotique. Institut national polytechnique de Toulouse (INPT), 2006. Français. ⟨NNT : ⟩. ⟨tel-01973229⟩

• Thèse

Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B

Samuel Colin

Dans le domaine des systèmes informatisés où la fiabilité est la première priorité, les méthodes formelles ont prouvé leur efficacité pour la conception de logiciels sûrs. La dépendance à de tels systèmes augmente, et les contraintes rencontrées se font plus diverses et précises, en particulier les…, In the field of automated systems where reliability is the first requirement, formal methods proved to be efficient for the design of safe software. The dependency towards such systems is increasing, and the constraints to be met by these systems become more and more various and precise,…

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00123899⟩