ACCUEIL
 

Journée du LSIS
Le jeudi 12 juin 2014 à 08h30 - Isle Sur La Sorgue
Coordonnée : DOMAINE DE LA PETITE ISLE
BEST WESTERN
871, ROUTE D’APT
84800 L’ISLE SUR LA SORGUE
Fichier de présentation : isle_sur_sorgue_programme.pdf
Sémantique distributionnelle et Recherche d'Information
Le mardi 03 juin 2014 à 14h30 - bâtiment Polytech GII, rdc. Salle G. Jaumes
Intervenant(s) : Dr Laurianne Sitbon
Résumé : Dr Laurianne Sitbon is a lecturer at Queensland University of Technology in Australia.
Her research is about creating innovative intelligent systems that can
facilitate and improve communication involving humans.
That is, humans to humans, humans to machine and machine to human
interactions.
This involves research questions around multilingualism and
multi-disciplinarily, issues around capturing semantics of natural
language, automatic dialogue systems, automatic information extraction and
summarisation, but also support learning (learn how to communicate in a
different language, learn how to communicate socially for users with
intellectual disabilities). My
perspective is that of understanding cognitive processes to enhance the
development of algorithms.
Coordonnée : "Lors de ce séminaire je présenterai la notion de sémantique distributionnelle (Latent Semantic Indexing, Random Indexing, Non Negative Matrix Factorisation, Neural Nets Language Models, Latent Dirichlet Allocation) et certains résultats et applications, y compris dans le domaine de l'analyse et la recherche de rapports cliniques. Je présenterai également des travaux en cours à propos d'interfaces de communication avec des personnes présentant des handicaps intellectuels."
Commentaire : L'équipe-projet DIMAG reçoit du lundi 2 au vendredi 6 juin Laurianne Sitbon, Lecturer à Queensland University of Technology, Brisbane, QLD, Australia (http://staff.qut.edu.au/staff/sitbon/).
Elle nous présentera ses activités (Recherche d'Information) mardi 3 juin après-midi.
Les logiques des conditionnels, sémantique et théorie de preuve: développements récents et problèmes ouverts
Le lundi 02 juin 2014 à 13h30 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Nicola Olivetti
Résumé : Dans cet exposé je vais faire une introduction aux logiques des conditionnelles, leur motivations et applications. Je présenterai ensuite les sémantique principales pour ces logiques et des développement récents dans la théorie de preuve de ces logiques basés sur la proposition de calculs de sequents imbriqués.
Convexité du domaine elliptique pour le moyenné du temps minimum en transfert orbital
Le jeudi 10 avril 2014 à 15h30 - dans la salle E101B-E101 de l'IUT de Toulon
Intervenant(s) : an-Baptiste Pomet (INRIA Sophia Antipolis - Méditerranée)
Résumé : On décrira le processus de passage à un système moyen pour le transfert orbital en temps minimum et la métrique de Finsler que cela induit sur l'espace des orbites elliptiques. On montrera en particulier que, tout au moins dans un cas restreint, le domaine elliptique est géodésiquement convexe pour cette métrique.
(C'est un travail commun avec B. Bonnard, H. Henninger et J. Nemcova.)
An introduction to quantum feedback and quantum reservoir engineering
Le jeudi 06 mars 2014 à 15h00 - IUT de Toulon, salle E101B-E101
Intervenant(s) : Mazyar Mirrahimi (INRIA Paris-Rocquencourt)
Résumé : Stabilizing a quantum system in a desired state has important implications in quantum information science. In control engineering, stabilization is usually achieved by the use of feedback. The closed-loop control paradigm consists of measuring the system in a nondestructive manner, analyzing in real-time the measurement output to estimate the dynamical state and finally, calculating a feedback law to stabilize the desired state. However, the rather short dynamical time-scales of most quantum systems impose important limitations on the complexity of real-time output signal analysis and retroaction. An alternative control approach for quantum state stabilization, bypassing a real-time analysis of output signal, is called reservoir (dissipation) engineering. While dissipation, leading to what is known as decoherence for quantum systems, is generally considered as an obstacle to manipulate such systems in a controlled manner, here we will illustrate how it could be instead used as a resource to robustly stabilize them around a particular quantum state or a manifold of quantum states.


http://www.lsis.org/seminaire-theorieducontrol/
Complexity of control-affine motion planning
Le jeudi 30 janvier 2014 à 15h30 - IUT Toulon, bâtiment E, salle E006
Intervenant(s) : Dario Prandi, post-doctorant au LSIS
Résumé : In this talk we study the complexity of the motion planning problem for control-affine systems. Such complexities are already defined and rather well-understood in the particular case of sub-Riemannian (or driftless) systems. Our aim is to generalize these notions and results to systems with a drift. Accordingly, we present various definitions of complexity, as functions of the curve that is approximated, and of the precision of the approximation. Due to the lack of time-rescaling invariance of these systems, we consider geometric and parametrized curves separately. Then, we give some asymptotic estimates for these quantities and discuss the difficulties that arise due to the presence of a drift.
Ranking-based argumentation systems
Le lundi 20 janvier 2014 à 14h00 - Bat C1, salle de séminaire de la FRUMAN, 2eme étage, campus ST Charles
Intervenant(s) : Jonathan Ben-Naim chargé de recherches CNRS à l'IRIT, Toulouse
Résumé : Argumentation systems consist of a set of arguments, a set of attack relations between them, and a method, called semantics, for evaluating the arguments. In the present work, we introduce a new kind of semantics. The idea is to totally rank-order the arguments, from the most acceptable to the least acceptable ones. This contrasts with traditional approaches, where the goal of a semantics is a construct extensions, i.e. coherent sub-sets of arguments. Our first contribution is the proposition of several intuitive axioms for ranking-based semantics, which can be seen as criteria for judging and comparing them. Our second ontribution is the construction of two ranking-based semantics satisfying those axioms.
Séminaire DIMAG - Titre "Création d'un système de recherche d'informations médicales"
Le mardi 07 janvier 2014 à 10h30 - salle des commissions 1er étage LSIS Polytech St Jérôme,
Intervenant(s) : Lorraine Goeuriot(http://lorraine.goeuriot.free.fr/wp/)
Résumé : Le but du projet Khresmoi est de créer une plateforme de recherche multilingue et multimodale donnant accès à des informations et des documents médicaux, à destination de trois groupes d'utilisateurs : le grand public, les praticiens et médecins généralistes et les radiologues.
La Dublin City University est principalement impliquée au sein du projet dans la recherche d'information et l'évaluation.
Je présenterai dans ce séminaire ces deux aspects. Je détaillerai en particulier nos travaux sur l'utilisation de ressources sémantiques pour améliorer la recherche d'information et la recherche d'information cross-lingue. Je décrirai nos travaux sur l'évaluation de la recherche d'information dans le domaine médical et l'organisation de la campagne d'évaluation CLEF eHealth. J'introduirai enfin la création d'une stratégie globale d'évaluation à l'échelle d'un projet tel que Khresmoi.

Commentaire : nous accueillerons Lorraine Goeuriot(http://lorraine.goeuriot.free.fr/wp/)
qui viendra nous présenter ses travaux dans le cadre du
projet européen Khresmoi (Medical Information Analysis & Retrieval)http://www.khresmoi.eu

Elle est actuellement postdoctorante à Dublin dans l'équipe de Gareth Jones et d'Alan Smeaton (http://www.computing.dcu.ie/research/sensor-web-technologies/sensor-web-technologies-research-group). Elle a effectué sa thèse au LINA avec B. Daille et est l'une des organisatrices de la tâche Médicale de CLEF (https://sites.google.com/site/shareclefehealth/).
Proofs and countermodels in labelled sequent calculi: some recent developments
Le mardi 17 decembre 2013 à 14h00 - Locaux de la FRIIAM (Fédération de Recherche en Informatique et Interaction d'Aix-Marseille) sur le site de Saint-Charles
Intervenant(s) : Sara Negri, Senior Researcher and Adjunct Professor at the University of Helsinki (Philosophy Unit of the Department of Philosophy, History, Culture and Art Studies) http://www.helsinki.fi/~negri/
Résumé : Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin's method of maximal consistent sets of formulas. A method will be presented for unifying proof search and countermodel construction that is a synthesis of a generation of calculi with internalized relational semantics and a Tait-Sch"utte-Takeuti style completeness proof. The procedure will be illustrated through a number of examples of non-classical logics, with emphasis on recent developments including extensions beyond geometric frame conditions and normal modal logics, covering the Sahlqvist fragment and systems for counterfactual reasoning.
Proofs and countermodels in labelled sequent calculi: some recent developments
Le jeudi 17 octobre 2013 à 14h00 - Locaux de la FRIIAM (Fédération de Recherche en Informatique et Interaction d'Aix-Marseille) sur le site de Saint-Charles
Intervenant(s) : Sara Negri
Résumé : Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin's method of maximal consistent sets of formulas. A method will be presented for unifying proof search and countermodel construction that is a synthesis of a generation of calculi with internalized relational semantics and a Tait-Sch"utte-Takeuti style completeness proof. The procedure will be illustrated through a number of examples of non-classical logics, with emphasis on recent developments including extensions beyond geometric frame conditions and normal modal logics, covering the Sahlqvist fragment and systems for counterfactual reasoning.
Flying with the Greatest of Ease: Les chauves-souris peuvent voler, pourquoi pas nous ?
Le vendredi 05 juillet 2013 à 14h00 - Université de Toulon, Bât. R', Salle de Réunion 107
Intervenant(s) : Kenneth Sebesta , Syn2cat, Luxembourg, et Boston University, Boston
Résumé : A Boston University, nous nous posons des questions quant à la capacité des chauves-souris de voler en essaim sans collisions. Nous espérons comprendre leurs règles de vol afin de les adapter aux UAV. En effet, voler en autonomie sans collisions est sans doute la question primordiale qu'il faut résoudre avant que les UAV n'opèrent dans la vie quotidienne.
Noncommuting Flows and Combinatorial Hopf Algebras.
Le jeudi 20 juin 2013 à 15h00 - Université de Toulon, Bât. R', Salle de Réunion 107
Intervenant(s) : Matthias Kawski (Arizona State University, Tempe)
Résumé : Noncommuting flows are a distinguishing feature of geometric control theory. For a long time, Lie-theoretic tools have been a mainstay of differential geometric control theory. Recent insights point to deeper underlying geometric and algebraic structures that are formalized by Zinbiel algebras (dual to Leibniz algebras) and dendriform algebras. This presentation highlights the simplifications resulting form using combinatorial Hopf algebras in geometric dynamical system settings such as Sussmann's exponential product expansion of the Chen series, which may be understood as a continuous Baker-Campbell-Hausdorff formula. We demonstrate how combinatorial formulas for dual PBW-bases for Hall sets provide normal forms for (free) nilpotent control systems, and provide formulas for coordinates of the second kind.
Machine learning for Bioacoustics
Le vendredi 07 juin 2013 à 15h00 - USTV - Salle K18
Intervenant(s) : Pr Yann LeCun, Director of the Center for Data Science / Neural Science, The Courant Institute of Mathematical Sciences - New York University
Résumé : Animals and humans can learn to perceive and communicate with an efficiency that no Machine Learning method can approach. The brains of humans and animals are "deep", in the sense that each action is the result of a long chain of synaptic communications (many layers of processing). We are currently researching efficient learning algorithms for such "deep architectures". We are currently concentrating on unsupervised learning algorithms that can be used to produce deep hierarchies of features for recognition. We surmise that understanding deep learning will not only enable us to build more intelligent machines.
Conception et modélisation de véhicules de transport : systèmes dynamiques complexes
Le jeudi 06 juin 2013 à 09h00 - Centre Arts et Métiers ParisTech à Aix-en-Provence
Résumé : Les systèmes de transport : hélicoptère, avion, drone, voiture, métro, ... sont des systèmes mécaniques complexes, caractérisés par des aspects multi-physiques, multi-corps et multifonctions. La maîtrise de leurs comportements dynamiques et de leurs performances est un challenge permanent.

Différents travaux cherchent à modéliser un système dynamique dans l’objectif de les optimiser. Certaines de ces approches sont basées sur des outils de représentation graphique tels que : le bond graph ; le mutli-bond graph ou la représentation énergétique macroscopique.

Ce 1er workshop a pour ambition d’amorcer des échanges entre les laboratoires universitaires et les industriels sur le thème de la conception et le contrôle de systèmes dynamiques complexes à travers :
- la modélisation multi physiques ou multifonctions & conception ;
- les représentations énergétiques (outils, méthodologies, ….) ;
- le contrôle/commande.
Coordonnée : Pour en savoir plus, merci de contacter :
M. François Malburet – enseignant-chercheur
Courriel : francois.malburet@ensam.eu
Tél. : 04 42 93 81 60
Commentaire : Inscription gratuite par courriel : murielle.sauty@ensam.eu
Fichier de présentation : invitation workshop 06 2013 v2b.pdf
Etude de l'argumentation en Ludique
Le mardi 28 mai 2013 à 13h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Myriam Quatrini (IML)
Résumé : L'argumentation est un sujet d'étude abordé sous de nombreux angles: philosophique, linguistique, cognitif, logique, ... En collaboration avec C.Fouqueré, nous avons proposé une approche logique, calculatoire et linguistique de l'argumentation. Linguistique, dans la mesure où nous n'abordons l'argumentation que par le biais des dialogues argumentatifs, que nous considérons comme des cas particuliers de dialogues. Logique, car nous abordons les dialogues à partir de l'approche initiée en collaboration avec A. Lecomte d'une formalisation des dialogues dans un cadre logique, et plus précisément dans un cadre issu de la théorie de la démonstration~: celui de la Ludique. Calculatoire, dans la mesure où la théorie de la démonstration fournit un traitement des inférences qui fait référence aussi bien aux inférences déductives qu'aux calculs qui explicitent les éléments échangés au cours d'un dialogue.

Après une très rapide introduction à la ludique, nous présenterons la modélisation des dialogues argumentatifs en Ludique, en l'illustrant sur deux cas extrêmes: les stratagèmes de Schopenhauer et les controverses juridiques. Nous reviendrons ensuite sur le traitements des inférences que permet notre formalisation lorsqu'on se place dans le modèle ISU des dialogues.
Sur le noyau de la chaleur pour les structures riemanniennes et sous-riemanniennes.
Le jeudi 16 mai 2013 à 15h00 - bâtiment R', salle de réunion 107.
Intervenant(s) : Grégoire Charlot, Institut Fourier et Université Joseph Fourier, Grenoble.
Résumé : Résumé: dans un article récent [1], les auteurs montrent des résultats sur le développement asymptotique en temps courts du noyau de la chaleur, nouveaux en riemannien comme en sous-riemannien, en particulier pour les couples de points (x,y) qui sont conjugués et dans le lieu de coupure l'un de l'autre. Après une introduction au sujet et avoir présenté leur travail, je parlerai ici de prolongements de ces résultats qui permettent, via des considérations sur les singularités au lieu conjugué, d'affiner l'estimation du développement asymptotique du noyau de la chaleur.

[1] D. Barilari, U. Boscain, R. Neel, Small time heat kernel asymptotics at the sub-Riemannian cut locus. JDG Vol 92, No.3, 2012, pp. 373-416.

SAT solvers parallelization
Le lundi 13 mai 2013 à 14h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Susan Epstein
Résumé : Parallelization offers the opportunity to accelerate search on constraint satisfaction problems. To parallelize a sequential solver under a popular message passing protocol, the new paradigm described here combines portfolio-based methods and search space splitting. To split effectively and to balance processor workload, this paradigm adaptively exploits knowledge acquired during search and allocates additional re- sources to the most difficult parts of a problem. Extensive experiments in a parallel environment show that this paradigm significantly improves the performance of an underlying sequential solver, outperforms more naive approaches to parallelization, and solves many difficult problems left open after recent solver competitions.
Invariance properties of equations of MP
Le jeudi 11 avril 2013 à 15h00 - USTV - bâtiment R', salle de réunion 107.
Intervenant(s) : Revaz Gamkrelidze, Académie russe des sciences
Résumé : In selecting the subject of my lecture, I tried not to be excessively specific, though I intend to speak about a pretty special mathematical topic, the equations of MP in optimal control ? they generate extremals of the corresponding time-optimal problem. Though initially introduced for purely computational purposes, they turned out to have interesting invariance-geometric properties, which happens quite often with the equations that proved their mathematical validity. The equations I shall discuss are intimately connected with the bundle structure of tangent and cotangent spaces of the configuration manifold of the problem. It is my intention to describe general properties of MP equations and their solutions that are invariant with respect to this structure, so that my lecture could be considered as a master-class devoted to basics of canonical vector fields and differential forms on manifolds, applied to the needs of optimal control theory, and as a case for justification of the viewpoint that the linear language of differential forms and vector fields is completely adequate for describing the general nonlinear optimization problems.
Functional Data Analysis via Bayesian nonparametrics with application to signal classification
Le jeudi 28 mars 2013 à 13h30 - USTV salle R prim 107
Intervenant(s) : Asma Rabaoui Post-doc à Institut Fresnel
Résumé : In many signal processing applications, data collected are drawn from continuous processes and often obtained in the form of functions.
Functional data analysis (FDA) is a very attractive field of research that provides the possibility to fully exploit structure in such inherently continuous data. While more traditional approaches of functional data analysis are parametric and require specifying in advance a basis function for the data, challenges in modern signal processing applications motivate the nonparametric analysis of these data. In this talk, I will show how to deal with functional classification problems from a Bayesian nonparametric approach. Then, I will provide theoretical and practical motivations for our approach using Dirichlet process mixtures and Gaussian processes. Finally, I will illustrate experimentally that the Bayesian nonparametric FDA framework is particularly relevant for audio processing applications where attributes are really functions and dependent of each others
Commentaire : travaux en apprentissage / classification et ce dans le cadre du séminaire DYNI-LSIS "Modélisation, Apprentissage et Bases de Données
Introduction à la commande << sans modèle >>
Le jeudi 07 mars 2013 à 15h00 - USTV - bâtiment R', salle de réunion 107.
Intervenant(s) : Michel Fliess, LIX--École Polytechnique, Palaiseau
Résumé : Trop souvent, l'écriture d'équations différentielles précises et maniables est une gageure impossible à satisfaire pour décrire des systèmes << complexes >>. D'où des difficultés de régulation parfois insurmontables. On propose la commande << sans modèle >>, résultant d'un travail mené avec Cédric JOIN (CRAN, Nancy). Elle résout en bonne partie, sans nécessiter pour autant des calculs lourds, les écueils encontrées jusqu'alors par les praticiens et les théoriciens de la commande. Coûts, délais de mise au point et qualité sont ainsi notablement améliorés. On illustre le savoir-faire, qui n'exige qu'une familiarité rudimentaire avec des outils mathématiques élémentaires, par diverses simulations numériques et la description d'applications déjà réussies. On conclut par quelques réflexions sur l'automatique.

Modélisation, Apprentissage et Bases de Données
Le mercredi 06 mars 2013 à 14h30 - USTV dans la salle R prim 107
Intervenant(s) : Thoms Fillon Chercheur à TELECOM ParisTech
Structuration et analyse automatique de flux audio
Le mercredi 06 mars 2013 à 14h30 - USTV dans la salle R prim 107
Intervenant(s) : Thomas Fillon Chercheur à TELECOM ParisTech
Résumé : Flux radiophoniques, musique, vidéo, archives ou collections sonores : dans de nombreux contextes applicatifs, la numérisation des données audio offre la possibilité de réaliser des traitements automatisés ou semi-automatisés et permet un accès facilité à ces données. En outre, le développement conjoint de méthodes de traitement de signal et de classification autorise l'extraction d'informations sémantiques sans avoir recours à une annotation manuelle systématique.

Cet exposé propose une description des méthodes de classification et de traitement du signal utilisées dans les tâches de structuration et d'analyse automatique des flux audio en précisant les différents contextes applicatifs et leurs problématiques respectives.
Deux exemples particuliers de structuration et d'analyse de flux audio seront présentés : la classification automatique de signaux audio et l'analyse rythmique de morceaux de musique.

La méthodologie de classification de signaux audio proposée repose sur l'extraction de descripteurs audio de natures diverses (temporelle, énergétique, spectrale, cepstrale) et d'horizons temporels variés (long terme ou court terme) et sur l'utilisation d'un classificateur par Machine à Vecteurs de Support (SVM).
A partir de ce formalisme de classification, il est possible de mettre en œuvre des outils de segmentation de flux radiophoniques, d'étiquetage de morceaux de musiques ou de détection d’événements acoustiques particuliers (rires, applaudissements, …).

Dans le domaine de l'analyse des signaux musicaux, l'extraction automatique d'informations rythmiques comme la position des temps est une tâche essentielle car elle caractérise la structure temporelle d'un morceau de musique. Dans ce contexte, la méthodologie proposée consiste premièrement à estimer les instants d'attaques des instruments au cours du temps. Par la suite, l'estimation et le suivi conjoints du tempo (fréquence) et de la position des temps (phase) sont effectués grâce à un formalisme probabiliste original basé sur le concept de Champs de Markov aléatoires (Conditional Random Fields, CRF).

Chaque partie de l'exposé sera illustrée d'exemples concrets de réalisation.
Functional Data Analysis via Bayesian nonparametrics with application to signal classification
Le lundi 11 fevrier 2013 à 12h30 - campus de Luminy, PolyTech/ESIL, salle de réunion du bâtiment A
Intervenant(s) : Asma Rabaoui, Institut Fresnel
Commentaire : In many signal processing applications, data collected are drawn from continuous processes and often obtained in the form of functions. Functional data analysis (FDA) is a very attractive field of research that provides the possibility to fully exploit structure in such inherently continuous data. While more traditional approaches of functional data analysis are parametric and require specifying in advance a basis function for the data, challenges in modern signal processing applications motivate the nonparametric analysis of these data. In this talk, I will show how to deal with functional classification problems from a Bayesian nonparametric approach. Then, I will provide theoretical and practical motivations for our approach using Dirichlet process mixtures and Gaussian processes. Finally, I will illustrate experimentally that the Bayesian nonparametric FDA framework is particularly relevant for audio processing applications where attributes are really functions and dependent of each others.
Belief revision within fragments of propositional logic
Le lundi 04 fevrier 2013 à 14h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Nadia Creignou
Résumé : Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this direction has been mainly devoted to the Horn fragment of classical logic. In this work, we present a general approach to define new revision operators derived from known operators (as for instance, Satoh's and Dalal's revision operators), such that the result of the revision remains in the fragment under consideration. Our approach is not limited to the Horn case but applicable to any fragment of propositional logic where the models of the formulas are closed under a Boolean function. Thus we are able to uniformly treat cases as
dual-Horn, Krom and affine formulas, as well.

We will study certain properties of our approach, in particular with respect to revision postulates, and also discuss the limits of refining known revision operators for fragments of classical logic.
Stabilité de systèmes à commutation linéaires et analyse de la dynamique sur la sphère de Barabanov
Le jeudi 31 janvier 2013 à 14h30 - USTV - bâtiment R', salle de réunion 107.
Intervenant(s) : Paolo Mason, Chargé de recherche CNRS au Laboratoire des Signaux et Systèmes L2S-Supélec de Gif-sur-Yvette.
Résumé : Le problème de la stabilité uniforme des systèmes à commutation (linéaires) peut se reformuler comme un problème d'identification de la "trajectoire la plus instable" du système. Ce dernier problème peut être facilement résolu pour systèmes bi-dimensionnels grâce au théorème de Jordan, mais s'avère être extrêmement difficile à partir de la dimension trois. Grace aux résultats de Barabanov l'étude des trajectoires les plus instables se réduit à l'étude de certaines dynamiques sur une variété homeomorphe à une sphère (sphère de Barabanov). Dans cet exposé je discuterai des résultats et certaines questions ouvertes concernant ces dynamiques et la géométrie des sphères de Barabanov.
Extraction de points remarquables dans un nuage de points 3D
Le lundi 28 janvier 2013 à 12h30 - Polytech/ESIL, Campus de Luminy Salle de réunion du bâtiment A
Intervenant(s) : Christophe Riedinger (Laboratoire LSIS)
Commentaire : Séminaire Images & Modèles
Learning from examples to automatically cluster pigmented skin lesions
Le lundi 14 janvier 2013 à 12h30 - Polytech/ESIL, Salle de Réunion du bâtiment A
Intervenant(s) : Yanal Wazaefi, laboratoire LSIS
Résumé : Our goal was to model the ability of dermatologists to build consistent clusters of pigmented skin lesions in patients. A consensus clustering allows modeling the diversity of skin lesions in each patient as a result of the partitions proposed by nine dermatologists. To learn the dermatologists? consensus clustering, we used two supervised clustering methods, namely the structural approach and the pairwise approach. These methods learnt similarity measures between individuals? skin lesions to cluster future individuals? sets of skin lesions in the same fashion as the dermatologists do. The agreement between partitions obtained from the sequential fusion of both methods and the consensus clustering matches dermatologists agreement.
Classification non supervisée à base de modèles de mélanges topologiques : Application à la fouille de données catégorielles, continues et séquentielles
Le jeudi 20 decembre 2012 à 13h00 - USTV en salle R prim 107
Résumé : L'exposé présente des approches de classification non supervisée (clustering) utilisant des méthodes à base de prototypes exprimées dans un formalisme de modèles de mélanges pour le traitement de données qualitatives, mixtes et séquentielles. Pour chaque type de données, un modèle d'apprentissage non supervisé adapté à la nature des données traitées est proposé.

L’exposé est structuré autour de trois parties : La première partie présente un nouvel algorithme d'apprentissage non supervisé BeSOM (Bernoulli Self-Organizing Map) dédié aux données binaires. Dans ce modèle génératif, chaque unité de la carte est associée à une distribution de Bernoulli. Dans ce cas, l'apprentissage a pour objectif d'estimer la fonction densité sous forme d'un mélange de densités élémentaires. Chaque densité élémentaire est elle aussi un mélange de lois de Bernoulli définies sur un voisinage topologique.
La seconde partie de l’exposé aborde le problème des approches probabilistes pour le partitionnement des données mixtes (quantitatives et qualitatives). Le modèle proposé donne une autre dimension aux cartes topologiques : il permet une interprétation probabiliste des cartes et offre la possibilité de tirer profit de la distribution locale associée aux variables continues et catégorielles.

La troisième partie est consacrée au cas de données structurées en séquences pour lesquelles je propose un nouveau formalisme de mélanges Markovien dédié au traitement de ce type de données. L'approche proposée est une extension des chaînes de Markov traditionnelles. Deux variantes sont développées : une approche globale où la topologie est utilisée d'une manière implicite, et une approche locale où la topologie est utilisée d'une manière explicite.

La validation de ces approches a été effectuée sur plusieurs types de données : données médicales, chiffres manuscrits, données textuelles (récit d'accident de la route), et des séquences de gènes. Les résultats obtenus sont encourageants et prometteurs à la fois pour la classification non supervisée et pour la modélisation de données de différentes natures.
Coordonnée : http://seminaire-dyni.univ-tln.fr/
La caractérisation des textures multispectrales: Application à l'imagerie médicale pour l'aide au diagnostic
Le lundi 17 decembre 2012 à 12h15 - ESIL/Polytech, salle de réunion du bâtiment A
Intervenant(s) : Riad Khelifi
Ontology-Based Data Access and Constraint Satisfaction
Le mercredi 12 decembre 2012 à 14h00 - Mercredi 12 décembre 2012, Polytechnique GII, Campus de Saint-Jérôme, Salle de Cours C2, 2em Etage
Intervenant(s) : Frank WOLTER, Professor for Logic and Computation at the University of Liverpool.
Résumé : In recent years, the use of ontologies to access instance data has become increasingly popular. The general idea is that an ontology provides a vocabulary or conceptual model for an application domain, which can then be used as an interface for querying instance data and to derive additional facts.

In this presentation, I will introduce ontology-based data access for ontologies given in description logics and investigate the following non-uniform complexity problem: what is the complexity of query answering for a fixed ontology? It is shown that for many description logics this problem is equivalent to the non-uniform complexity problem for constraint satisfaction with finite templates (CSP). Examples of consequences include: (i) a P/NP dichotomy holds for ontology-based data access with standard description logics if, and only if, the Feder and Vardi dichotomy conjecture for CSP holds; (ii) results on first-order constraint satisfaction problems by Larose et al correspond exactly to reductions of ontology-based data access to standard SQL query answering over relational databases.
Utilisation des modèles de mélange pour la classification des données temporelles
Le jeudi 29 novembre 2012 à 13h30 - Université Sud Toulon VAR Batiment R salle 107
Intervenant(s) : Allou Samé, Chercheur IFSTTAR
Résumé : La description des données évoluant au cours du temps devient un problème central dans de nombreuses applications. La classification automatique permet, dans ce cadre, de déceler l’organisation sous-jacente des données sous la forme de classes évoluant au cours du temps. Fondamentalement, ce problème nécessite la définition de métriques appropriées mais une alternative consiste à s’appuyer sur les mélanges de lois. L’utilisation intensive, ces dernières années, des modèles de mélange tient surtout du fait de l’efficacité de l’algorithme EM pour l’estimation des paramètres.

Nous montrerons dans cet exposé comment le formalisme des modèles de mélange, initialement conçu pour les données « statiques » indépendantes peut être étendu à la classification des données temporelles. Les algorithmes de classification et de segmentation résultants seront illustrés sur des données simulées ainsi que dans le secteur des transports, sur des applications de télé - diagnostic de systèmes industriels dynamiques (portes pneumatiques d’autobus, aiguillage de rails).
Ateliers thématiques "Ingénierie Numérique et Collaborative de produits"
Le lundi 19 novembre 2012 à 09h00 - site d’Arts et Métiers ParisTech Aix-en-Provence
Résumé : Vous trouverez en pièce-jointe l’appel à participation aux ateliers thématiques qui se dérouleront le 19 Novembre prochain de 9h à 13h30 sur le site d’Arts et Métiers ParisTech Aix-en-Provence.

Vous pouvez vous inscrire dans l’un des quatre ateliers en vous inscrivant à l’adresse suivante : http://www.inovsys.fr/inovsys/cms/7198-7625/inscription-19-novembre-2012.dhtml

Venez donc échanger avec les industriels et académiques de la région pour créer des synergies et pistes de projets communs !
Fichier de présentation : flyer-journée-INOVSYS-19-Novembre-2012.pdf
De la diversité à des performances dynamiques inattendues
Le mercredi 27 juin 2012 à 10h30 - USTV, amphi EST, bâtiment A de l'IUT de Toulon-La Garde
Intervenant(s) : Alain OUSTALOUP, Grand Prix Lazare Carnot de l'Académie des Sciences, 2011
Résumé : Cette présentation offre un cadre d?étude à l?introduction de la dérivée non entière.
D?une part, ce cadre permet de résoudre un problème physique jusqu?ici insoluble, en l?occurrence le dilemme masse-amortissement en mécanique dont un équivalent est le dilemme stabilité-précision en automatique.
D?autre part, il permet d?introduire la dérivée non entière en tant qu?outil de modélisation, notamment dans la modélisation d?une paroi poreuse puis de la relaxation de l?eau sur une telle paroi.
Il s?avère que ce cadre trouve son essence dans une approche structurée de la diversité. Sans précédent en la matière, cette approche qui s?inspire de différentes formes de diversité d?origine biologique, conduit, sans grands développements mathématiques dans cette présentation, à des performances dynamiques (et notamment d?amortissement) insoupçonnées dans une approche " entière " de la mécanique et de l?automatique.
Coordonnée : Professeur à l'Institut Polytechnique de Bordeaux,
Grand Prix Lazare Carnot de l?Académie des Sciences, 2011
Commentaire : Alain Oustaloup a sorti la dérivation non entière de la pure théorie mathématique en définissant l'implantation d'un opérateur temps réel, aussi bien analogique que numérique, et en l'appliquant à la modélisation et l'identification des systèmes, ainsi qu'à la commande par une extension de l'ordre non entier au corps des complexes. Ainsi, il a surmonté le classique dilemme stabilité-précision en automatique, et a rendu, par exemple, l'amortissement indépendant de la masse en mécanique. Ces perspectives, impossibles dans une approche « entière », lui ont permis de mener à bien des transferts technologiques industriels particulièrement exemplaires. Les plus notables relèvent du secteur des véhicules tant civils que militaires, l'isolation vibratoire par la suspension CRONE et le contrôle moteur par la commande CRONE. L'approche d'Alain Oustaloup aussi performante par son pragmatisme que par son excellence théorique a réellement fécondé l'école automatique française.
Fichier de présentation : Seminaire A. Oustaloup .pdf
Sandro Bimonte
Le mercredi 16 mai 2012 à 14h00 - Saint Jérôme à la Salle Nord - 1er Etage - Réunion du LSIS
Intervenant(s) : Sandro Bimonte
Résumé : Les entrepôts de données spatiales et les systèmes Spatial OLAP sont des technologies d'aide à la décision permettant l'analyse en ligne des gros jeux de données géo-référencées. Dans un tel type de systèmes, la qualité de l'analyse dépend : de la qualité des données entreposées, de comment les agrégations sont effectuées, et de comment les données entreposées sont explorées. Dans cet présentation, nous détaillons une méthode pour garantir la qualité de ces trois facteurs, fondée sur un profil UML et sur des contraintes d'intégrité définies avec Spatial OCL. Nous présentons aussi panorama des travaux courants et futurs autour des entrepôts de données spatiales complexes ainsi que les différents projets dans le domaine agricole et environnemental.
Estimation, Prédiction et Filtrage Adaptatifs
Le mardi 10 avril 2012 à 10h30 - salle de seminaire G. Jaumes (Bt GII polytec RdC) au LSIS
Intervenant(s) : M'SIRDI Kouider Nacer
Méthodes d'Identification Paramétrique
Le mardi 20 mars 2012 à 10h00 - salle de seminaire G. Jaumes (Bt GII polytec RdC) au LSIS
Intervenant(s) : M'SIRDI Kouider Nacer
Autour des liens entre argumentation abstraite, programmation logique avec sémantique des answer sets et théories de défauts
Le lundi 19 mars 2012 à 14h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Farid Nouioua et Vincent Risch
Résumé : Le travail décrit dans ce séminaire est une tentative d'approfondir et d'enrichir les liens entre argumentation abstraite, programmation logique avec sémantique des answer sets et théories de défauts. Le séminaire est constitué de deux parties :

Dans la première partie, nous proposons de spécialiser la notion d'extension justifiée de façon à représenter les extensions admissibles (et donc préférées et stables) au sein d'une théorie de défauts. En nous appuyant sur la correspondance entre extensions justifiées et iota-answer sets, nous montrons alors que tout ensemble admissible d'arguments d un cadre argumentatif abstrait peut être directement calculé à partir des iota-answer sets du programme logique correspondant. En particulier, il est possible d'étendre un tel programme par un ensemble de contraintes ad hoc permettant d'en filtrer directement les ensembles admissibles.

Dans le deuxième partie, nous introduisons les cadres argumentatifs avec nécessités (CANs), une extension bipolaire des cadres argumentatifs de Dung qui prend en compte une relation de nécessité comme sorte de support entre arguments (un argument est nécessaire pour un autre). Nous redéfinissons les sémantiques d’acceptabilité pour ces cadres étendus et nous montrons que la relation de nécessité assure une correspondance directe et immédiate entre un fragment des programmes logiques et les CANs. Nous introduisons ensuite une généralisation des CANs qui étend la relation de nécessité pour lui permettre de porter sur des ensembles d’arguments. Nous présentons une adaptation naturelle des sémantiques d’acceptabilité à ce nouveau contexte et nous montrons que ce cadre généralisé
permet de capter des programmes logiques arbitraires.
séminaire I&M : Supervised clustering to identify the similarity clusters of multiple nevi in patients
Le vendredi 16 mars 2012 à 14h16 - ESIL, salle de documentation
Intervenant(s) : Yanal WAZAEFI & Bernard FERTIL
Commentaire : Ugly Duckling (UD) is widely admitted as a major feature for melanoma detection. UD is based on the concept of intra-individual comparative analysis. It assumes that the variability of nevi is limited in each individual and that human brain can identify a few dominant patterns, or similarity clusters (SC), which include all nevi sharing the same features. UD is a nevus that does not fit into any of the SCs of the individual.
In this study, nine dermatologists identified the SCs of 80 patients (with a total of 2089 dermoscopy images) at clinical scale with an average of 2.7 SCs per patient on digital images. Similarity between nevi for each patient was assessed using Cluster-based similarity partitioning algorithm. A hierarchical agglomerative clustering method was used to build a tree of hierarchical clusters and the B-cubed metrics were applied on each level of this tree to find the clustering with the highest agreement with the nine experts, called the consensus clustering. The experts are homogeneous in their behaviour of clustering as evaluated by B-cubed metrics.
To learn the similarity measure relative to the consensus clustering, we used a pairwise classifier. The feature vector describing each pair of nevi was represented by the combination of the local binary pattern feature (LBP) of the nevi. A supervised clustering with structural support vector machine algorithm was used to learn the consensus clustering structure based on the objective function of the correlation clustering.
Identification, Modèles Paramétriques
Le mardi 13 mars 2012 à 10h00 - salle de seminaire G. Jaumes (Bt GII polytec RdC) au LSIS
Intervenant(s) : M'SIRDI Kouider Nacer
Changement de croyances et ASP
Le lundi 12 mars 2012 à 14h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Eric Wurbel
Résumé : Le but de cet exposé est d'éclairer les liens existant entre programmation logique ASP et changement de croyances. Il montre comment l'ASP peut être utilisé pour représenter et implanter des opérations de changement de croyances et de connaissances génériques exprimées à l'aide de programmes logiques. Deux sémantiques différentes des programmes logiques sont examinées : la sémantique des modèles stables, et la sémantique des SE-modèles. Nous verrons que la première version de nos opérations de changement de croyance, basée sur les modèles stables, est trop forte (elle rejette trop de croyances initiales), et ne vérifie même pas les postulats de la fusion les plus simples et les plus souhaitables. Au contraire, nous verrons que la sémantique des SE-modèles donne plus de flexibilité, permet de réduire la perte des croyances initiales, et autorise même de retrouver des modèles stables par la suite.
Belief Base Revision as a Binary Operation on Implicant Sets: a finitary Approach to Belief Revision...
Le lundi 13 fevrier 2012 à 15h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Camilla Schwind, CR au LIF
Résumé : Belief revision has been considered on various language and theoretical levels. Alcurron, ärdenfors and Makinson considered revision perators as binary functions assigning a belief base to a belief base and a formula. The most general formulation is due to Lehmann and co-authors who formulated revision as a binary set operator, thus replacing both, the belief set and the formula by a set of sets (models).

Katsuno and Mendelson considered a more specific approach where the belief set is enerated by a finite set of formulae thus being representable by one formula.

We propose a new formulation of belief evision in terms of implicant sets, an implicant being a finite consistent set of literals. We define implicant revision functions as binary perators on implicant sets and we characterize
implicant revision by postulates that specify properties every implicant revision function should have.

We show that every function satisfying the implicant revision postulates satisfies the postulates, proposed by Alchurron and co-authors (AGM postulates)but the opposite is not true: we show that there is an AGM evision operator that does not satisfy all implicant revision postulates, thus implicant revision is stronger than AGM revision. Then we study more specific operators, namely those based on a distance function between models, (Schlechta and Lehmann). Our implicant revision approach is more specific : we show that there is a distance based revision function that does not satisfy all implicant revision postulates. Finally we study another important subclass of implicant revision operators, namely those that are nvariant with respect to different equivalent implicant sets.
Traitement et analyse adaptatifs d'images à tons de gris
Le vendredi 03 fevrier 2012 à 14h00 - salle de documentation du bâtiment A de l'ESIL
Intervenant(s) : Johan DEBAYLE
Résumé : L’approche TIVAG (Traitement d’Image à Voisinages Adaptatifs Généraux) fournit un cadre mathématique général et opérationnel pour le traitement et l’analyse adaptative, locale, et multi-échelle, d’images à tons de gris. Elle est basée une représentation d’image aux moyens de voisinages spatiaux, appelés Voisinages Adaptatifs Généraux (VAG), définis en chaque point du support spatial de l’image. Un VAG est un ensemble de points connexe, homogène par rapport à un critère d’analyse suivant une tolérance d’homogénéité. Les VAG sont intrinsèquement définis par rapport à l’image analysée, et permettent de définir une représentation multi-échelle et adaptative des images à tons de gris.

De nombreux filtres adaptatifs peuvent alors être définis (morphologie mathématique, filtres de Choquet, filtres prétopologiques) en remplaçant les fenêtres opérationnelles usuelles par les VAG. Les VAG permettent également de caractériser géométriquement (géométrie intégrale) et morphométriquement (diagrammes de forme) les structures locales d’une image à tons de gris, sans aucune étape préalable de segmentation.
Ces différents opérateurs adaptatifs de traitement et d’analyse image à tons de gris seront illustrés en réponse à des problématiques applicatives concrètes en génie biomédical et génie des procédés.
Model-driven Harmonic Parameterization of the Cortical Surface
Le vendredi 09 decembre 2011 à 15h00 - salle de documentation du bâtiment A de l'ESIL
Intervenant(s) : Guillaume Auzias
Résumé : Brain mapping group investigations require to define correspondences across subjects. In this context, the idea of an intrinsic organization of the cortical folds has arisen, and a model of such organization can be used to perform cortical localization and implicitly solve the problem of inter-subject cortical surface matching [1].
The method proposed in [2] defines a theoretically sound implementation of the cortical model presented in [1] by aligning landmarks onto specific axes of a rectangular domain instead of trying to match sulcal landmarks between subjects, with promising results.
Caractérisation morphologique du sillon central et liens avec les fonctions primaires motrices
Le vendredi 09 decembre 2011 à 14h00 - salle de documentation du bâtiment A de l'ESIL
Intervenant(s) : Olivier Coulon
Résumé : Dans cet exposé je présenterai des travaux de recherche très appliqués, réalisés ces trois dernières années. L'objectif était de pouvoir quantifier la morphologie d'un sillon cortical particulier, le sillon central, et d'établir un lien entre certains indicateurs morphologiques et les fonctions motrices primaires de la main. Chaque sillon est représenté par un maillage triangulaire, que nous paramétrisons de manière contrainte afin de pouvoir comparer les sillons centraux d'individus différents. A partir de cette paramétrisation, nous avons ensuite proposé de représenter la morphologie du sillon à l'aide de la courbe de profondeur le long du sillon, et du profil sulcal, un nouvel indicateur qui indique la déviation de la forme du sillon par rapport à son plan d'inertie. La profondeur a permis de produire des résultats sur l'asymétrie entre sillon central gauche et droit, ainsi qu'une caractérisation du profil de profondeur moyen. Ces résultats chez l'humain ont été reproduit sur des données issues de chimpanzés, puis sur une variété de grands primates (Gorilles, Bonobos, Orang-Outans, ...).

Le profil sulcal a permis de proposer la définition et l'extraction automatique de deux nouveaux marqueurs anatomiques et de démontrer leur lien avec la localisation des fonctions motrices primaires de la main.
Construction d'un atlas numérique 3D de la cornée humaine
Le vendredi 25 novembre 2011 à 11h00 - salle de réunion de l'ESIL (bâtiment A), Campus de Luminy
Intervenant(s) : Jean Meunier, Professeur au département IRO, Université de Montréal
Résumé : Le but de cette présentation est de montrer comment on peut construire un modèle 3D moyen (ou atlas) de la cornée d'une population à partir de données issues d'un topographe cornéen. En effet, depuis quelques années, cet appareil permet de représenter l'ensemble de la cornée d'un individu en permettant de visualiser à la fois ses surfaces antérieure et postérieure sous forme de cartes topographiques. Par contre, jusqu'à maintenant, il n'existe pas de procédure établie pour construire un modèle 3D moyen afin de caractériser une population (normale ou pathologique). Nous allons donc présenter une telle procédure impliquant, entre autres, une normalisation spatiale des surfaces. Nous allons ensuite illustrer son potentiel à travers diverses applications : évolution de la forme de la cornée avec l'âge, dépistage de cornées ayant subi une chirurgie laser ou présentant une pathologie de forme, comparaison oeil droit et oeil gauche. Enfin nous présenterons les avenues futures de développement de cette méthodologie.
Bioacoustique et cétologie
Le mardi 15 novembre 2011 à 09h30 - Université Sud Toulon-Var / campus de La Garde
Intervenant(s) : Gianni Pavan - Hervé Glotin
Résumé : "State of the art in the analysis of sounds made by Physeter Catodon whales" By G. Pavan

Physeter Catodon whales have evolved a very complex sound producing system to echolocate and communicate. The sounds they emit can be used for discovering and mapping their presence underwater even at great distances. The detection, the analysis and the interpretation of their sounds is relevant for many behavioural, biological and ecological studies. The complexity of their sound producing system makes the sounds complex as well and the correct interpretation of the subtle features of their emission can reveal additional informations. The seminar will present the most relevant features of sperm whales sounds, and the techniques and tools for analyzing them in detail.

"Suivi de cachalots en groupe par acoustique passive" Par H. Glotin :

Nous présentons le paradigme de localisation de source par acoustique passive, plus précisemment le cas de multiples sources transitoires àplusieurs kilomètres de quatre hydrophones fixes. Nous présentons notre approche algébrique pour traiter l'association de données. Les évaluations sont conduites dans le cadre d'un challenge international avec la participation de la Navy et du Soest Hawaï, pour le suivi de cachalots. Nos résultats sont à notre connaissance, depuis 2 ans, les seuls complets et sans fausse alarme sur un cas de suivi simultané de quatre cachalots. Les implications en éthologie sont discutées.
Commentaire : http://www.unipv.it/cibra - http://mammiferimarini.unipv.it
Caractérisation de la dynamique pelvienne par recalage difféomorphique
Le vendredi 04 novembre 2011 à 15h00 - salle de documentation du bâtiment A de l'ESIL
Intervenant(s) : Medhi Rahim
Résumé : Pour une meilleure compréhension de la physiopathologie des troubles du plancher pelvien, une caractérisation quantitative du comportement des organes pelviens (vessie, utérus-vagin, rectum) observés sur l'IRM dynamique est proposée.
Cette caractérisation se base sur le recalage difféomorphique des contours des organes. Il permet de surmonter les obstacles liés à la grande variabilité inter et intra patientes d'une part, et le manque d'amers anatomiques fixes d'autre part.
Ensuite, des attributs caractérisant les variations morphologiques des organes sont présentés. En plus des champs de déplacements, des attributs décrivant les déformations au sens mécanique sont calculés.
Enfin, une étude statistique est effectuée sur 30 patientes différentes présentant divers diagnostics cliniques. Cette étude comprend la détermination des principaux modes des déformations, ainsi qu'une parcellisation des organes obtenue à travers un clustering sur les déformations locales.
Estimation Robuste à Erreur Bornée4
Le mercredi 26 octobre 2011 à 15h00 - Polytech-GII à Saint Jérôme Salle B4
Intervenant(s) : Hassani Messaoud
Stabilité et stabilisation de systèmes linéaires et non linéaires en temps fini
Le mardi 11 octobre 2011 à 14h30 - Salle B4 - Bâtiment Polytech - Campus de St Jérôme
Intervenant(s) : Professeur Hassani Messaoud
Résumé : Ce séminaire-cours traitera des systèmes linéaires et non linéaires du point de vue stabilisation dans un intervalle de temps fini.
Commentaire : Professeur invité de l'école Nationale d'Ingénieurs de Monastir
Proof Systems for Modal and Conditional Logics
Le lundi 03 octobre 2011 à 16h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Gian Luca Pozzato de l'Université de Turin
Résumé : This tutorial introduces proof methods for modal and conditional logics, focusing on cut-free labelled sequent calculi. Modal logics are extensions of classical logics to handle notions like knowledge/belief (the agent knows A/believes A), deontic notions (A is obligatory/A is permitted), provability
notions (A is provable/A is consistent), just to mention a few. Conditional logics extend classical logic by means of a conditional operator, which allows to represent typicality assertions like "normally the As are Bs" or
counterfactual sentences like "if A were the case, then B would be the case" where A is false, or finally ?if the agent learns A then (s)he belives B. The semantics of such logics is defined as a Kripke structure equipped with an accessibility relation among possible worlds.

Labelled sequent calculi can be used in order to provide automated reasoning for such logics. They make use of labels to represent possible worlds as well as of specific abelled formulas to represent the accessibility relation.
In this tutorial I will introduce labelled sequent calculi for some standard modal and conditional logics. I will introduce standard techniques used in order to prove soundness and completeness of such calculi. In articular, I will show that the completeness is an immediate consequence of the dmissibility of a special rule, called cut. Furthermore, I will show how to analyze the
termination of a proof search, and how to control the application of crucial rules in order to obtain terminating calculi. This allows to obtain a constructive proof of the decidability of the respective logics and to study their complexity. Examples of how to use labelled sequent calculi in order to reason about modal/conditional knowledge bases will be also presented.
Commentaire : Comme annoncé précédemment, Gian Luca Pozzato a accepté de faire un second
séminaire, cette fois sous la forme d'un tutoriel de 2 heures sur les méthodes
de preuve pour les logiques modales et les conditionnels.
ERMITES 2011
Le mardi 27 septembre 2011 à 10h00 - centre IGESA Porquerolles
Commentaire : http://glotin.univ-tln.fr/ERMITES11/index.xhtml
Conditional Logics for Access Control
Le lundi 19 septembre 2011 à 15h00 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Gian Luca Pozzato de l'Université de Turin
Résumé : I present our work on the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. Access control is concerned with the decision of accepting or denying a request from a principal (e.g., user, program) to do an operation on an object. In practice, an access control system is a product of several, often independent, distributed entities with different policies that interact in order to determine access to resources. In order to specify and reason about such systems, many formal frameworks have been proposed in the literature.

A common feature of most well-known approaches is the employment of constructive logics enriched with formulas of the form A says phi, intuitively meaning that the principal A asserts or supports phi to hold in the system. We formalize the assertion A says phi as a conditional implication. We introduce a conditional logic which is stronger than the logic ICL recently introduced by Garg and Abadi. We identify the conditional axioms needed to capture the basic properties of the ?says? operator and to provide a proper definition of boolean principals.

We provide a Kripke model semantics for the logic and we prove that the axiomatization is sound and complete with respect to the semantics. Moreover, we define a sound, complete, cut-free and terminating sequent calculus for our logic. We show that we can deal with the well known ?speaks for? operator introduced in the logic ABLP without the need of adding any extra machinery. We argue for the generality of our approach by presenting some variants of our logic obtained by replacing some of the axioms with other well known access control axioms. The identification of canonical properties provides the possibility to craft access control logics that adopt any combination of axioms for which canonical properties exist.
LSIS: A-t-on vraiment besoin d'un modèle probabiliste en ingénierie financière ?
Le mardi 21 juin 2011 à 10h00 - Université du Sud Toulon Var Salle R214
Intervenant(s) : Michel FLIESS, Directeur de Recherche émérite au CNRS
Résumé : La finance quantitative moderne place les probabilités au cœur des fondements théoriques et des calculs pratiques.
Ce point de vue a été fort décrié. Certains, non seulement dans les milieux professionnels et scientifiques (Mandelbrot, Taleb, etc),
mais aussi dans le monde politique, ont voulu y voir une des causes premières de la crise financière actuelle.

Aucune voie alternative ne s'est pourtant dégagée jusqu'à présent.
Des travaux récents, menés par le signataire, en collaboration avec C. Join, démontrent qu'une approche nouvelle de la commande et de l'estimation
permet de reprendre bien des questions importantes de l'ingénierie financière, tout en fournissant des calculs simples et efficaces,
sans nécessité d'une quelconque modélisation probabiliste. Cet exposé fera le point sur ces recherches, qui devraient être bientôt appliquées.
De nombreuses simulations numériques illustreront notre propos.
Commentaire : http://hal-polytechnique.archives-ouvertes.fr/hal-00585152/fr/
Ecole des JD-MACS
Le lundi 06 juin 2011 à 10h00 - Polytech'Marseille, Saint Jérôme
Coordonnée : http://www.lsis.org/jdjnmacs2011/
Commentaire : Du 6 au 9 Juins 2011
Séminaire I&M
Le vendredi 20 mai 2011 à 10h00 - bâtiment C de l'ESIL à Luminy
Intervenant(s) : Arnaud Le Troter, Yanal Wazaefi, Julien Lefèvre
Commentaire : Extraction de lignes de fonds de sillons sur des maillages de corte de Arnaud Le Troter.
Classement d'images de naevus en groupes de similitudes perçues : analyse de l'agrément entre expérimentateurs de Yanal Wazaefi et Julien Lefèvre
rencontre Industriels chercheurs du LSIS et étudiants de Polytech
Le jeudi 19 mai 2011 à 10h00 - Bât DGII Polytech Marseille
Commentaire : Le LSIS en collaboration avec Polytech DGII et ISA France International Society of Automation organise une journée "rencontre Industriels chercheurs du LSIS et étudiants de Polytech sur le thème : Technique nouvelle de diagnostic et traitement des Alarmes" pour plus d’information : http://www.isa-france.org/
Fichier de présentation : Programme_alarmes.pdf
Séminaire IetM : Eye tracking, calibration rapide et correction de parallaxe pour les systèmes head-mounted
Le vendredi 06 mai 2011 à 10h00 - bâtiment C de l'ESIL
Intervenant(s) : Christophe Cudel
INCA : Résolution étendue et largeur de réfutation de formules SAT
Le lundi 02 mai 2011 à 13h30 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Nicolas PRCOVIC , MCF au LSIS
Résumé : On appelle résolution de largeur $k$, une restriction de la résolution interdisant de produire des résolvantes de taille supérieure ou égale à $k+1$. La résolution étendue (i.e., incorporant la règle d'extension) est plus puissante que la résolution dans la mesure où elle peut trouver des réfutations de longueur polynomiale là où la résolution ne le peut pas. Cependant elle est très difficile à mettre en pratique car la règle d'extension est une source d'augmentation de la combinatoire qui a plutôt tendance à rallonger le temps de découverte d'une réfutation.

Nous montrons que la résolution étendue de largeur 3 des instances 3-SAT p-simule la résolution étendue sans restriction de largeur. Au final, nous obtenons donc un système de preuve dont la combinatoire est fortement réduite mais qui reste aussi puissant qu'avant.
Vers une nouvelle génération d'argumentation logique
Le lundi 04 avril 2011 à 13h30 - Bâtiment des couches minces, Marseille St Jérôme
Intervenant(s) : Safa Yahi-Mechouche
Résumé : L'argumentation suscite un intérêt particulier dans de nombreuses situations telles que le raisonnement en présence d'incohérence, la négociation, l'aide à la décision, etc. Dans cet exposé, nous nous focalisons, en particulier, sur l'argumentation logique introduite par Besnard et Hunter.

Après un passage en revue de l'argumentation logique, nous comparons, en termes de productivité, la relation d'inférence argumentative justifiée avec les relations d'inférence basées sur la restauration de la cohérence les plus fréquemment utilisées. Partant du constat que l'inférence justifiée écarte certaines conséquences très désirables, nous introduisons une nouvelle relation d'inférence argumentative, à savoir l'inférence justifiée rationnelle. Cette dernière se base sur une nouvelle classe de contre-arguments où le support d'un contre-argument ne doit pas inférer la conclusion de l'argument attaqué, ce qui est intuitif.

Ensuite, nous proposons de distinguer deux niveaux d'attaques selon que l'attaque empêche ou non d'inférer la conséquence de l'argument cible. Enfin, nous pondérons l'inférence justifiée rationnelle en prenant en considération les deux niveaux précédents ainsi que la structure de l'arbre d'argumentation sous-jacent.
Logiques de similarité comparative des concepts
Le lundi 07 mars 2011 à 13h30 - Bâtiment des couches minces, Marseille St Jérôme
Résumé : Les logiques de similarité comparatives ont été introduites par Sheremet et al. pour capturer une forme de raisonnement qualitatif sur la similarité entre concepts dans les ontologies, du type "être plus similaire à un concept A qu'àun concept B". Leur sémantique est basée sur la notion d'espace de distance; différentes propriétés de la fonction de distance donnent différentes logiques. Ces logiques sont très liées à des logiques pour le raisonnement spatial qualitatif, ainsi qu'aux logiques du conditionnel.

Au cours de notre travail, nous nous sommes concentré sur l'aspect déduction et méthodes de preuve pour ces logiques. Nous avons tout d'abord reformulé la sémantique en terme de structures préférentielles, où la fonction de distance est remplacée par une ou plusieurs relation de préférences. En nous appuyant sur cette sémantique préférentielle, nous avons donné des axiomatisations et des méthodes de preuve à tableau pour différentes propriétés de la fonction de distance. Nous discuterons aussi des problèmes ouverts, ainsi que des liens vers d'autres formalismes qu'il pourrait être intéressant d'étudier.
Modélisation computationnelle de l'attention visuelle : de la vision cognitive à la recherche multimodale d'information
Le mercredi 23 fevrier 2011 à 10h00 - campus de La Garde Salle S113
Résumé : Chez l'homme, l'attention est un mécanisme cognitif de sélection de l'information permettant de réduire la quantité de données à traiter ainsi que l'ambiguïté de leur interprétation. Dans un cadre computationnel, c'est une solution prometteuse mais encore sous exploitée pour simplifier / améliorer le traitement de l'information.

Dans la première partie de cet exposé, je présenterai les travaux menés durant ma thèse afin de construire un modèle computationnel d'attention visuelle dans un cadre de vision adaptative. En particulier, je montrerai que ce modèle met en oeuvre un mécanisme compétitif original permettant une simulation attentionnelle à la fois rapide et finement paramétrable.

Dans une seconde partie je proposerai différentes exploitations et extensions de mes travaux pour faciliter le passage à l'échelle lors de l'analyse de documents multimédia : réduction de la quantité de données à traiter, pondération des caractéristiques d'un moteur de CBIR en fonction de la saillance locale, définition de descripteurs basé sur une analyse par colonne multi-résolution, utilisation de la segmentation basée sur l'attention pour faciliter l'analyse de la structure de vidéos, pistes d'extension du modèle dans un cadre de saillance sonore, etc.

Commentaire : Informations générales et vidéo de démonstration d'applications du
modèle : http://www.perreira.net/matthieu/?page_id=8
Conception, Pilotage et Évaluation des Chaînes Logistiques: Approches Hybrides et Analytiques
Le jeudi 17 fevrier 2011 à 15h00 - salle de réunion nord (1er étage), Polytech Saint Jérôme
Intervenant(s) : Lyès Benyoucef
Argumenter avec des préférences: utilité ou désutilité ?
Le lundi 14 fevrier 2011 à 14h00 - Bât. couches minces, St Jérôme
Intervenant(s) : Souhila Kaci, MCF-HDR au CRIL
Résumé : L'argumentation est un cadre qui permet de raisonner sur des informations/décisions contradictoires en comparant et évaluant les arguments en faveur ou en défaveur de chaque information/décision. Ce problème a été formalisé par Dung en termes d'arguments abstraits et de relations de conflits entre les arguments. On parle de système d'argumentation de Dung.

Par ailleurs, les préférences jouent un rôle important dans la résolution des conflits. Le système d'argumentation de Dung a été instancié pour tenir compte des préférences entre les arguments. Dans la première partie de cet exposé, nous passons en revue le système d'argumentation de Dung et les principaux systèmes d'argumentation à base de préférences. Cependant, l'introduction des préférences dans les systèmes d'argumentation n'est pas sans effet indésirable. Nous proposons un système d'argumentation simple et intuitif qui permet de contourner ce problème.
Séminaire IetM : Outils graphiques et SIG dédiés à l'analyse archéologique médiévale
Le vendredi 11 fevrier 2011 à 11h00 - Esil (Luminy)
Intervenant(s) : Pierre Drap
Résumé : Shawbak est un projet interdisciplinaire, qui réunit depuis 2003, entre autres, l'université de Florence et le LSIS. Le principal but de ce projet est l'élaboration d'un système d'information géographique 3D (SIG) dédié au patrimoine culturel avec un accent particulier sur le site du Château de Shawbak, Jordanie, également connu sous le nom «Crac de Montréal», l'un des châteaux médiévaux les mieux préservé dans l'ensemble du Moyen-Orient.
Nous développons un ensemble d'outils dédié à l'analyse archéologique médiévale allant de la production de documents graphiques traditionnels comme les orthophotos et des modèles 3D à basse résolution (VRML) jusqu'à l'utilisation de SIG 3D/2D. Le système est fondé la persistance de toutes les données recueillies, graphiques et non graphiques; au sein d'un seul système de stockage (XML ou SGBD) permettant de considérer une représentation graphique désirée du site comme une vue sur le système d'archivage.
Nous aborderons dans ce séminaire, la problématique générale du projet et quelques développements originaux en photogrammétrie destinés à répondre aux attentes des archéologues.
Séminaire IetM : Extraction de lignes de fond de sillons cotticaux
Le vendredi 11 fevrier 2011 à 10h00 - ESIL (Luminy)
Intervenant(s) : Arnaud Le Troter
Résumé : Pour résoudre le problème de la mise en correspondance de cerveaux et plus particulièrement de la paramétrisation contraintes de surfaces corticales (Travaux de Cédric Clouchoux ou de Guillaume Auzias), nous avons besoin d'extraire et caractériser des lignes de fonds de certains sillons sur les maillages du cortex.
Ces lignes vont être utilisées comme des contraintes dans l'élaboration d'un système de coordonnées de type sphérique (latitude/longitude).
Dans la thèse de Cédric Clouchoux, ces lignes sont extraites automatiquement. Mais ce processus est long (de l'ordre de 30 minutes par hémisphère) et manque de précision. J'illustrerais rapidement les étapes clefs du processus utilisé.
Pour pallier ces imprécisions, dans un premier temps, nous avons développé un outil ergonomique qui permet de déterminer interactivement ces lignes. L'algorithme utilisé est celui de Dijkstra, il permet ici de résoudre un problème de plus court chemin entre deux points. Dans notre cas la longueur des chemins est pondérée par la courbure moyenne, ce qui contraint les chemins à minimiser l'intégrale de cette courbure (pour décrire les vallées du maillage, i.e. les sillons) ou à la maximiser (pour les lignes de crètes, i.e. les gyri).
Dans un second temps, nous souhaitons utiliser ces chemins pour extraire automatiquement ces lignes de fonds de sillons. Toute la difficulté réside dans
la détermination automatique des extrémités de ces chemins. La méthode envisagée consiste à segmenter des bassins sulcaux, en considérant non seulement l'information de courbure mais aussi celle de la profondeur des sillons (notion complexe en anatomie), pour extraire finalement dans chaque bassin le plus long plus court chemin.
Séminaire IetM : Reconnaissance d'objets, de scenes par apprentissage discriminatif supervisé
Le vendredi 19 novembre 2010 à 10h00 - ESIL (Luminy)
Intervenant(s) : Sébastien PARIS
Résumé : Deux axes seront présentés:
- Le premier, plus traditionnel, consistant à extraire des descripteurs à "haut niveau sémantique" depuis les images et d'apprendre via l'étiquetage d'experts des modèles discriminatifs (à l'aide de classifieurs à vaste marge du type SVM).
- Le second, intitulé "apprentissage par dictionnaire", consiste à apprendre de façon non-supervisée et éventuellement de façon parcimonieuse des dictionnaires. Des descripteurs sont alors obtenus par exemple en comptant les occurences des mots "visuels" (Bag Of Features) ou par "Max-pooling" (à partir d'un apprentissage de dictionnaire parcimonieux). L'avantage des approches parcimonieuses est d'améliorer les performances des approches "BOF" classiques et de construire des descripteurs quasiment parfaitement linéairement séparables (facilitant la classification a posteriori)
Une comparaison des ces approches sera effectuée sur des bases standards.
Fichier de présentation : Object_reco.pdf
Séminaire IetM : Analyse Fréquencielle du Plissement cérébral
Le vendredi 15 octobre 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Julien LEFÈVRE
Résumé : Motivé initialement par l'étude du plissement des cerveaux de microcéphales, ce travail vise à explorer les possibilités de l'analyse fréquentielle pour des surfaces. Il s'agit, par exemple, de répondre à la question: les plis des microcéphales sont-ils différents des plis d'individus normaux et si oui, comment peut on le quantifier ? Cette question initiale a suscité des développements autour de l'étude des vecteurs propres de l'opérateur de Laplace-Beltrami associé à des surfaces. Ces vecteurs propres constituent une base de décomposition de toute fonction définie sur une surface, par exemple la courbure et permettent d'obtenir un spectre fréquentiel associé à cette fonction. Nous verrons donc comment ce spectre peut permettre de différencier plusieurs catégories de cerveaux et de représenter la trajectoire développementale du cerveau de prématurés, à l'aide de technique de Multi-Dimensional Scaling
Séminaire IetM : Les Méthodes déformables (3D) à base de maillages simplexes
Le vendredi 04 juin 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Gilles GESQUIÈRE
Séminaire IetM : Eye Tracking et reconnaissance de visages
Le vendredi 07 mai 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Yanal WAZAEFI
Séminaire IetM : Utilisation des Champs de Markov pour l'étiquetage en Analyse de Données
Le vendredi 07 mai 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Olivier COULON
séminaire IetM : Analyse et Modélisation du développement cérébral
Le vendredi 26 mars 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Julien LEFEVRE
La recherche en bases de données : acquis et perspectives
Le vendredi 05 mars 2010 à 10h30 - Toulon USTV
Intervenant(s) : Jacques Le Maitre
Résumé : La recherche en bases de données est un domaine jeune de l'informatique qui est elle-même une science jeune. La première partie de cet exposé montrera que malgré cette jeunesse des fondements très solides ont été établis, aussi bien sur le plan théorique que sur le plan pratique : les moteurs de bases de données actuellement disponibles ont atteint un remarquable niveau de performances.
Mais l'informatique est un domaine qui évolue très vite, notamment sous la poussée du web. Il faut maintenant prendre en compte des masses de données de plus en plus importantes, distribuées, multimédia, hétérogènes, statiques ou sous forme de flux. De ces masses de données, il faut pouvoir extraire des classifications et des connaissances. Il faut tenir compte de la mobilité des applications. La sécurité de ces données devient aussi un problème crucial...
La recherche en bases de données a donc un bel avenir devant elle avec la difficulté que les outils développés devront pouvoir s'intégrer dans des contextes applicatifs très divers. La deuxième partie de cet exposé essaiera donc de dresser un panorama des grandes directions de recherche actuelles dans le domaine des bases de données, en s'appuyant sur l'expérience de notre équipe de recherche au LSIS, mais aussi sur les derniers rapports publiés sur l'état des recherches dans ce domaine.
Coordonnée : Université du sud Toulon-var (http://www.univ-tln.fr)
Batiment W'
salle W' 210 (salle à confirmer)
Séminaire IetM : Oculométrie pour l'Analyse Comportementale
Le vendredi 26 fevrier 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Djamel MERAD
Séminaire IetM : Recalage inter-individuel guidé par les sillons
Le vendredi 26 fevrier 2010 à 10h00 - ESIL-Luminy
Intervenant(s) : Guillaume AUZIAS
Séminaire IetM : Discrimination des séquences temporelles IRM 2D pelvienne par analyse de données
Le vendredi 20 novembre 2009 à 10h00 - ESIL-Luminy
Intervenant(s) : Mehdi RAHIM
CONCEPTION, CONNAISSANCES & INNOVATION
Le jeudi 26 mars 2009 à 09h00 - CER d'Aix-en-Provence de l'ENSAM, 2 cours des Arts et Métiers, 13617 Aix-en-Provence
Résumé : Cette séance s'inscrit dans le cadre du séminaire "systems engineering" coorganisé parle CER d'Aix-en-Provence de l'ENSAM et l'équipe IMS du LSIS
Commentaire : 3ème journée du SEMINAIRE SYSTEMS ENGINEERING 2008-2009
De 9h00 à 17h30
Fichier de présentation : CONCEPTION_CONNAISSANCES__INNO_118.pdf
Apport d'approches qualitatives pour la biométrie : cas du locuteur et de l'empreinte digitale
Le mardi 20 janvier 2009 à 09h00 - Campus de la Garde - Université Sud Toulon Var
Intervenant(s) : Nidhal Ben Aloui
Résumé : Présentation des travaux de thèse CIFRE réalisés au LSIS et à la DCNS
Coordonnée : R214 campus de La Garde
Commentaire : également :
le 23 janvier à 10h.
Fichier de présentation : Apport_dapproches_qualitatives_117.pdf
Séminaire IetM : Les descripteurs de forme : application à la caractérisation de la dynamique pelvienne.
Le mardi 16 decembre 2008 à 10h00 - ESIL-Luminy
Intervenant(s) : Mehdi RAHIM
ANALYSE DE SCENES ACOUSTIQUE SOUS-MARINE et son application au tracking temps réel de baleine
Le jeudi 22 mai 2008 à 14h00 - USTV - R214 campus de la Garde
Intervenant(s) : Frédéric CAUDAL
Résumé : Les démonstrations seront faites sur les données du centre d'essais Atlantique - Bahamas, montrant la robustesse de nos algorithmes dans le cas d'émissions co-occurentes de baleines ("whales cocktail party").Nous donnerons également les grands lignes du projet en cours et les collaborations régionales (Pôle Mer PACA) et internationales. Des démo .avi ou flash de tracking sont disponibles sur http://glotin.univ-tln.fr/PIMC/DEMO/
Méthode de Cross-entropy appliquée à l'apprentissage
Le jeudi 24 avril 2008 à 14h00 - USTV - R214 campus de la Garde
Intervenant(s) : Sébastien PARIS
Résumé : Le thème de cette présentation s'articule autour de la méthode de Cross-Entropy (CE) et tout particulièrement autour de quelques applications en Machine Learning de la CE. La CE est une méthode récente basée sur l'Importance Sampling permettant initialement la simulation d'évènements rares mais dérivée depuis en une puissante métthode d'optimisation stochastique.Son principe, sa simplicité de mise en oeuvre et ses performances globales en font son principal attrait par rapport à d'autres methodes stochastiques (recuit simulé, PSO, etc ...). Cette méthode sera notamment appliquée à l'optimisation de réseaux de neurones et à l'optimisation de noyaux dans les approches SVM.
Coordonnée : MdC IUT d'Aix en Provence - LSIS
Knowledge Representation using Prime Forms
Le lundi 04 fevrier 2008 à 14h00 - Salle de réunion équipe INCA
Intervenant(s) : Guilherme BITTENCOURT
Coordonnée : Professeur à l'Université Fédérale de Santa
Catarina (UFSC) à Florianopolis au Brésil,
An Embodied Model for Cognition
Le jeudi 31 janvier 2008 à 14h00 - Salle Réunion EPUM - GII Nord (2e étage)
Intervenant(s) : Guilherme BITTENCOURT
Coordonnée : Professeur à l'Université Fédérale de Santa
Catarina (UFSC) à Florianopolis au Brésil,
Preferential Description Logics
Le lundi 28 janvier 2008 - salle réunion INCA
Intervenant(s) : Nicola Olivetti
Planification de la production et maintenance d'un système de production non fiable
Le mardi 03 juillet 2007 à 10h00 - salle de réunion du LSIS
Intervenant(s) : Boukas ElKebir
Coordonnée : Polytech Montréal
Fichier de présentation : Planification_de_la_production_111.doc
Approximation des résultats de la fouille de données
Le vendredi 25 mai 2007 à 14h30 - Salle de réunion nord 1er étage, LSIS, Site EPUM-GII, Campus St Jérôme
Intervenant(s) : Rokia Missaoui
Coordonnée : Professeur à l'Université du Québec en Outaouais, Canada
Fichier de présentation : Approximation_des_rsultats_de__110.doc
Commande, Interaction et Diagnostic pour Systèmes Télé-Robotiques Multi-Echelles
Le jeudi 01 mars 2007 à 10h00 - salle de réunion du LSIS (premier étage), Saint Jérôme
Intervenant(s) : Antoine Ferreira
Coordonnée : MCF, HDR, Laboratoire Vision et Robotique (LVR) de de l'ENSI Bourges
Méthodes Ensemblistes pour l'Automatique
Le jeudi 15 fevrier 2007 à 14h00 - salle de conférence du département GII, Saint Jérôme
Intervenant(s) : Nacim RAMDANI
Coordonnée : MdC HDR, Univ. Paris12 - http://www.lirmm.fr/~ramdani
Fichier de présentation : Mthodes_Ensemblistes_pour_lEAu_107.pdf
A propos d'observateurs et d'identifiabilité pour les systèmes non linéaires à temps discret.
Le mardi 30 janvier 2007 à 14h00 - salle de réunion du LSIS (premier étage), Saint Jérôme
Intervenant(s) : Florian Anstett
Résumé : On présente des résultats sur la synthèse d'observateurs et le problème d'identifiabilité pour les systèmes non linéaires à temps discret. Ces résultats peuvent être utilisés dans divers contextes, en particulier pour le diagnostic.On commence cependant par un contexte particulier et original, le chiffrement de données basé sur le chaos, où un émetteur souhaite envoyer une information sécurisée à un récepteur. Ce schéma utilise, côté émetteur, des systèmes dynamiques non linéaires exhibant un comportement chaotique. La séquence complexe ainsi produite est utilisée pour masquer une information. Le récepteur a pour but de reconstruire l'information claire.La reconstruction de l'information nécessite de reproduire côté récepteur une séquence chaotique en parfait synchronisme avec celle de l'émetteur et ce problème de synchronisation du chaos s'apparente en fait à celui de la reconstruction d'état, donc de la synthèse d'observateur non linéaire. Une méthode systématique de synthèse d'observateurs polytopiques est développée. Ces observateurs ont l'avantage de prendre en compte la spécificité liée au chaos. En effet, les régimes chaotiques sont caractérisés par des trajectoires dans l'espace de phase qui restent confinées dans une région bornée, l'attracteur chaotique. La méthode proposée, basée sur la recherche du polytope minimal englobant cet attracteur, permet de réduire le conservatisme de l'approche générale LMI (Linear Matrix Inequalities) usuellement associée à la synthèse des observateurs et d'étendre ainsi la classe des systèmes potentiels pour le chiffrement.Cette approche peut également être utilisée pour le diagnostic de défauts (estimation des erreurs de modèle lors de la génération de résidus, par exemple).D'un point de vue de la sécurité de ces schémas, un des problèmes consiste à déterminer si les paramètres du système chaotique, supposés jouer le rôle de clé secrète, peuvent être reconstruits de manière unique par un adversaire. Ce problème étant directement lié au concept d'identifiabilité, un formalisme général, basé sur ce concept d'identifiabilité et impliquant des méthodes d'élimination de variables (bases de Gröbner, résultant, ensemble caractéristique), est proposé.Cette approche peut également s'appliquer dans la génération de résidus, en diagnostic.
Coordonnée : CRAN, Nancy
Séminaire IetM : Visualisation et exploration de données de grande dimension
Le vendredi 12 janvier 2007 à 14h00 - Luminy, salle de documentation de l'ESIL , bat. du département informatique, niveau 2, à coté de la cafétéria
Intervenant(s) : Bernard Fertil
Résumé : L'analyse des données de grande dimension est rendue difficile par un certain nombre de phénomènes qui apparaissent dans les espaces de grande dimension, phénomènes connus sous le nom du "fléau de la dimension" . Dans cet exposé, nous présenterons certaines propriétés surprenantes de ces espaces et montrerons comment on peut les gérer pour explorer et manipuler les objets qui y "vivent", notamment quand on souhaite les comparer, les classer, ou les caractériser. En particulier, la notion de point de vue sera introduite, sur des exemples concrets d' images médicales et paramétriques.
DEVS Agent-Based Framework for Web-Services Testing
Le mercredi 29 novembre 2006 à 11h00 - GII, St-Jérôme
Intervenant(s) : Bernard P. Zeigler
Résumé : We present an agent-based framework for testing of collaborative web-services. The framework derives minimal testable I/O pairs from web service behavior specifications. These minimal testable I/O pairs are mapped to test primitives and then automatically synthesized into DEVS test agents and deployed in distributed federations to execute a scenario. We present the theoretical foundations for this work and its application to end-to-end testing of mission threads over the Global Information Grid and its Service Oriented Architecture.
Coordonnée : University of Arizona
Arizona Center for Integrative Modeling and Simulation
Tucson, AZ 85721
DEVS Agent-Based Framework for Web-Services Testing
Le mardi 28 novembre 2006 à 11h00 - GII à St Jérôme
Intervenant(s) : Bernard P. Zeigler
Résumé : We present an agent-based framework for testing of collaborative web-services. The framework derives minimal testable I/O pairs from web service behavior specifications. These minimal testable I/O pairs are mapped to test primitives and then automatically synthesized into DEVS test agents and deployed in distributed federations to execute a scenario. We present the theoretical foundations for this work and its application to end-to-end testing of mission threads over the Global Information Grid and its Service Oriented Architecture.
Coordonnée : University of Arizona
Arizona Center for Integrative Modeling and Simulation
Tucson, AZ 85721
A quest for context: knowledge-based approaches for text mining
Le jeudi 26 octobre 2006 à 14h00 - LSIS-EPUM, Salle de réunion Nord (2e étage)
Intervenant(s) : Fred Freitas
Coordonnée : Centro de Informática, Universidade Federal de Pernambuco, Recife, PE, Brazil
fred@cin.ufpe.br
Fichier de présentation : A_quest_for_context_knowledge-_103.pdf
Le « flou-interpolatif » : présent et perspectives
Le jeudi 21 septembre 2006 à 14h30 - LSIS, Saint-Jérôme
Intervenant(s) : M. Marius Balas
Résumé : Cette présentation a pour but de souligner l'aspect interpolatif des ensembles flous. Si tous les systèmes flous peuvent être approximés par des systèmes interpolatifs, alors les interpolations linéaires peuvent être appliquées pleinement dans la plupart des applications de logique floue, pour l'élaboration des règles de commande mais aussi leur implémentation.Nous présentons la méthodologie floue-interpolative, basée sur le concept du contrôleur flou-interpolatif : contrôleur flou qui accepte un équivalent interpolatif. Cela signifie que chaque règle de commande peut être remplacée directement par un neoud d'interpolation, appartenant à un réseau d'interpolation linéaire.Une première application est la famille des Régulateurs Auto Adaptatifs Flous-Interpolatifs (FSAIC - Fuzzy Self Adapted Interpolative Controllers en Anglais), capables d'identifier et de commander on-line une vaste gamme de processus non-linéaires (inconnus à priori). Ces régulateurs sont développés en combinant plusieurs modules flous-interpolatifs, implémentés sous forme de tableaux de recherche avec interpolation linéaire. Leur fonctionnement est fondé sur l'analyse qualitative et quantitative de la trajectoire de phase de l'erreur de régulation. Le régulateur générique FSAIC est un PID non-linéaire, doté d'un correcteur adaptatif multiplicatif. Pour faire face aux stratégies souvent contradictoires imposées par les processus variables en temps, plusieurs correcteurs adaptatifs correspondants aux différents régimes de fonctionnements possibles (variable, instable, oscillatoire, avec temps mort, etc.) peuvent être fusionnées, en obtenant les FFSAIC (Fusioned FSAIC).Quelques études de cas illustrent cette technique : freinage ABS, freinage a distance imposée et surtout une nouvelle méthode de gestion du trafic automobile, basée sur le principe du Temps Constant jusqu'à la Collision (Constant Time To Collision en Anglais).Pour finir, la perspective des circuits nanoélectroniques flous-interpolatifs intelligents est introduite.
Coordonnée : Maître de Conférences à l'Université « Aurel Vlaicu » d'Arad, en Roumanie
Commentaire : Dans le cadre du pole Diagnostic des Systèmes.
L'exposé de 45 min sera suivi d'une discussion.
Discovery, Composition and Mediation in the Global Service-Oriented Architecture
Le jeudi 16 fevrier 2006 à 11h00 - Saint Jérôme, Polytech GII, Salle de conférences
Intervenant(s) : Stéphane BRESSAN
Résumé : After a brief and general overview of the issues related to the discovery, composition and mediation of web services for the effective and efficient realization of a global service-oriented architecture, we present the service-bank problem. The service-bank problem consists in finding the optimal combination of services (described by their input and output parameters) to obtain some output given some input. The problem is shown to be one of finding the shortest (forward) hyper-path in a hyper-graph. We outline the modeling of the problem and the approaches to solutions and approximate solutions to this problem.
Coordonnée : National University of Singapore
http://www.comp.nus.edu.sg/~steph/
Fichier de présentation : Discovery_Composition_and_Medi_101.pdf
L'abduction propositionnelle est presque toujours difficile
Le jeudi 08 decembre 2005 à 10h30 - salle 06 à château Gombert - CMI
Intervenant(s) : Bruno Zanuttini
Résumé : L'abduction est le processus de raisonnement consistant à chercher une explication plausible pour une observation, étant donné une base de connaissances. Par exemple, étant donné la base de connaissances p -> q, pour l'observation q on peut inférer l'explication plausible p. Ce processus est au coeur du raisonnement non monotone, avec des liens en particulier avec la logique des défauts et l'inférence par circonscription. Il a également de nombreuses applications, modélisant en particulier le problème du diagnostic médical ou encore de la configuration interactive.Dans cet exposé, nous étudierons la complexité de ce processus dans le cadre où les bases de connaissances sont propositionnelles, représentées par des conjonctions de contraintes sur un langage fixé et fini. Les observations seront formalisées par des conjonctions de littéraux et nous demanderons que les explications soient des conjonctions de littéraux formés sur un ensemble donné de variables. Nous montrerons que la complexité du problème de décision (existe-t-il au moins une explication ?) admet une trichotomie, en ce sens que le problème est soit polynomial, soit NP-complet, soit Sigma_2P-complet, et ce selon le language de contraintes fixé pour les bases de connaissances.Ce résultat montre en particulier que l'abduction est très difficile dans ce formalisme, puisque le seul language polynomial (maximal) est celui contenant la différence et l'égalité binaire. Il permet également de guider la construction de systèmes à base de connaissances lorsque l'abduction est un processus important pour l'application considérée. Enfin, l'exposé présentera en détail les outils utilisés pour parvenir à une telle classification (treillis de Post et formalisme de Schaefer).
Coordonnée : http://www.info.unicaen.fr/~zanutti
Définition des axes d'exploitation de cette approche et structuration du sujet de thèse de Lala Rajaoarisoa
Le jeudi 08 decembre 2005 à 10h00 - salle de réunion du LSIS, EPUM
Intervenant(s) : Echange/débat animé par Nacer M'Sridi
Commentaire : Présentation-débat sur une méthodologie de modélisation multi-modèles (pour une serre agricole)
Analyse de données pour une approche de modélisation
Le jeudi 08 decembre 2005 à 09h30 - salle de réunion du LSIS, EPUM
Intervenant(s) : Jean Duplaix
Résumé : Cet exposé présente une méthodologie de modélisation d'un système (MIMO, non stationnaire et fortement perturbé) basée sur ses connaissances experte et expérimentale (fichiers de données). Une analyse en composantes principales (PCA) permet à partir d'un découpage par périodes de fonctionnement de sélectionner des jeux de variables non corrélés. Une construction de sous-modèles correspondant à cette analyse est alors réalisée par une approche réseaux de neurones. Une supervision par logique floue hiérarchisée permet la sélection des sous-modèles. Une application de l'ensemble de la méthodologie sur le système-serre est ensuite développée. Une comparaison entre l'approche mono-modèle et multi-modèles conclue la présentation. Mots-clés : Multi-modèles, Analyse en Composantes Principales, Réseaux de neurones, Systèmes hiérarchiques flous, Supervision
Commentaire : Présentation-débat sur une méthodologie de modélisation multi-modèles (pour une serre agricole)
réunion et bilan du Pôle Diagnostic
Le mardi 29 novembre 2005 à 11h30 - salle de réunion du LSIS
Résumé : - mise à jour des plaquettes et site web- rédaction du rapport dactivités du pôle- discussion sur les projets en cours- organisation d'une journée diagnostic et sécurité transversale dans le cadre des pôles de compétitivité- Organisation de IFAC AVCS07 en Argentine
Commande robuste multivariable, le contrôle dynamique de châssis automobile
Le mardi 29 novembre 2005 à 10h45 - salle de réunion du LSIS
Intervenant(s) : Thibaut Raharijaona
Résumé : Dans le cadre des méthodologies de commande robuste multivariable, le contrôle dynamique de châssis automobile constitue un domaine dapplication très riche.Le contrôle latéral trouve en effet de nombreuses applications dans le domaine de l'assistance à la conduite. Un grand nombre d'accidents de la route sont provoqués par des mouvements de roulis et de lacet excessifs engendrant des sorties de route.Lobjectif de lexposé est de présenter une mise en Suvre d'un correcteur qui soit en mesure d'assister le conducteur dans les situations de suivi de voies et de rejeter diverses perturbations auxquelles est soumis le véhicule telles que des vents latéraux ou un dévers de la route, tout en respectant les contraintes de confort, dagrément de conduite et les limitations pratiques de lactionneur de direction.Les travaux se sont donc focalisés sur les techniques de commande robuste qui utilisent les synthèses Hinfini et Hinfini-LPV complétées par des méthodes de réduction de modèles et d'analyses de robustesse. L'activité de recherche souvre dorénavant à la fois sur les stratégies de commande robuste par action coordonnée sur différents actionneurs pour le contrôle de la dynamique du véhicule puis sur les méthodologies de détection robuste de défauts.*Mots-clés : *assistance à la conduite, contrôle latéral, synthèse H-infini, synthèse LPV, mu-analyse, réduction de modèle, optimisation par approche LMI/BMI.
Estimation de la Dynamique d'un Véhicule en Interaction avec son environnement
Le mardi 29 novembre 2005 à 10h00 - salle de réunion du LSIS
Intervenant(s) : A. Rabhi et N. K. MSirdi
Résumé : Des études daccidentologies ont montré le rôle de l'infrastructure dans la majorité des accidents. Lobjectif est donc dutiliser le plus dinformations possible sur l'environnement, pour mieux piloter et évaluer le comportement (nominal) d'un véhicule dans sa trajectoire.La difficulté et le coût des mesures de forces de contact pneu chaussé nous ont motivé pour développer des observateurs non linéaires et robustes pour estimer les informations (forces de contact, adhérence, dérive, raideurs) utile pour caractériser la tenue de route du véhicule. Ensuite nous avons mis au point une nouvelle technique destimation avec des observateurs en cascade pour déduire les vitesses puis les accélérations angulaires des roues à partir des codeurs de lABS grâce à un observateur robuste par modes glissants dordre supérieur. Cette technique permet destimer ensuite, la raideur longitudinale des pneus et le rayon effectif. On peut aussi reconstituer ladhérence et la dérive qui représentent des caractéristiques importantes de la route et du roulement du véhicule respectivement.Après cela nous avons proposé des observateurs robustes à entrée inconnue permettant destimer les attributs de la route (profil, pente et dévers).Ces derniers sont utiles pour laide à la conduite. Enfin, nous présentons en dernier une méthode de conception de systèmes permettant de détecter des défauts dans la dynamique d'un véhicule en roulement et de déterminer l'origine d'une défaillance. Nous navons considéré pour cette étude que deux types de dysfonctionnements: défauts de suspension et variation de la pression du pneu.
GIS Theory
Le jeudi 17 novembre 2005 à 15h30 - Salle de conférences du département GII de Polytech'Marseille
Intervenant(s) : Pr. Andrew U. Frank
Résumé : What is the theory behind the current generation of Geographic Information Systems?What needs to be incuded to cover temporal information and construct dynamic GIS?What should students learn that is likely valid in 10 or 15 years? How can we combine the different mathematical theories?
Coordonnée : Technical University of Vienna, Austria (GeoInformation Institute)
A tiered Ontology and how it helps with treatment of error and uncertainty
Le jeudi 17 novembre 2005 à 14h00 - Salle de conférences du département GII de Polytech'Marseille
Intervenant(s) : Pr. Andrew U. Frank
Résumé : I divide the world in tiers, where we have a tier 1 which includes observation in points, a tier 2 which includes physical objects and a tier 3 including the objects constructed by social agreement. The description of the world for these tiers are useful for the discussion and organisation of management of data quality. Observations of tier 1 have errors which are distributed statistically; other limitations follow a fuzzy logic (for example classificaton errors).
Coordonnée : Technical University of Vienna, Austria (GeoInformation Institute)
Validation Vérification Accréditation en simulation
Le lundi 14 novembre 2005 à 14h00 - salle de conférence GII (Campus de St-Jerome)
Intervenant(s) : M. Pierre Bouc
Commentaire : dans le cadre du projet Piovra
Commande adaptative Décentralisée : application au véhicule
Le jeudi 10 novembre 2005 à 14h15 - EPUM-GII, salle des réunions (côté nord), 1er étage
Intervenant(s) : M. Larbi Radouane
Coordonnée : université de Fès (Maroc)
L' Institut d'Informatique de l'Académie des Sciences dans le contexte de la recherche en République Tchèque
Le mardi 20 septembre 2005 à 15h00 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Julius Stuller
Résumé : La recherche en informatique en République Tchèque a été dans les 15 dernières années influencée par la volonté de la rendre plus efficace et compétitive vis-à-vis la recherche européenne et mondiale.Pour des raisons historiques elle est concentrée d'un côté dans les universités et de l'autre côté dans l'Académie de Sciences.Malgré quelques problèmes locaux, notamment de financement, la recherche tchèque a réussi à maintenir ou acquérir un bon niveau dans certains domaines comme (par tradition) les mathématiques, la chimie, la médecine, etc.La recherche en informatique découle de l'orientation de la recherche vers des domaines théoriques. (surtout par le passé). L'institut d'informatique de l'Académie est un des principaux instituts menant des activités de recherche en informatique, principalement dans les domaines suivants :· Informatique théorique : fondements mathématiques du raisonnement incertain, théorie des réseaux de neurones, complexité, apprentissage, data mining· Réseaux de neurones artificiels et modèles non linéaires· Informatique médicale : systèmes d'information médicaux, bases de données médicales, représentation des connaissances biomédicales · Méthodes de calcul : algèbre linéaire numérique, méthodes numériques pour l'optimisation, programmation non linéaireA l'issue de la présentation, des possibilités de collaboration bilatérales ou en réseau pourront être évoquées.
Coordonnée : Directeur Adjoint, Institut d'Informatique
Académie des Sciences de la République Tchèque, Prague
Site Web de l'institut : http://www.cs.cas.cz/
COLOR VISION: Investigating Higher Order Color Mechanisms
Le vendredi 01 juillet 2005 à 10h00 - ESIL
Intervenant(s) : Gloria MENEGAZ
Résumé : The processing of color information is of prime importance for the perception of the environment and the interpretation of its semantic. Though, the spectral properties of chromatic detection mechanisms are still mostly unknown. Color vision interacts strongly with other vision mechanisms like those subserving pattern sensitivity which makes the definition of models for color vision a highly complex task. Color "appearance" depends on many factors, both physiological and contextual. Among these are the number and the distribution of the photoreceptors in the retina, the illumination conditions and the presence of surrounding colors (simultaneous contrast). Many different phenomena need to be jointly modeled for a complete representation of color appearance when considering color spatial distributions, like textures and, more in general, natural scenes. After a brief overview on the basis of color vision, this seminar will illustrate a psycho-physical experiment aiming at investigating the post-receptoral mechanisms for color perception. Contrast detection thresholds were measured for a signal with a Gaussian spatial profile, modulated in the equiluminant plane in the presence of spatial, chromatic noise. The noise was distributed within a sector in the equiluminant plane, centered on the signal direction. Results showed that contrast thresholds were unaffected by the width of the noise sector, as previously found for temporally modulated stimuli, which is consistent with the existence of spectrally broadband linear detection mechanisms tuned to the signal color direction and supports the hypothesis of higher-order color mechanisms with sensitivities tuned to intermediate directions in the color space.
Commentaire : Les informations sont en anglais (et les transparents sont en anglais également) mais la conférence sera présentée en français.
High order sliding mode (HOSM) observation and identification
Le jeudi 30 juin 2005 à 10h00 - Département GII de Polytech'Marseille
Intervenant(s) : Leonid Fridman
Résumé : The short overview of high order sliding mode control algorithms is given.Two new observation HOSM finite time convergent strategies are suggested:• hierarchical strategy based on super twisting algorithm allowing to reconstruct the system state without differentiation;• high order sliding mode differentiation for the systems with arbitrary relative degree with respect to the output injections.The identification algorithms basing on the finite time convergence are suggested.For identification of perturbation the filtered version of equivalent control is used. For parameter identification the least square method allows to reconstruct system parameters via filtered version of equivalent control.
Commentaire : dans le cadre du pôle diagnostic des systèmes
Sliding Mode Control
Le mardi 28 juin 2005 à 14h00 - Département GII de Polytech'Marseille
Intervenant(s) : Leonid Fridman
Résumé : Theoretical background with historical tutorialThe theoretical aspects of the sliding mode theory like• first stages of variable structure systems;• MIMO sliding mode systems;• definition of solutions of relay systems; regularization ; Filippov definition; equivalent control method;• stability of sliding mode investigation;• sliding mode controller design;• conditions of invariance(matching conditions); are given in the historical context.
Commentaire : dans le cadre du pôle diagnostic des systèmes
Requirements Engineering for Socio -Technical Systems Design.
Le mercredi 22 juin 2005 à 14h30 - LSIS, Site EPUM-GII, Campus St Jérôme, Salle de réunion nord 1er étage
Intervenant(s) : Paolo Bresciani
Coordonnée : SRA division, IRST - Istituto pre La Ricerca Scientifica e Tecnologica, Trento, Italy
Fichier de présentation : Requirements_Engineering_for_S_86.pdf
Innovation en ingénierie des systèmes (2nde partie)
Le jeudi 16 juin 2005 à 09h30 - CER ENSAM Salle des Conseils, 2 cours des Arts et Métiers, 13617 Aix-en-Provence CEDEX 1
Résumé : Business Models et InnovationL'innovation et le droit : Propriété industrielle, intellectuelle, brevetabilité des systèmes...Le langage de modélisation des systèmes : SysMLDesign for environment (ISO 14000)L'innovation dans le domaine du Support Logistique Intégré (e-maintenance et e-learning)
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Innovation_en_ingnierie_des_sy_77.pdf
Développement d'applications d'analyses géographiques en ligne (Spatial On-Line Analytical Processing): l'émergence du premi
Le mercredi 08 juin 2005 à 14h00 - Faculté Saint Charles, salle 16
Intervenant(s) : Yvan Bédard et Jacques Charron
Résumé : L'an dernier, le professeur Bédard avait présenté au LSIS une conférence intitulée "Amélioration des capacités décisionnelles des SIG par l'ajout d'un module SOLAP". Il présentait alors certains concepts de base ainsi que quelques particularités de l'intégration de données spatiales dans les entrepôts de données et les développements OLAP. Le présent séminaire est une suite de la première conférence. Il vise à présenter les résultats du développement du premier logiciel SOLAP (Spatial OLAP) générique. Dans un premier temps, un bref historique de cette démarche de transfert technologique depuis la "vision" en laboratoire de 1996 jusqu'à la commercialisation par une société privée (Kheops Techonologies, Montréal) en 2005 est présenté. Dans un deuxième temps, une présentation est faite des caractéristiques du logiciel développé, appelé JMap Spatial OLAP Extension. Suivront une démonstration d'une application réelle et une comparaison avec les alternatives du marché. Enfin, les possibilités de collaboration et d'innovation seront abordées et discutées avec les participants.
Coordonnée : Pr. Yvan Bédard, Centre de Recherche en Géomatique de l'université Laval (Québec, Canada)
Jacques Charron, PDG de la societe Kheops, établie a Montréal, specialiste de SIG (Systeme d'Information Geographique en Java, outils OLAP et SOLAP)
Commentaire : (La salle 16 est à côté de la reprographie et de la caféteria au pied et à droite du grand escalier en face de l'entrée principale)
Caractérisation des images par apprentissage : application au diagnostic du mélanome
Le mercredi 08 juin 2005 à 10h00 - ESIL
Intervenant(s) : Bernard FERTIL
Résumé : L'interprétation d'images ou de scènes est une activité complexe qui s'appuie sur un grand nombre de connaissances très difficiles à expliciter (et a implémenter sous forme algorithmique). L'approche par apprentissage permet de contourner une partie de ces difficultés et de générer des systèmes robustes et évolutifs. Dans cet exposé, je présenterai une application concrète de ce principe à la détection automatique des mélanomes, à partir d'images de naevus de la peau acquises dans des conditions relativement peu contrôlées.
Coordonnée : Directeur de Recherche au CNRS
Responsable équipe 4 de l'Unité INSERM 678 (Imagerie médicale fonctionnelle)
"Méthodologie statistique pour l'acquisition d'expertise en imagerie biomédicale et son transfert clinique : approche pilotée par les données"
- centres d'intérêt méthodologiques :
Caractérisation de motifs et de textures par apprentissage, visualisation et classification supervisée et non supervisée de données de grande dimension, méthodes neuromimétiques, aide au diagnostic et à la décision
applications:
Imagerie dermoscopique : Caractérisation des tumeurs noires de la peau
Imagerie isotopique : Diagnostic différentiel des maladies neurodégénératives
Imagerie angiographique : Quantification dans des images du fond d'oeil
Imagerie paramétrique : Caractérisation des séquences d'ADN, taxonomie du vivant
Discrete-Event Modeling and Simulation Methodologies: Past, Present and Future
Le lundi 06 juin 2005 à 15h00 - locaux du DGII de Polytec
Intervenant(s) : Gabriel A. Wainer
Coordonnée : Department of Systems and Computer Engineering
Carleton University, Ottawa, ON. Canada.
http://www.sce.carleton.ca/faculty/wainer
Functional Testing Based on Z Specifications
Le vendredi 03 juin 2005 à 15h00 - locaux du DGII de Polytec
Intervenant(s) : Maximiliano CRISTEA
Résumé : A formal functional specification of a system is a very usefull tool. During the '90 some researchers proposed touse it to extract test cases. It proved to be e very good strategy because it allows to quantify and to displine the testing activity. In this talk I will introduce this powerfull technique for Z specifications.Prerrequisites: Fluency in the Z specification language.
Coordonnée : professeur invité
Topologie Algébrique et Image Numérique : un couple en bonne intelligence
Le lundi 23 mai 2005 à 15h00 - ESIL
Intervenant(s) : Pedro Real Jurado
Résumé : Cette présentation porte sur les travaux de recherche du groupe "Topologie Algorithmique et Mathématiques Appliquées" du département Matemática Aplicada I de l'Université de Séville et concernant l'imagerie numérique. Les points abordés traiteront des approches développées par cette équipe face aux problèmes d'analyse, de contrôle et de simplification topologique en imagerie numérique 3D et 4D.
Les systèmes de systèmes (2nde partie)
Le jeudi 12 mai 2005 à 09h30 - CER ENSAM Salle des Conseils, 2 cours des Arts et Métiers, 13617 Aix-en-Provence CEDEX 1
Résumé : Systèmes hérités, urbanisation et intégration des systèmes de systèmesLa gestion de configuration et les problèmes d'obsolescence dans les systèmes de systèmesLes architectures modulairesLa maîtrise des coûts des systèmes de systèmesLa validation des systèmes de système
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Les_systmes_de_systmes_2nde_pa_76.pdf
Innovation en ingénierie des systèmes (1re partie)
Le jeudi 28 avril 2005 à 09h30 - CER ENSAM Salle des Conseils, 2 cours des Arts et Métiers, 13617 Aix-en-Provence CEDEX 1
Résumé : Innovation et compétitivitéPolitiques et modèles d'innovationInnovation en développement : Les lignes de produitsInnovation en développement : Les méthodes Agile
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Innovation_en_ingnierie_des_sy_74.pdf
Humains dans la boucle (2nde partie)
Le jeudi 07 avril 2005 à 09h30 - Dassault-Aviation, Essais en vol, 13804 Istres cedex, France
Résumé : Formation et entraînement des acteurs du cycle de vie du systèmeLa simulation dans les processus de formation et d'entraînementLe conflit, la négociation et l'engagement
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Humains_dans_la_boucle_2nde_pa_75.pdf
Utilisation et généralisation de l'acoustomyographie (amg) comme moyen de diagnostic dans des applications cliniques
Le jeudi 31 mars 2005 à 16h30 - salle de réunion du LSIS batiment polytech département GII
Commentaire : dans le cadre du pôle Diagnostic des Systèmes
Fichier de présentation : Utilisation_et_gnralisation_de_80.doc
Access Control for Geographical Databases: Issues and Possible Approaches
Le jeudi 24 mars 2005 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez-de-chaussée)
Intervenant(s) : Barbara Catania
Coordonnée : Università di Genova
Fichier de présentation : Access_Control_for_Geographica_79.pdf
Using Tropos to Model Agent Based Architectures for Adaptive Systems.
Le jeudi 03 mars 2005 à 11h00 - Salle de conférence du Département Génie Industriel et Informatique de Polytech'Marseille (campus de St Jérôme)
Intervenant(s) : Paolo Bresciani
Coordonnée : SRA division, IRST - Istituto pre La Ricerca Scientifica e Tecnologica, Trento, Italy
Fichier de présentation : Using_Tropos_to_Model_Agent_Ba_78.doc
Les systèmes de systèmes (1re partie)
Le jeudi 20 janvier 2005 à 09h30 - CER ENSAM Salle des Conseils, 2 cours des Arts et Métiers, 13617 Aix-en-Provence CEDEX 1
Résumé : Systèmes et systèmes de systèmes : Quelles différences ?Systèmes de systèmes navalsInteropérabilité des systèmes dans les systèmes de systèmesSystèmes de systèmes aéroterrestres
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Les_systmes_de_systmes_1re_par_73.pdf
Humains dans la boucle (1re partie)
Le jeudi 09 decembre 2004 à 09h30 - CER ENSAM Salle des Conseils, 2 cours des Arts et Métiers, 13617 Aix-en-Provence CEDEX 1
Résumé : La prise en compte de l'ergonomie et des facteurs humains dans la conception des systèmesDéveloppement de systèmes et travail en coopération (collaborative working)La fiabilité humaineLa « culture du contrat » en conduite de projets et de programmes
Coordonnée : Patrice Micouin :
patrice.micouin@lsis.org
ou patrice.micouin@ieee.org
ou 06.75.93.83.89
Commentaire : Séminaires Systems Engineering 2004-2005
Fichier de présentation : Humains_dans_la_boucle_1re_par_72.pdf
Personality Knowledge and Cognitive Complexity for Human Behavior Simulation with Software Agents
Le jeudi 09 septembre 2004 à 16h00 - GII de Polytech (Campus de St Jérôme)
Intervenant(s) : Pr Tuncer OREN
Coordonnée : Director of the McLeod Modeling and Simulation Network - M&SNet
Member of the MISS Working Group on Simulation and Education.
Member of the Board of Directors (Director at Large) of the Society for Modeling and Simulation International
Associate Vice president for Ethics of the Society for Modeling and Simulation International
Director, OC-MISS/SCS (Ottawa Center (OC) of The McLeod Institute of Simulation Sciences (MISS) of the Society for Modeling and Simulation International
Applying Business Process Redesign: a case-based reasoning approach
Le jeudi 01 juillet 2004 à 14h00 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Dr. Selma Limam Mansar
Résumé : Business Process Redesign (BPR) addresses the reengineering of one specific process within the firm. It helps rethinking a process in order to enhance its performance. Academics and Business practitioners have been developing methodologies to support the application of BPR principles. However, most methodologies generally lack actual guidance on deriving a process design threatening the success of BPR. In this presentation, I will first describe a framework and a set of best practices in BPR. I will explain how both the framework and the best practices were validated through case studies and a survey amongst practitioners. Next, I will briefly summarise related research questions in which I am interested, including the use of simulation in BPR. Finally, I will focus on a specific research area: the use of a case-based reasoning technique (CBR) in BPR. CBR is generally used to support solving new problems by adapting previously successful solutions to similar problems. I will explain how CBR can support a BPR implementation. Indeed, the CBR's cyclical process can be used as a knowledge creation and sharing technical support to serve for the effective reuses of redesign methods. This is developed in an attempt to improve the level of success of BPR implementation by using case stories.
Coordonnée : Senior lecturer in Business Systems
Department of Computing, Communications Technology and Mathematics
London Metropolitan University
Les Processus d'Accord : Acquisition et Offre
Le jeudi 03 juin 2004 à 09h00 - CER ENSAM, Salle des Conseils 2, cours des Arts et Métiers, 13617 Aix-en-Provence, Cedex 1
Commentaire : SEMINAIRE SYSTEMS ENGINEERING 2003-2004
Fichier de présentation : Les_Processus_dAccord__Acquisi_66.pdf
A temporal logic based formalism called TLA
Le mercredi 02 juin 2004 à 15h00 - salle de conférences GII de l'EPUM
Intervenant(s) : Maximiliano CRISTEA
Résumé : Temporal logic has been traditionally used (or at least proposed) to specify reactive systems. The Temporal Logic of Actions (TLA) was developed by Leslie Lamport in order to make formal specification amenable for software and hardware engineers. It also gathers some foundationals results such as the theorem of Alpern-Schneider about safety and liveness properties. In this seminar a railroad crossing controlling software will be specified in TLA.
Coordonnée : professeur à l'Université de Rosario
Multiple Representations of Geographical Maps: models, languages, and architectural issues
Le mercredi 02 juin 2004 à 13h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Barbara Catania
Coordonnée : Università di Genova
Fichier de présentation : Multiple_Representations_of_Ge_69.doc
Specifying software systems with CSP
Le mercredi 26 mai 2004 à 16h00 - salle de conférences GII de l'EPUM
Intervenant(s) : Maximiliano CRISTEA
Résumé : CSP stands for Communicating Sequential Processes and it is a formal notation developed by Tony Hoare with the objective to describe concurrent software systems as a collection of interacting sequential processes. In this seminar CSP will be introduced by means of an
example and its main features will be explained. The example shows a software for controlling a simple production cell.
Coordonnée : professeur à l'Université de Rosario
Intelligent agents in geo-monitoring of a region
Le mercredi 12 mai 2004 à 11h00 - Salle de réunion nord du département GII de Polytech'Marseille (St Jérôme)
Intervenant(s) : Laura Ciocoiu (Senior IT Researcher), Barbu Drago (IT Researcher), Cristian Paraschiv (Analyst programmer), Ioni Mihai (GIS Specialist)
Coordonnée : National Institute for Research and Development in Informatics
8-10 Averescu Avenue, 011455 Bucharest 1,
ROMANIA
Fichier de présentation : Intelligent_agents_in_geo-moni_65.pdf
Amélioration des capacités décisionnelles des SIG par l'ajout d'un module SOLAP (Spatial On-Line Analytical Processing).
Le jeudi 08 avril 2004 à 14h00 - Salle de conférence du département GII de Polytech'Marseille (St Jérôme)
Intervenant(s) : Pr. Yvan Bédard
Résumé : Ce séminaire présentera une nouvelle catégorie d'outils d'aide à la décision géospatiale qui enrichit les capacités des SIG relativement à l'exploration interactive des données. Ces outils, appelés SOLAP (Spatial On-Line Analytical Processing) tirent profit des succès de l'informatique décisionnelle (entrepôts de données, comptoirs de données, OLAP, data mining) afin de faciliter la navigation rapide et intuitive de l'information géographique à différents niveaux de granularité. Dans un premier temps, nous aborderons les concepts fondamentaux de l'informatique décisionnelle (technologies, architectures, lien avec l'aide à la décision). Dans un second temps, nous traiterons de leurs forces et faiblesses pour l'exploration interactive des données géospatiales (nominales et cartographiques). Par la suite, nous présenterons un exemple d'application démontrant les particularités d'un SOLAP. Dans un quatrième temps, nous distinguerons les fonctions des SIG de celles d'un SOLAP et expliquerons comment ces deux technologies seront appelées à travailler en complémentarité. Finalement, nous survolerons les défis de recherche pour les années futures.
Coordonnée : Centre de Geomatique de l'Universite Laval (Quebec)
Maîtriser les risques, les coûts et les délais.
Le jeudi 08 avril 2004 à 09h00 - CER ENSAM, Salle des Conseils 2, cours des Arts et Métiers, 13617 Aix-en-Provence, Cedex 1
Commentaire : SEMINAIRE SYSTEMS ENGINEERING 2003-2004
Fichier de présentation : Matriser_les_risques_les_cots__62.pdf
Commande des bras manipulateurs souples
Le jeudi 01 avril 2004 à 14h00 - Salle de conférence du département GII de Polytech'Marseille (St Jérôme)
Intervenant(s) : Mr. Mouhacine Benosman
Résumé : Ces structures légères, permettent de réaliser des mouvements rapides avec un minimum d'énergie (comparativement aux bras manipulateurs classiques : rigides). La légèreté de la structure permet également des transports/ installations à moindre coût, de ce fait, ces robots sont principalement utilisés dans des environnements difficiles d'accès, e.g. environnement spatial. Cela dit, cette légèreté/souplesse de la structure induit des vibrations 'indésirables', lors des mouvements 'utiles'. Ces vibrations doivent être donc prises en compte lors de la synthèse des lois de commande.Cet exposé a pour but de présenter un état de l'art sur la commande (i.e. en régulation et suivi de trajectoires) des robots manipulateurs souples.
Coordonnée : Laboratoire d'Automatique et de Microélectronique (UFR des Sciences exactes et naturelles) à Reims
Applications of 3D Differential Optical Flow
Le lundi 29 mars 2004 à 16h30 - salle 101 à l'ESIL
Intervenant(s) : Prof. John Barron
Résumé : 3D optical flow is an approximation to the local volumetric motion is a sequence of volume images. Closely related to it is 3D range flow, which is an approximation to the local surface motion in a sequence of depth images. We introduce 3D opical flow, show how the 3D Motion Constraint Equation results in the 3D aperture problem and describe how 3D extensions of the 2 algorithms described above overcome this problem. Finally, we describe 3 applications of 3D optical flow: the use of 3D range flow to measure the motion and growth of plant leaves, the use of 3D optical flow to measure/predict Doppler Radar storm motion and the use of 3D optical flow to measure the motion of a beating heart in gated MRI datasets.
Coordonnée : Dept. of Computer Science
Univ. of Western Ontario
London, Ontario, Canada
barron@csd.uwo.ca
Commentaire : These talks are non-technical and are intended for a general audience.
Equations have been kept to a minimum.
Applications of 2D Differential Optical Flow
Le jeudi 25 mars 2004 à 14h00 - locaux du Département GII de l'EPUM
Intervenant(s) : Prof. John Barron
Résumé : 2D optical flow is an approximation to the local image motion in a sequence of images. We first introduce 2D optical flow, show how the 2D Motion Constraint Equation results in the 2D aperture problem, describe how 2 common optical flow algorithms overcome this problem and show some optical flow computations. Then, we show 2 applications of 2D optical flow: the recovery of camera motion and scene depth from time-varying optical flow and the measurement of 2D/3D corn seedling motion and growth via 2D optical flow.
Coordonnée : Dept. of Computer Science
Univ. of Western Ontario
London, Ontario, Canada
barron@csd.uwo.ca
SIG et Base de Données
Le vendredi 19 mars 2004 à 10h00 - locaux du Département GII de l'EPUM
Résumé : Cette réunion sous la forme d'un séminaire - débat sur l'axe ''SIG et Base de Donnée' est organisée dans le cadre d'un projet de fédération de recherche entre les laboratoires de la région. Les laboratoires concernés sont : le LSIS, l'ONERA, le SIS de Toulon et le MAP. Cette réunion a pour objectifs de mieux connaitre nos activites dans le domaine des SIG et des BdD afin de faire émerger un ou plusieurs groupes de travail ou projets pour cette fédération.
Coordonnée : Contact : Charles Santoni : charles.santoni@univ.u-3mrs.fr
Ingénierie des Connaissances
Le jeudi 11 mars 2004 à 09h00 - CER ENSAM, Salle des Conseils 2, cours des Arts et Métiers, 13617 Aix-en-Provence, Cedex 1
Commentaire : SEMINAIRE SYSTEMS ENGINEERING 2003-2004
Fichier de présentation : Ingnierie_des_Connaissances_58.pdf
Intuitionistic Logic and Proof methods
Le jeudi 12 fevrier 2004 à 14h00 - Salle 103 au CMI, chateau Gombert
Intervenant(s) : Nicola Olivetti
Résumé : Nicola Olivetti est actuellement professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie). Il est aussi membre de plusieurs comités prestigieux comme le comité de programme de la conférence internationale TABLEAUX ou le comité éditorial du Journal of Applied Logic. Ses recherches ont trait au RaisonnementNon-monotone et à la Révision des Croyances, à la Déduction Automatique pour les Logiques Non-classiques, ainsi qu'à la Programmation Logique, notamment les extensions reposant sur la logique intuitioniste et la logique des conditionnels. Invité par l'Université de Provence, il sera présent au sein de l'équipe InCA du 15 janvier au 15 février, et en collaboration avec Vincent Risch et Pierre Siegel, s'intéressera à l'apport des formalismes conditionnels aux logiques de description.Intuitionistic Logic and Proof methodsNicola OlivettiUniversity of TorinoDipartimento di InformaticaIntuitionistic logic is the most important alternative to classical logic and has strong connections with computer science for its constructive interpretation of logic. The purpose of this tutorial is to introduce Intuitionistic and other logics in the neighbors from a proof-theoretical and semantical point of view.Course Outline:Intuitionistic logicMotivations Natural Deduction Consequence Relations and Sequent calculi Axiomatization Kripke semantics Intuitionistic, classical, and modal logic Horn clauses, logic programming, and goal-directed provability ComplexitySub-Intuitionistic LogicsRemoving structural rules Lambek, Relevance and Linear logic Axiomatization A possible-world semanticsSeminarBelief Revision and Conditional LogicsDatesJeudi 29/01 : 14h - 17h, Cours Jeudi 05/02 : 14h - 17h, Cours Lundi 09/02 : 14h - 16h, Cours Jeudi 12/02 : 14h - 16h, Séminaire
Coordonnée : professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie)
Commentaire : inclu dans une série de quatre séminaires entre le 29 janvier
et le 12 février
Journée 'Modélisation - Simulation'
Le jeudi 12 fevrier 2004 à 09h00 - LSIS
Résumé : 9h00-9h20 Accueil - Introduction

These en cours avec encadrement commun

9h20-9h40 Modélisation des écarts dans l'analyse d'une activité de pilotage (S. Sadock, N. Maille -ONERA, E. Chouraqui, J.-M. Mercantini - LSIS).

Simulation distribuée

9h40-10h10 Simulation conceptuelle et distribuée. LSIS.

10h10-10h40 Simulation distribuée pour l'étude des interactions pilote-système. P. Bonnet, ONERA.

10h40-11h00 Discussion

Simulation à base de connaissance

11h00-11h30 Représentation à événements discrets du comportement. LSIS.

11h30-12h00 Modélisation et suivi de procédures pour l'assistance au pilotage. P. Le Blaye, ONERA.

12h00-12h20 Discussion

12h20-13h30 Repas

Simulation à base d'agents

13h30-14h00 Modélisation et simulation à base d'agents. LSIS.

Analyse formelle de concepts

14h00-14h30 Classification de données et production de regles : application à l'analyse qualitative de rapports d'incidents. N. Maille, ONERA.

14h30-15h00 Analyses expérimentales des facteurs influents de la performance cognitive des opérateurs. L. Chaudron, L. Bayssié, ONERA

15h-15h30 Discussion et synthèse de la journée.
Commentaire : Présentation :
Cette journée séminaire - débat sur l'axe 'Modélisation - Simulation' est organisée dans le cadre d'un projet de fédération de recherche entre les laboratoires de la région dans le domaine des STIC. Elle a pour objectifs dans un premier temps de mieux connaitre nos activites et le cas échéant de faire émerger un ou plusieurs groupes de travail ou projets pour cette fédération.
Intuitionistic Logic and Proof methods
Le lundi 09 fevrier 2004 à 14h00 - Salle 103 au CMI, chateau Gombert
Intervenant(s) : Nicola Olivetti
Résumé : Nicola Olivetti est actuellement professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie). Il est aussi membre de plusieurs comités prestigieux comme le comité de programme de la conférence internationale TABLEAUX ou le comité éditorial du Journal of Applied Logic. Ses recherches ont trait au RaisonnementNon-monotone et à la Révision des Croyances, à la Déduction Automatique pour les Logiques Non-classiques, ainsi qu'à la Programmation Logique, notamment les extensions reposant sur la logique intuitioniste et la logique des conditionnels. Invité par l'Université de Provence, il sera présent au sein de l'équipe InCA du 15 janvier au 15 février, et en collaboration avec Vincent Risch et Pierre Siegel, s'intéressera à l'apport des formalismes conditionnels aux logiques de description.Intuitionistic Logic and Proof methodsNicola OlivettiUniversity of TorinoDipartimento di InformaticaIntuitionistic logic is the most important alternative to classical logic and has strong connections with computer science for its constructive interpretation of logic. The purpose of this tutorial is to introduce Intuitionistic and other logics in the neighbors from a proof-theoretical and semantical point of view.Course Outline:Intuitionistic logicMotivations Natural Deduction Consequence Relations and Sequent calculi Axiomatization Kripke semantics Intuitionistic, classical, and modal logic Horn clauses, logic programming, and goal-directed provability ComplexitySub-Intuitionistic LogicsRemoving structural rules Lambek, Relevance and Linear logic Axiomatization A possible-world semanticsSeminarBelief Revision and Conditional LogicsDatesJeudi 29/01 : 14h - 17h, Cours Jeudi 05/02 : 14h - 17h, Cours Lundi 09/02 : 14h - 16h, Cours Jeudi 12/02 : 14h - 16h, Séminaire
Coordonnée : professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie)
Commentaire : inclu dans une série de quatre séminaires entre le 29 janvier
et le 12 février
Intuitionistic Logic and Proof methods
Le jeudi 05 fevrier 2004 à 14h00 - Salle 103 au CMI, chateau Gombert
Intervenant(s) : Nicola Olivetti
Résumé : Nicola Olivetti est actuellement professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie). Il est aussi membre de plusieurs comités prestigieux comme le comité de programme de la conférence internationale TABLEAUX ou le comité éditorial du Journal of Applied Logic. Ses recherches ont trait au RaisonnementNon-monotone et à la Révision des Croyances, à la Déduction Automatique pour les Logiques Non-classiques, ainsi qu'à la Programmation Logique, notamment les extensions reposant sur la logique intuitioniste et la logique des conditionnels. Invité par l'Université de Provence, il sera présent au sein de l'équipe InCA du 15 janvier au 15 février, et en collaboration avec Vincent Risch et Pierre Siegel, s'intéressera à l'apport des formalismes conditionnels aux logiques de description.Intuitionistic Logic and Proof methodsNicola OlivettiUniversity of TorinoDipartimento di InformaticaIntuitionistic logic is the most important alternative to classical logic and has strong connections with computer science for its constructive interpretation of logic. The purpose of this tutorial is to introduce Intuitionistic and other logics in the neighbors from a proof-theoretical and semantical point of view.Course Outline:Intuitionistic logicMotivations Natural Deduction Consequence Relations and Sequent calculi Axiomatization Kripke semantics Intuitionistic, classical, and modal logic Horn clauses, logic programming, and goal-directed provability ComplexitySub-Intuitionistic LogicsRemoving structural rules Lambek, Relevance and Linear logic Axiomatization A possible-world semanticsSeminarBelief Revision and Conditional LogicsDatesJeudi 29/01 : 14h - 17h, Cours Jeudi 05/02 : 14h - 17h, Cours Lundi 09/02 : 14h - 16h, Cours Jeudi 12/02 : 14h - 16h, Séminaire
Coordonnée : professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie)
Commentaire : inclu dans une série de quatre séminaires entre le 29 janvier
et le 12 février
Approche bayésienne pour l'étude des systèmes dynamiques non linéaires à temps discrets
Le jeudi 29 janvier 2004 à 17h30 - salle de conférences du département GII de l'EPUM
Intervenant(s) : Sébastien Paris
Résumé : Cet exposé, sous forme de tutoriel, présente deux approches bayésiennes de filtrage et d'inférence dédiées aux systèmes dynamiques non-linéaires à temps discret. Ces derniers permettent de modéliser une grande variété de problèmes de tracking pour diverses applications : en sonar (piste de fréquence, d'azimuth), en radar (composante cinématique), pour le suivi d'objets à l'intérieur d'images (visages, contours, vortex), etc... et plus généralement pour l'extraction et la caractérisation de processus stochastiques à partir d'observations bruitées.Le point commun aux deux approches est la mise en oeuvre d'un calcul récursif de la loi a posteriori d'un filtre non-linéaire.La première méthode s'appuie sur les modélisations par chaînes de Markov cachées (HMM) nécessitant une discrétisation de l'espace d'état. Cette approche est particulièrement bien adaptée lorsque la dimension de l'état est petite car l'on dispose d'une vision globale des lois de probabilités. Les principaux algorithmes seront présentés (Forward-Backward, Viterbi, Baum-Welch) et appliqués à des exemples de tracking.La seconde démarche communément appelée "méthode séquentielle de Monte-Carlo" ou "filtre particulaire" échantillonne la loi de probabilité (i.e. le filtre) uniquement en certains points de l'espace d'état, permettant ainsi de traiter des problèmes de filtrage à grande dimension avec un nombre raisonnable de particules. Des exemples d'application en tracking radar et en diagnostic de pannes (diagnostic fault detection) seront présentés.
Intuitionistic Logic and Proof methods
Le jeudi 29 janvier 2004 à 14h00 - Salle 103 au CMI, chateau Gombert
Intervenant(s) : Nicola Olivetti
Résumé : Nicola Olivetti est actuellement professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie). Il est aussi membre de plusieurs comités prestigieux comme le comité de programme de la conférence internationale TABLEAUX ou le comité éditorial du Journal of Applied Logic. Ses recherches ont trait au RaisonnementNon-monotone et à la Révision des Croyances, à la Déduction Automatique pour les Logiques Non-classiques, ainsi qu'à la Programmation Logique, notamment les extensions reposant sur la logique intuitioniste et la logique des conditionnels. Invité par l'Université de Provence, il sera présent au sein de l'équipe InCA du 15 janvier au 15 février, et en collaboration avec Vincent Risch et Pierre Siegel, s'intéressera à l'apport des formalismes conditionnels aux logiques de description.Intuitionistic Logic and Proof methodsNicola OlivettiUniversity of TorinoDipartimento di InformaticaIntuitionistic logic is the most important alternative to classical logic and has strong connections with computer science for its constructive interpretation of logic. The purpose of this tutorial is to introduce Intuitionistic and other logics in the neighbors from a proof-theoretical and semantical point of view.Course Outline:Intuitionistic logicMotivations Natural Deduction Consequence Relations and Sequent calculi Axiomatization Kripke semantics Intuitionistic, classical, and modal logic Horn clauses, logic programming, and goal-directed provability ComplexitySub-Intuitionistic LogicsRemoving structural rules Lambek, Relevance and Linear logic Axiomatization A possible-world semanticsSeminarBelief Revision and Conditional LogicsDatesJeudi 29/01 : 14h - 17h, Cours Jeudi 05/02 : 14h - 17h, Cours Lundi 09/02 : 14h - 16h, Cours Jeudi 12/02 : 14h - 16h, Séminaire
Coordonnée : professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie)
Commentaire : inclu dans une série de quatre séminaires entre le 29 janvier
et le 12 février
L'Imagerie en biologie : du 2D au 3D
Le jeudi 18 decembre 2003 à 14h00 - Salle de documentation de l'ESIL
Intervenant(s) : Florence CLOPPET
Coordonnée : Florence.Cloppet@math-info.univ-paris5.fr
Fichier de présentation : LImagerie_en_biologie__du__2D__37.doc
Context Interchange
Le jeudi 04 decembre 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Stéphane Bressan
Résumé : Context is the set of assumptions, premises and inferences that allow us to share data, information, and knowledge and to transform them into understanding and ultimately into action and creation of wealth. The scale from data to information and to knowledge (and wisdom) is a continuous scale of increasing context independence.

The Context Interchange research project of the Sloan School of Management at MIT and of the Laboratory of Electronic Commerce at the National University of Singapore aims at the design and development of theory, techniques, methodological elements, and tools for the integration of information.

The COntext INterchange network (COIN) is a suite of tools for the integration of heterogeneous, distributed, and independent information sources over the Internet. The COIN strategy for the intelligent integration of information relies on the definition of contexts describing the semantic discrepancies among the component sources and the applications. The COIN wrappers extract data from Web sources and services. The COIN mediator automatically identifies and resolves the semantic conflicts arising when manipulating data in disparate contexts.

We will present the context interchange strategy and tools and discuss various issues.
Coordonnée : School of Computing, National University of Singapore
Agents and the Semantic Web: the SEWASIE project
Le jeudi 27 novembre 2003 à 15h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Sonia Bergamaschi
Coordonnée : Database Group, Dipartimento di Ingegneria dell'Informazione
Facoltà di Ingegneria, Università di Modena e Reggio Emilia
Fichier de présentation : Agents_and_the_Semantic_Web_th_38.doc
A random walk, toward simulation accuracy, partnering and probity
Le mercredi 29 octobre 2003 à 16h00 - EPUM-GII, Campus St Jérôme - salle de Conférences (Rez de Chaussée)
Intervenant(s) : Priscilla Elfrey
Coordonnée : Kennedy Space Center
IT/C1, Florida 32899
E-mail : Priscilla.R.Elfrey@nasa.gov
Commentaire : dans le cadre de la conférence MAJECSTIC'03 organisée par l'A2DL et le LSIS
Fichier de présentation : A_random_walk_toward_simulatio_35.ppt
Secure network design: new directions
Le mercredi 29 octobre 2003 à 11h00 - EPUM-GII, Campus St Jérôme - salle de Conférences (Rez de Chaussée)
Intervenant(s) : Sumit Ghosh
Coordonnée : Hattrick Endowed Chaired Professor of Information Systems Engineering
Department of Electrical & Computer Engineering
Stevens Institute of Technology, Hoboken, NJ 07030
E-mail: sghosh2@stevens-tech.edu
Commentaire : dans le cadre de la conférence MAJECSTIC'03 organisée par l'A2DL et le LSIS
Fichier de présentation : Secure_network_design_new_dire_34.ppt
Recent advances in discrete event-based information technology
Le mercredi 29 octobre 2003 à 10h00 - EPUM-GII, Campus St Jérôme - salle de Conférences (Rez de Chaussée)
Intervenant(s) : Bernard P. Ziegler
Coordonnée : Professor, ECE
Arizona center for integrative modeling and simulation
University of Arizona
Tuscon
www.acims.arizona.edu
Commentaire : dans le cadre de la conférence MAJECSTIC'03 organisée par l'A2DL et le LSIS
Fichier de présentation : Recent_advances_in_discrete_ev_36.ppt
Traitement des données biologiques
Le jeudi 25 septembre 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (Rez de Chaussée)
Intervenant(s) : Zoé Lacroix
Résumé : La bioinformatique, et le traitement des données biologiques en particulier, sont devenus des outils incontournables des recherches médicales et des sciences de la vie. Depuis quelques années, le nombre des sources de données ne fait que croître, de même que le nombre d'entrées que ces ressources contiennent. Le processus d'expérimentation repose de plus en plus sur des traitements de données électroniques qui exploitent des informations extraites de multiples sources de données par le biais d'applications qui permettent leur analyse et visualisation. En amont même de l'expérimentation, les outils de fouille de données guident l'intuition des scientifiques et leur permettent de formuler de nouvelles hypothèses. Les caractéristiques des données biologiques et des sources où elles sont stockées posent de nouveaux challenges. En effet, les systèmes de gestion des données tels que les bases de données relationnelles qui ont été développées pour des applications administratives sont peu appropriés aux données médicales.

L'exposé se déroulera selon le plan suivant :

1) Développement de plates-formes adaptées aux sciences de la vie
2) Etapes du raisonnement scientifique
3) Caractéristiques des données et des applications biologiques
4) Un langage de requêtes scientifiques
Coordonnée : Arizona State University, USA
Fichier de présentation : Traitement_des_donnes_biologiq_33.doc
Approche géométrique pour la détection de défauts : exemple d'application
Le vendredi 04 juillet 2003 à 14h00 - salle de réunion du LSIS
Intervenant(s) : Chokri Mechmeche
Résumé : Nous commencerons cet exposé par un rappel des outils mathématiques utilisés. En effet, nous introduirons les notions d(A,B)-invariance et (C,A)-invariant qui sont très utilisées dans cette approche. Ensuite appliquerons l'approche géométrique au problème du rejet de perturbation ainsi qu'au problème dual qui est l'observateur à entrées inconnues. Enfin nous terminons notre exposé par l'application de l'approche géométrique à la détection et l'isolation des défauts dans les systèmes linéaires.
Coordonnée : MDC à l'ESSTT
Commentaire : dans le cadre du pôle Diagnostic des systèmes
Modeling and simulation of complex cell spaces
Le lundi 23 juin 2003 à 18h00 - Giens
Intervenant(s) : Gabriel A. Wainer
Coordonnée : Pr. à Carlton University, Canada
Fichier de présentation : Modeling_and_simulation_of_com_31.doc
Representation of Hierarchical and Modular Hybrid Systems: An Integrative Approach
Le jeudi 12 juin 2003 à 14h00 - Département GII, Polytech Marseille
Intervenant(s) : Fernando Barros
Résumé : The Heterogeneous Flow System Specification (HFSS) is a formalism designed to represent modular hybrid systems. This formalism integrate classical discrete event systems with a new approach to describe continuous systems. The HFSS formalism provides a unifiyed framework for modeling many types of systems including mobile agents, multirate numerical methods and dynamic structure/switching systems. Several applications of this formalism will be presented.
Coordonnée : Pr. Université de Coimbra, Portugal
Identification automatique de la langue et du codage du texte et l'application aux textes hétérogènes multilingues
Le jeudi 22 mai 2003 à 14h30 - amphi de l'ESIL
Intervenant(s) : Hung VO TRUNG
Résumé : La connaissance de la langue et le codage utilisé en texte nous aide à réaliser correctement des traitements sur ces textes comme : recherche exacte d'informations, vérification d'orthographe en langue utilisée, affichage d'informations avec le bon jeu de caractères correspondants au codage utilisé, échange d'informations entre des systèmes différents, traduction automatique multilingue, ...
Dans cet exposé, nous pouvons présenter les méthodes utilisables pour identifier la langue et le codage d'un texte monolingue. Et puis, nous voulons appliquer ce module d'identification pour segmenter un texte multilingue vers les séquences de sous-textes monolingues.
Coordonnée : Université de Danang, Vietnam
Unesco and The International Space Agencies established an Open Initiative to use Space Technologies to Monitor World Heritage S
Le mercredi 07 mai 2003 à 14h00 - ESIL, Marseille, France
Intervenant(s) : Mario Hernandez
Résumé : The European Space Agency (ESA) and UNESCO launched an 'Open Initiative' in support of the World Heritage Convention in October 2001. Through this initiative, ESA and other International Space Agencies agreed to support the efforts of States Parties of the World Heritage Convention in the monitoring of World Heritage sites using Space Technologies. The main objective is to provide assistance to developing countries in understanding and making use of satellite images for the benefit of World Heritage sites conservation. Capacity building is the main component of this important initiative.Today the Open Initiative is a reality. Various organizations and institutions have joined the initiative and Governments are financing some of the activities. As an initial project, ESA and UNESCO, jointly with the Governments of Rwanda, Uganda and the Democratic Republic of Congo, have decided to make an assessment of the World Heritage sites that host gorilla habitat in Eastern and Central Africa. Such an assessment covers the changes occurred during the last 10 years. The presentation will describe the project, objectives and goals, as well as the current results and expected results for 2003.The World Heritage sites selected for this study cover the national parks of Parc National des Virunga (site classified as 'in danger' located at the Democratic Republic of Congo) and The Bwindi Impenetrable National Park (Uganda). In order to cover the whole areas of gorilla habitat in this region, the study includes additional World Heritage candidate sites: the Parc National des Volcans (Rwanda), and the Mgahinga Gorilla National Park (Uganda).All of the above-mentioned areas host mountain gorillas, the Gorilla b. beringei living in the vulcanous region, and a small population of eastern lowland gorilla Gorilla b. graueri. During the last years the region has suffered a series of wars and as a consequence a large arrival of refugees. All these actions have become an enormous threat for the area in particular for the survival of the gorillas. Therefore an overall assessment of the vegetation cover over time is required. This is the scope of the UNESCO and ESA defined SOGHA (Surveillance Of Gorilla HAbitat) project.Due to the mountainous nature of the terrain, inaccessibility and to the unstable atmospheric conditions over the area preventing the existence of good optical images, ESA is assisting UNESCO in the creation of Digital Terrain Models that will significantly improve the quality of the derived maps.The World Heritage Convention deals also with important Cultural sites: archeological sites, old cities, etc. In this area the new high resolution available with the new generation of satellites: Landsat 7, Spot 5, Ikonos and Quickbird, provides new tools to assist developing countries in the monitoring of their cultural heritage sites. Examples of these new satellites will be shown.It is clear that all the techniques dealing with digital images constitute an important support tool to understand the complexity of World Heritage sites and its surroundings and to assist therefore in improving the site management plans. New technologies where the World Heritage sites can be 'virtually' reconstructed or where the visitors can have 'virtual tours' of the site are slowly becoming available in the most developed countries. These techniques can also assist the conservation of World Heritage sites. One of the major goals of the UNESCO World Heritage Centre is to make accessible to the less developed Sates Parties any additional tools that can strengthen the conservation and associated management of the World Heritage sites.While all the technologies described herein are extremely useful, it is difficult to make them available to developing States Parties. Therefore partnerships with institutions/organizations that have the expertise and the associated know-how are required.Overall the work described in this presentation is a good example of the importance of international cooperation to make use of sophisticated space and image technologies to preserve the Heritage of our World. UNESCO has continued with this Open initiative and other International Space Agencies are joining. The whole concept has attracted Governments that are providing financial support to further promote the use of satellite images as a support tool for World Heritage Conservation.
Coordonnée : Chief Information Management and Remote Sensing
UNESCO World Heritage Centre, 7 Place de Fontenoy 75352 Paris (France)
E-mail: Ma.Hernandez@unesco.org
Fichier de présentation : Unesco_and_The_International_S_28.doc
Agent-oriented design of novel architectures for ERP and WfM systems
Le jeudi 10 avril 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Nick Szirbik
Résumé : ERP (Enterprise Resource Planning) and WfM (Workflow Management) systems represent today the core of the various Business Information systems (BIS) for domains like manufacturing and distribution, banking and financial services, education and non-profit organisations, healthcare nd government-related organisations. ERP and WfM systems are deployed as integrated solutions for businesses. The growing complexities of these monolithical and standardised software packages make the installation process, maintenance and the continuous upgrade more and more difficult and extremely costly. A novel approach is to break the monolithical architecture in function-based components, which can be used as stand-alone (or at least loosely coupled) modules. However, the interfacing and coordination mechanism necessary to make the modules working together properly poses the same difficulty and cost as the ones for using monolithical (hard-coupled) architectures. Agent-based architecturing, offer a compact, hierarchical and simple design technique for novel types of BIS. Implementations of such designs will offer a far higher level of information system flexibility and also reduced costs of deployment and upgrade. Modules from the standard packages can be re-used by "agentification". It is envisaged that the adoption of such architectures will start in supply networks formed by SMEs and virtual enterprises.
Coordonnée : Department Information & Technology, Faculty of Technology Management
Eindhoven University of Technology, Netherland
Le Contrôle Avancé, comme Outil Technologique de la Performance (Enjeux techniques & économiques)
Le mardi 08 avril 2003 à 14h00 - salle des conferences du DGII de l'EPUM
Intervenant(s) : Michel CHANDEVAU
Résumé : Le Contrôle Avancé appelé encore « Régulation Avancée » ou « Commande avancée » s'est affirmé depuis cette dernière décennie comme un « outil technologique » de la performance.
La maîtrise totale de procédés est un impératif que les industriels ont à assumer dans un contexte économique souvent difficile, soumis aux contraintes du marché et à une compétitivité sans cesse grandissante. Réduction des coûts d'exploitation, gains de productivité, suivis plus stricts des qualités des produits, sécurisation des unités de production, tous ces objectifs sont abordés et doivent être traités « au quotidien », quels que soient les types d'Industries, qu'ils appartiennent aux différents secteurs de la pétrochimie, de la sidérurgie, de l'industrie pharmaceutique, des biotechnologies ou de l'industrie agroalimentaire.
Mieux réguler les unités de production afin d'en optimiser les variables à hautes valeurs ajoutées pour en accroître la profitabilité (optimisation des rendements, minimisation de la consommation énergétique, suppression des « sur-qualité » par une minimisation de la variance des qualités produits, par une maximisation de la récupération des produits, la réduction des temps de transition et l'amélioration des gains marginaux ) telle est la finalité d'une « Commande Avancée ».
Les différents « Enjeux techniques & Economiques » seront abordés au cours de cette présentation :
A savoir : Concepts , stratégies & Enjeux ;
Les différents objectifs d'une commande avancée, les justifications techniques (en particulier les limites de performances des régulateurs PID analogique, les procédés à dynamique « difficile »), les différentes structures hiérarchiques & la fonctionnalité d'une commande avancée (Algorithmes).
Les aspects Modélisation / Identification, la méthodologie (conception/Projet en Contrôle avancé, les différentes étapes d'un projet, l'analyse « process », la Mise au point d'une commande, l'Estimation quantitative des bénéfices ainsi que les facteurs de réussite avec un retour d'expériences.
Coordonnée : ISA FRANCE
Fichier de présentation : Le__Contrle_Avanc_comme_Outil__25.doc
Commande et estimation des systèmes non linéaires décrits par des multi-modèles : Application à la dynamique de véhicule a
Le mardi 08 avril 2003 à 11h00 - salle des conferences du DGII de l'EPUM
Intervenant(s) : A. El Hajjaji
Résumé : L'automaticien est souvent amené, à partir de considérations physiques, à examiner certaines classes de systèmes manipulables par des outils mathématiques existants. Les restrictions structurelles (linéarité vis-à-vis de l'entrée, platitude, convexité) produisent des modèles approchés. Une méthode pour étudier un système ayant un comportement non linéaire est de l'approximer par un seul modèle linéaire (linéarisé tangent autour d'un point d'équilibre). L'inconvénient d'une telle approche est son aspect uniquement local, le modèle linéaire n'est qu'une description locale du comportement du système. Ces dernières années, une approche plus globale basée sur de multiples modèles LTI (linéaires ou affines) a été élaborée. L'idée consiste à considérer un ensemble fini de zones de fonctionnement et de dynamiques locales correspondantes généralement linéaires. Le comportement global résulte de la « fusion » par le formalisme de la logique floue de l'ensemble de comportements locaux. Le passage d'une zone à une autre se fait progressivement par commutation "floue" et sans discontinuité. Cette approche a attiré l'attention de la communauté des automaticiens et les problèmes de stabilité ont suscité un intérêt certain. Un des avantages de cette approche vient du fait qu'elle combine à la fois le concept de la logique floue qui trouve un succès considérable dans plusieurs domaines des sciences de l'ingénieur et les outils de la théorie de la commande avancée largement développée dans la littérature.
L'exposé portera essentiellement sur les outils d'analyse et de synthèse de lois de commande et d'observateur des systèmes non-linéaires décrits par des multi-modèles. Ensuite, pour illustrer certaines algorithmes, nous présenterons des applications au contrôle des véhicules automobiles en vue d'améliorer sa stabilité et sa maneouvrabilité.
Coordonnée : Centre de Robotique d'Electrotechnique et d'Automatique
7, Rue du moulin neuf 80000 Amiens
Fichier de présentation : Commande_et_estimation_des_sys_27.doc
Agent-oriented modelling and simulation of logistic processes (internal and external enterprise level and supply-chain level)
Le jeudi 03 avril 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Nick Szirbik
Résumé : Logistic processes are a mixture of execution monitoring & operational control of flows of goods with tactical and strategic planning, which can be performed centrally or distributed. In a distributed approach, controllers and planners are collaborating to achieve good logistic coordination. The simulation of this processes can be done either as continuous-system simulation, using classical OR approaches, either as discrete-system simulation. Based on a discrete agent model, the simulation of logistical processes has first to achieve a degree of realism that captures the activities of people, machines and software at various levels of decision making (operational, tactical and strategic). Second, the running of simulation environment should be simple enough to permit that a small group can experiment with various scenarios. The way the simulation can be affected by the experimenter is by setting environment variables but also by setting the behaviour of the simulated agents. This behaviour can be implemented using different or mixed techniques (e.g. rules, fuzzy values, neural networks, workflow and Petri Nets, etc).
Coordonnée : Department Information & Technology, Faculty of Technology Management
Eindhoven University of Technology, Netherland
Agent and Goal based Requirement Egineering: expressiveness vs. usability
Le jeudi 27 mars 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Paolo Bresciani
Résumé : Adopting Requirements Engineering (RE) techniques based on the fundamental notions of the agent-oriented programming paradigm, i.e. Agent, Goal, and Intentional Dependency, is recognized as a crucial step towards a more homogeneous and natural software engineering process for complex systems, like the Multi Agent Systems.From one side, the availability of simple representational tools is a key factor to guarantee stakeholders active involvement during RE, and therefore the success of such techniques, specially when complex socio-technical environments and stakeholders not expert in RE techniques are involved. From another side, simplicity may impose limits on the expressiveness of the graphical language, thus constraining the analysis process and reducing its flexibility and efficiency.
Coordonnée : SRA division, IRST - Istituto pre La Ricerca Scientifica e Tecnologica, Trento, Italy
Agent-Based Simulation
Le mardi 25 mars 2003 à 10h30 - EPUM-GII, Campus St Jérôme - salle A (rez de chaussée)
Intervenant(s) : Gerd Wagner
Résumé : Many simulation problems can be viewed as multiagent systems where a number of agents (humans, animals, organizations, software systems or machines) interact with each other and with their inanimate environment. Since their interactions are based on discrete events, it seems natural to define Agent-Based Simulation as an extension and refinement of the Discrete Event Simulation paradigm. We discuss a model for Agent-Based Simulation where a simulation system consists of an environment simulator and a set of agent simulators, which are connected with each other via the environment simulator. The state of the simulation system consists of the environment state, managed by the environment simulator, and the internal (mental) states of the agents, managed by the agent simulators. The environment state consists of the external states of the agents and of the states of the (passive) environment objects.
Coordonnée : Department Information & Technology, Faculty of Technology Management
Eindhoven University of Technology, Netherland
Towards an Agent and Goal Oriented approach to Software Engineering
Le mardi 25 mars 2003 à 09h30 - EPUM-GII, Campus St Jérôme - salle A (rez de chaussée)
Intervenant(s) : Paolo Bresciani
Résumé : The use of fundamental notions of the agent-oriented programming paradigm, i.e. Agent and all related mentalistic notions (for instance Goals, Plans, and Intentional Dependency) is crucial for the realization of Software Engineering methodologies in which the gap between Requirements Engineering phases and Design phases is reduced to a minimum.
Coordonnée : SRA division, IRST - Istituto pre La Ricerca Scientifica e Tecnologica, Trento, Italy
Agent-Oriented Enterprise Modeling
Le jeudi 20 mars 2003 à 14h30 - EPUM-GII, Campus St Jérôme - salle de Conférences (rez de chaussée)
Intervenant(s) : Gerd Wagner
Résumé : Enterprise modeling is concerned with developing models of organizations viewed as systems that consist of various entity types, some of them being involved in (intra- or inter-organizational) business processes. In the predominant object-oriented approach, all entities (items, orders, customers, suppliers, etc.) are "business objects", which "collaborate" with each other. In an agent-oriented approach, a distinction is made between active and passive entities: only (business) agents are able to perceive events, perform actions, enter into commitments or acquire claims, while (business) objects are not. We propose an agentoriented modeling language, AORML (http://AOR.rezearch.info), where an organization is viewed as an institutional agent defining the rights and duties of its internal agents that act on behalf of it, and being involved in a number of interactions with external (and internal) agents, while an organizational information system is viewed as an artificial internal agent.
Coordonnée : Department Information & Technology, Faculty of Technology Management
Eindhoven University of Technology, Netherland
Diagnostic et fiabilité des systèmes - Application à une usine de traitement des eaux usées
Le lundi 17 mars 2003 à 10h00 - salle des Conférences au département GII, Polytech'Marseille, St Jérôme
Intervenant(s) : Nicolat Héraut
Résumé : L'instrumentation d'un système est soumise à des contraintes économiques et techniques qui empêchent la mise en place de capteurs partout où leur présence serait souhaitable, voire indispensable. Les nouvelles normes de sécurité et d'environnement dans le domaine de l'eau et, en particulier, dans l'épuration imposent un suivi et un contrôle plus poussés des processus employés pour le traitement ; les temps d'arrêt pour cause de pannes ou de maintenance ne doivent pas excéder 5% du temps de fonctionnement global de la station.Pour tenter d atteindre ces nouvelles exigences sur des sites existants, on cherche à améliorer la détection de défauts sur l instrumentation, à optimiser l utilisation du matériel existant et à augmenter la fiabilité de tout le processus.
Coordonnée : MDC HDR de l'univesité de Corse
Accommodation aux défauts capteurs et actionneurs
Le lundi 17 fevrier 2003 à 10h00 - DGII Polytech Marseille, Salle de Conférences
Intervenant(s) : Noura Hassan
Résumé : Les défauts pouvant affecter un système automatisé peuvent conduire à des situations catastrophiques. Une détection et une isolation rapide d'un éventuel défaut sont nécessaires mais ne suffisent pas à éviter ces situations. Une action doit être menée rapidement afin de compenser l'effet du défaut sur le système en modifiant sa loi de commande. Il sagit de laccommodation aux défauts.

Une définition et une classification de la reconfiguration des lois de commande et de la restructuration sont proposées. Les approches de reconfiguration présentées sont fondées sur une estimation en ligne de l'amplitude du défaut (capteur et actionneur) qui sert à calculer une nouvelle loi de commande ajoutée à la commande nominale permettant de pallier l'effet du défaut sur le système. L'application de ces méthodes sur un système pilote, (un système d'enroulement de bandes) illustre leurs capacités à s'accommoder aux défauts pouvant affecter ces systèmes ainsi que leurs limites.
Coordonnée : MDC HDR, Centre de Recherche en Automatique de Nancy
Commentaire : dans le cadre du pôle Diagnostic des systèmes
Un aperçu de l'informatique quantique
Le mardi 28 janvier 2003 à 14h00 - dans les locaux du LSIS à St Jérôme
Intervenant(s) : Jean-Luc Paillet
Résumé : Connaissez-vous le chat de Schrödinger ? Et quel rapport avec la résolution de problèmes difficiles ? Et quelle relation entre la téléportation quantique (???) et un cryptage incassable ? Nous sommes entourés continuellement, dans la vie courante, des applications de la mecanique quantique (portables, lecteurs lasers, ..;), dont certains aspects sont cependant tout a fait étrangers au sens commun. Pourtant, les aspects les plus étranges donnent lieu, actuellement, à une intense activite au sein de très nombreux centres de recherche, parmi les plus prestigieux, du monde entier. Cette recherche vise un nouveau mode de traitement de l'information numérique, qui devrait révolutionner complètement l'informatique. Nous donnerons dans cet exposé, un apercu des bases nécessaires à l'approche quantique du calcul, ainsi que de ses propriétés réellement extraordinaires, dues à l'utilisation systèmatique des superpositions cohérentes d'états, des états intriqués et des propriétés "non locales".
Les Bond Graphs : un outil pour la conception intégrée des systèmes commandés
Le jeudi 07 novembre 2002 à 15h00 - DGII Polytech Marseille, Salle de Conférences
Intervenant(s) : Sergio Junco
Résumé : L'outil BG est un langage graphique unifié pour tous les domaines de la physique et confirmé comme une approche structurée à la modélisation et simulation des systèmes pluridisciplinaires. La méthodologie est fondée sur les principes suivants :

1. la représentation de transferts énergétiques entre composants ou sous-systèmes à l'aide de liens de puissance portant des variables complémentaires, effort et flux, dont le produit est la puissance instantanée échangée,
2. une organisation en éléments passifs, éléments actifs, et éléments de jonction conservateurs de puissance qui forment la structure du modèle,
3. l'encapsulation dans les composants des lois mathématiques représentatives de leurs comportements interne et externe.
4. la visualisation graphique des couplages causaux entre composants à l'aide de traits représentant liens d'information.


Ces caractéristiques confèrent aux BG la spécificité d'un langage de modélisation « orienté objet ». La propriété primaire de non-causalité du formalisme permet d'accomplir séparément deux taches, d'abord cela de construire les modèles BG d'après la représentation physique original et, ensuite, cela de formuler des modèles mathématiques du système.

Outre la possibilité de dérivation des modèles mathématiques courants de l'automatisme (diagrammes en blocs, équations d'état, fonctions ou matrices de transfert, matrices de structure, etc.), la disponibilité simultanée de toute cette information permet :

1. l'analyse directe sur le BG des propriétés clés du système (stabilité interne, commandabilité, observabilité, détermination des sensibilités, entre outres) et, aussi,
2. la synthèse directe sur le BG de lois de commande tout en profitant de l'information énergétique, structurelle et causale y contenu, ce qui permet l'intégration des outils de l'automatique avancée (passivité, fonctions de Lyapunov, propriétés de l'interconnexion de systèmes non linéaires, «backstepping », inversion de modèles, platitude, découplage et linéarisation) et de la théorie des graphes (parcours de chemins, structure finie et à l'infini), et -très important envers les applications- des contraintes physiques sur le système.


L'ensemble des propriétés et techniques disponibles sur les BG habilite alors leur utilisation comme un outil efficace pour l'exécution de la multiplicité de tâches liées à la conception d'un système de commande, depuis la définition précise du cahier des charges jusqu'à la mise en eouvre sur prototype.


Le séminaire est organisé en deux séances, la première ayant pour sujet l'introduction au formalisme et la deuxième son application à l'analyse et la synthèse de lois de commande.

1ère Partie : Modélisation et Simulation BG de Systèmes Physiques (15 à 16 heures)
2ème Partie : Analyse et Synthèse BG de Systèmes de Commande (16.30 à 17.30 heures)
Coordonnée : Professeur Invité
Departamento de Electrónica
FCEIyA - UNR (Universidad Nacional de Rosario)
ROSARIO - ARGENTINA
Fichier de présentation : Les_Bond_Graphs__un_outil_pour_16.html
Conférence sur ses travaux de recherche
Le vendredi 25 octobre 2002 à 10h30 - site de St Jérôme - EPUM, salle de conférences
Intervenant(s) : Maria de Fatima Queiroz Vieira
Coordonnée : Les thèmes abordés seront :
- Petri net modelling of user interfaces
- Designing for usability
- LIHM presentation
Commentaire : Annonce commune MAP-LSIS
Dans le cadre d'une cooperation CAPES / COFECUB, le LSIS reçoit un chercheur Brésilien : Maria de Fatima Queiroz Vieira.
Lukasiewicz logic, substructural logics, and integer programming
Le vendredi 05 juillet 2002 à 14h30 - MAP, UMR CNRS-MCC N° 694, École d'Architecture de Marseille-Luminy, 2° étage, salle de réunion
Intervenant(s) : Nicola OLIVETTI
Résumé : Lukasiewicz logic is one of the best known system of infinite valued logic and it is one of the fundamental type of fuzzy logic. We introduce it by means of the Urquhart-Scott possible-world semantics.On the one hand, this semantical presentation makes apparent the relationship of Lukasiewicz logic with substructural logics (such as linear and relevance logic). On the other hand, this semantic presentation can be used to design a tableau decision procedure for this logical system. The tableau procedure reduces validity checking to (mixed) integer programming.
Coordonnée : Professeur à l'Université de Turin
Professeur associé à l'Université de la Méditerranée
Actuellement accueilli au LSIS et au MAP
Commentaire : Annonce commune MAP-LSIS
Pour toutes informations complémentaires prendre contact avec :
Mme Camilla SCHWIND au 04 91 82 71 90 ou Camilla.Schwind@gamsau.map.archi.fr
Application de la Maintenance Basée sur la Fiabilité aux
Le jeudi 04 juillet 2002 à 11h00 - salle de réunion du LSIS
Intervenant(s) : Fayçal BEN HMIDA
Résumé : Il s'agit d'une action industrielle menée au sein de la Société Nationale des Chemins de Fer Tunisien (SNCFT) pour élaborer et optimiser le programme de maintenance des moteurs diesel de locomotives (type General Motors turbocompressé de puissance 1650 CV, 8 cylindres en V).Pour cela, nous avons utilisé la démarche Maintenance Basée sur la Fiabilité (MBF). En effet, la MBF ou RCM(Reliability Centred Maintenance) est une démarche structurée et rationnelle qui a pour objectifs :· d'assurer un niveau de sécurité et de fiabilité intrinsèques ;· de rétablir la sécurité et la fiabilité opérationnelles à leurs niveaux intrinsèques lorsqu'une dégradation se produit ;· et d'assurer ces objectifs avec un coût minimal.La mise en oeuvre d'une telle démarche nécessite la réalisation des quatre phases suivantes :· sélection des équipements à étudier· analyse des défaillances fonctionnelles par la méthode AMDEC· élaboration d'un Plan de Maintenance Technique (PMT)· optimisation et retour d'expérienceDans cet exposé je vais m'intéresser plus particulièrement à la dernièrephase.
Coordonnée : Enseignant chercheur au CEREP-ESSTT -Université de Tunis
Centre de Recherche en Productique (CEREP)
Ecole Supérieure des Sciences et Techniques de Tunis (ESSTT)
Commande robuste: Application aux systèmes interconnectés
Le jeudi 04 juillet 2002 à 11h00 - salle de réunion du LSIS
Intervenant(s) : Larbi Radouane
Résumé : La commande robuste (régulation robuste) est définie en termes de robustesse par rapport aux incertitudes sur la modélisation d'un système donné, variations paramétriques, retard inconnu ou variable, bruits de mesures, dynamiques négligées ?

Dans le cas de systèmes interconnectés, exemple les réseaux électriques où chaque unité de production est commandée par un régulateur local, les interconnexions qui ne sont pas connues (distribution géographique ) augmentent la difficulté du problème de commande.
Le problème devient : comment synthétiser une loi de commande complètement décentralisée adaptative qui tient compte uniquement des informations locales.
Coordonnée : Professeur à la Faculté des sciences de Fès
Belief Revision And Conditionnal Logic
Le vendredi 21 juin 2002 à 14h30 - MAP, UMR CNRS-MCC N° 694, École d'Architecture de Marseille-Luminy, 2° étage, salle de réunion
Intervenant(s) : Nicola OLIVETTI
Résumé : Belief revision have been widely investigated in the last twenty years since the seminal work by Alchourron, Gärdenfors and Makinson (AGM theory). On the other hand, conditional logics were introduced in the Sisties by Stalnaker and Lewis to provide a formal theory of hypothetical reasoning. Establishing a correspondence between the two areas is interesting in both directions. For belief revision, as the correspondence may provide an object-level formalization. For conditional reasoning, as the correspondence can be used do express an intutive (and operational) semantics of conditional sentences dating back to F.P.Ramsey.The relation between the two concepts was formalized by Gärdenfors by means of the so-called Ramesy Test. However, Gärdenfors proved a famous negative result, known as "Gärdenfors Triviality result", according to which, no conditional logic can represent any signicant belief revision system via the Ramsey Test.Since Gärdenfors's negative result the problem of the Ramsey Test (whence, more generally, of the relation between belief revision and conditional logic) has been studied for more than fifteen years, stimulating a wide literature. In this seminar we show how we can reformulate the AGM postulates for belief revision systems that contain conditional formulas, by weakening the postulates in a natural way. Our reformulation allows us to establish a mapping between belief revision systems and conditionals by means of the Ramsey Test, without incurring in Gärdenfors' negative result. Moreover, we show that we can derive a system of conditional logic from the revision postulates by means of the RamseyTest itself. This logic provides an object-level formalization of belief revision in the language of conditional logic, as belief revision systems and models of this logic turns out to be isomorphic.
Coordonnée : Professeur à l'Université de Turin
Professeur associé à l'Université de la Méditerranée
Actuellement accueilli au MAP et au LSIS
Commentaire : Annonce commune MAP-LSIS
Pour toutes informations complémentaires prendre contact avec :
Mme Camilla SCHWIND au 04 91 82 71 90 ou Camilla.Schwind@gamsau.map.archi.fr
Modeling and Simulation of Hybrid Flow Systems
Le mercredi 19 juin 2002 à 14h30 -
Intervenant(s) : Fernando J. Barros
Coordonnée : Universidade de Coimbra
Dept. Eng. Informática
Coimbra, Portugal
Commentaire : Equipe organisatrice : COSI
Mots clés: hybrid systems, modeling, simulation
Génie logiciel à base d'agents
Le mardi 18 juin 2002 à 16h00 - LSIS - Site Polytech - GII
Intervenant(s) : Brahim CHAIB-DRAA
Résumé : Les ingénieurs et les concepteurs en charge de l'informatique ont aujourd'hui une meilleure compréhension de la complexité des logiciels. C'est ainsi qu'il est largement reconnu que l'interaction est probablement la caractéristique la plus importante au niveau d'un logiciel complexe.Les architectures logicielles qui contiennent plusieurs entités (agents) interagissant dynamiquement, chacune avec son propre processus de contrôle et communicant avec les autres aux moyens de protocoles, sont beaucoup plus difficiles à gérer que celles qui traitent une fonction au travers d'un processus de contrôle global et unique.Malheureusement, la plupart des applications réelles ont les caractéristiques d'un environnement multi-agents dans lesquels l'interaction, et plus particulièrement, la coordination et la négociation sont centrales. Comme conséquence, un champ de recherche majeur est né, ces dix dernières années, et vise à contribuer à cette problématique : les agents autonomes (appelés aussi systèmes multi-agents).Cette présentation introduira ce nouveau champs de recherche mettra l'accent sur les projets actuellement en cours au sein du groupe DAMAS (Dialogues, Agents et Systèmes Multi-agents) de l'Université LAVAL.
Coordonnée : Professeur titulaire
groupe DAMAS (Dialogues, Agents et Systèmes Multi-agents)
Département d'informatique et de génie logiciel
Université Laval, Québec - Canada.
Fichier de présentation : Gnie_logiciel__base_dagents_7.pdf
Modélisation multi-agents de chaînes logistiques : problématique du "coup de fouet"
Le jeudi 13 juin 2002 à 16h00 - LSIS - Site Polytech - GII
Intervenant(s) : Thierry MOYAUX
Coordonnée : Doctorant à l'Université LAVAL, Québec-Canada
Département d'informatique et de génie logiciel
groupe DAMAS - CENTOR (Dialogues, Agents et Systèmes Multi-agents)
Fichier de présentation : Modlisation_multi-agents_de_ch_5.pdf
Introduction à la simulation parallèle
Le mardi 21 mai 2002 à 14h00 -
Intervenant(s) : Gabriel Wainer et Carlton University
Commentaire : Equipe organisatrice : COSI
séminaire IetM : Les descripteurs de forme, application à la caractérisation de la dynamique pelvienne.
Le jeudi 01 janvier 1970 - ESIL (Luminy)
Intervenant(s) : Medhi RAHIM