D’une conception informée par des données à la généralisation des systèmes cyber-physiques

Des systèmes multiagents anytime pour la conception de systèmes d'aide à la décision

RÉSUMÉ. Dans un système d’aide à la décision (S.A.D.), un système informatique doit permettre au décideur de prendre la meilleure décision possible, souvent avant une échéance donnée. Nous considérons dans ce papier les S.A.D. qui reposent sur une modélisation multiagent. L’objectif de notre travail est d’étendre la notion de système multiagent à un environnement contraint par le temps, c’est-à...

Déléguer la protection des données personnelles à des agents cognitifs

L’intégration des réglementations en matière de protection des données personnelles peut s’avérer complexe pour l’utilisateur. Malheureusement, les propositions techniques en matière de vie privée manquent à la fois d’un lien efficace avec les réglementations et de réelles capacités à aider les utilisateurs au cours de leurs interactions. C’est pourquoi nous proposons le modèle d’agent PAw, un ...

Aide à la conception des microsystèmes

De la statistique des données à la statistique des connaissances : avancées récentes en Analyse des Données Symboliques

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...