Des réseaux logistiques aux réseaux sociaux numériques
International audience
International audience
Dans cet article, nous décrivons un travail préliminaire mené en 2019 et 2020, pour avancer dans la transcription automatique d’un diagramme unifilaire électrique en réseaux de Petri. Le but consiste à pouvoir simuler les modèles obtenus, afin d’estimer quantitativement les critères de sûreté de fonctionnement intéressant les clients industriels de...
Urban rail traffic is subject to numerous disrupting events that drift it from its nominal behavior. In order to minimize the impact of these disturbances, rail operators rely on a set of techniques. Despite their efficiency, performances of theses techniques are rarely well studied, nor are they of proven optimality; a direct consequence of them b...
Les systèmes temps réel doivent répondre à des contraintes d’exactitude et de sureté de fonctionnement, ce qui nécessite de pouvoir les tester. Dans ces travaux de thèse, nous proposons une méthode permettant de forcer une exécution d’un système temps réel de manière à atteindre un état choisi.Cette technique peut permettre le test de systèmes temp...
Dans cet article nous présentons une approche d'identification passive et de type boîte noire pour les Systèmes à Evénements Discrets (SED), constitués d'un contrôleur et d'un procédé interagissant en boucle fermée. Cette approche permet de construire de manière systématique un réseau de Petri interprété (RdPI) qui modélise le comportement du SED, ...
Les jeux sérieux constituent aujourd'hui un outil de formation de plus en plus utilisé en entreprise. La question de l'efficacité de ce type de dispositif sur l'apprentissage constitue un enjeu de recherche. Les indicateurs fournis à l'issue d'un jeu vidéo sont insuffisants pour suivre et comprendre le parcours d'un joueur/apprenant. Il est donc né...
Cette thèse s'attaque dans une première partie au problème du pilotage automatique des voiliers de compétition en s'appuyant sur la réalité virtuelle qui, via la simulation, permet de s'affranchir de tests en situation réelle généralement coûteux, contraignants et risqués. Une architecture multi-agents est proposée ainsi que sa modélisation en term...
Actuellement, les méthodes formelles sont de plus en plus utilisées dans le but d’analyser le comportement les systèmes dits temps-réel. Ces méthodes utilisent des modèles formels de spécification dotés de sémantiques bien définies et des techniques de vérification formelle. D'autre part, les sémantiques de vrai parallélisme, comme la sémantique de...
International audience
L'objectif de l'informatique ubiquitaire ou ambiante, telle que définit par Weiser dans son article de référence, est de faire disparaître l'informatique traditionnelle au profit d'un espace informatisé. L'ordinateur ambiant doit également offrir des capacités d'interaction plus naturelles, être transparent et utilisable sans effort. L'intelligence...