Laboratory seminars

Thursday, 28 November 2024 (13h45-16h45), thesis defense of Richard Garreau (Doctorant, Université de Poitiers, LIAS) on "Contributions à l'analyse pire cas des réseaux embarqués temps réel", in A102 at ISAE-ENSMA.

Thursday, 05 December 2024 (13h00-14h00), research seminar of Hugo Koide (Doctorant, Michelin, LIAS) on "A Robust and Regularized Algorithm for Recursive Total Least Squares Estimation", in meeting room at ENSIP.
Abstract In this talk, a novel recursive total least squares (RTLS) algorithm that is grounded in a constrained Lagrange optimization of the errors-in-variables model is presented. The proposed RTLS method and its regularized counterpart are shown to be computationally efficient and produce robust estimates in the face of heavily unfavorable noise conditions, sub-optimal parametric initializations, and ill-conditioned input-output data. A Monte Carlo simulation study empirically demonstrates the improved stability and convergence properties of the proposed algorithms compared to the well-known recursive least squares algorithm, and a benchmark RTLS algorithm which is based on the minimization of the constrained generalized Rayleigh quotient. Furthermore, the applicability of the proposed method is validated with an experimental case study for online vehicle gear ratio estimation, high-lighting its relevance in industrial settings.

Wednesday, 11 December 2024 (10h00-13h00), thesis defense of Maxime Gaide (Doctorant, ISAE-ENSMA, LIAS) on "Modélisation et rejeu basés sur des règles", in A101 at ISAE-ENSMA.

Friday, 13 December 2024 (10h00-13h00), thesis defense of Maxime Perrot (Doctorant CIFRE, Bimedia, LIAS) on "Analyse explicable et personnalisable de données hétérogènes multi-niveaux: une approche guidée par l’apprentissage automatique et les ontologies", in A101 at ISAE-ENSMA.

Thursday, 17 October 2024 (13h00-14h00), research seminar of Antonin Rivier (Doctorant, Université de Poitiers, LIAS) on "Méthodes d’identification de systèmes commutés appliqués à un réseau de systèmes LTI", in meeting room at ENSIP.
Dans cette présentation, la problématique principale de ma thèse « Construction d’algorithmes pour le suivi de consommation électrique non intrusif industriel » sera amenée par description du contexte dans lequel elle s’inscrit. Elle introduit dans un premier temps les raisons d’effectuer le suivi de consommation individuel d’un bâtiment (i.e. suivre la consommation électrique de chaque appareil dans un même bâtiment), et quelles sont les techniques disponibles pour un tel suivi. Ce dernier point définit notamment les algorithmes de suivi non intrusif (Non-Intrusive Load Monitoring), qui permettent de suivre la consommation de plusieurs machines simultanément à l’aide d’un seul capteur. Les difficultés pour implémenter ces derniers dans le domaine industriel, (manque de données, systèmes à charges variables, etc.) seront également évoquées. Dans un second temps, la présentation portera sur des travaux de recherche menés actuellement sur ce sujet. L’objectif de ces derniers est d’appliquer des outils d’identification destinés aux systèmes commutés, en modélisant un réseau de systèmes électriques comme un unique système hybride. Le choix du modèle sera notamment mis en avant et des résultats de simulation seront présentés.

Wednesday, 25 September 2024 (13h00-14h00), research seminar of Guillaume Mercère (Professeur des Universités, Université de Poitiers, LIAS) on "Data enabled Predictive Control of LPV systems", in meeting room at ENSIP.

Tuesday, 03 September 2024 (14h30-15h00), research seminar of Pedro Luis Peres (Université de Campinas) and Valter J. S. Leite (Centro Federal de Educação Tecnológica de Minas Gerais) on "Some new facts on Robust Control", in meeting room at ENSIP.

Thursday, 27 June 2024 (14h00-15h00), research seminar of Lamisse Bouabdelli, Yasmine Ben Hammouda, Lokmane Lallouche, Ahmed Ouadie Khbebbed (Stagiaires, ISAE-ENSMA, LIAS) on "1 - Résoudre les problèmes d’incomplétude et de qualité des données 2 - Mise en œuvre d’une architecture 5G privée expérimentale 3 - Étude de l'efficacité énergétique des requêtes SPARQL 4 - On Understanding and Quantifying Uncertainty in Machine Learning", in meeting room at ISAE-ENSMA.

Thursday, 27 June 2024 (10h30-12h30), thesis defense of Ouissem Mesli (Doctorante CIFRE, SCADA, LIAS) on "Contribution à la validation opérationnelle de l’ordonnancement et de la génération de séquences de commande pour les systèmes SCADA industriels", in B464 at ISAE-ENSMA.

Thursday, 23 May 2024 (16h10-16h40), research seminar of Marwa Boulakbech on "Travaux de Recherche", in meeting room at ISAE-ENSMA.

Thursday, 23 May 2024 (15h35-16h05), research seminar of Loïc Adam on "Travaux de Recherche", in meeting room at ISAE-ENSMA.

Thursday, 23 May 2024 (15h00-15h30), research seminar of Alexandre CHANSON on "Travaux de Recherche", in meeting room at ISAE-ENSMA.

Wednesday, 22 May 2024 (16h35-17h05), research seminar of Maroua MASMOUDI on "Travaux de Recherche", in meeting room at ISAE-ENSMA.

Wednesday, 22 May 2024 (16h00-16h30), research seminar of Louise Parkin on "Travaux de Recherche", in meeting room at ISAE-ENSMA.

Thursday, 13 June 2024 (13h00-14h00), research seminar of Agostino Cembalo (Doctorant, ISAE-ENSMA, PPrime co encadrement Patrick Coirault) on "Innovative Real-Time aerodynamic drag optimization strategy for enhancing vehicles' energetic efficiency", in meeting room at ENSIP.

Thursday, 13 June 2024 (15h00-15h30), research seminar of Quentin Haenn (Doctorant, ISAE-ENSMA, LIAS) on "Clustering Under Radius Constraints Using Minimum Dominating Sets", in meeting room at ISAE-ENSMA.

Tuesday, 30 April 2024 (14h00-14h30), research seminar of Patrick Hung (Professor, Faculty of Business and Information Technology Ontario, Canada) on "From Anthropomorphic to Zoomorphic Social Robots: Our Experiences", in B266-267 at ISAE-ENSMA.

Thursday, 11 April 2024 (13h30-14h30), research seminar of Slimane Hammoudi (Enseignant-Chercheur HDR à ESEO Angers) on "Contribution à l'étude et à l'application de l'ingénierie dirigée par les modèles et les données", in meeting room at ISAE-ENSMA (file).

Thursday, 21 March 2024 (10h00-12h00), research seminar of Enrico Bini (Maître de conférences à l'Université de Turin, Italie) on "1) Cutting the Unnecessary Deadlines in EDF (publié à RTCSA, 2019, outstanding paper award) 2) Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture (publié à RTNS 2023)", in meeting room at ISAE-ENSMA.

Thursday, 14 March 2024 (13h00-14h00), research seminar of Olivier Bachelier (Professeur des Universités, Université de Poitiers, LIAS) on "En savoir plus sur la stabilité des modèles 2D", in meeting room at ENSIP.

Thursday, 07 March 2024 (14h30-14h45), of Nadir GUERMOUDI (Stagiaire, ISAE-ENSMA, LIAS) on "Selectivity Estimation for Spatial Filters using Optimizer Feedback: A Machine Learning Perspective", in meeting room at ISAE-ENSMA.

Thursday, 07 March 2024 (14h00-14h30), research seminar of Mathieu Chartier (Doctorant en histoire, Laboratoire Criham, Université de Poitiers, co-encadré par Stéphane Jean) on "Évaluation des capacités de réponse de larges modèles de langage (LLM) pour des questions d’historiens", in meeting room at ISAE-ENSMA (file).

Thursday, 22 February 2024 (14h00-15h00), research seminar of Alfredo Cuzzocrea (Professeur en informatique à l'Université de Calabre (Italie) et titulaire de la chaire d'excellence de 'Big Data Management and Analytics' à l'Université Paris Cité) on "Multi-Column OLAP over Clouds for Enhanced Big Data Analytics", in meeting room at ISAE-ENSMA (file).

Thursday, 11 January 2024 (13h00-14h00), research seminar of Omar Arahbi (Doctorant, Université de Poitiers, LIAS) on "Automatic Initialization, Model Selection, and Time Domain Impedance Identification for improved Li-ion Battery Characterization", in meeting room at ENSIP.
Electrochemical Impedance Spectroscopy (EIS) is a powerful tool for Li-ion battery analysis for Equivalent Circuit Model (ECM) selection. The impedance model is designed to describe low, middle, and high-frequency electrochemical processes involved. When considering low frequency restricted in the Warburg zone, diffusion impedance is modeled thanks to a Constant Phase Element (CPE) which behaves as a fractional integrator of order n close to 0.5. Phenomena occurring in the middle-frequency range are described by Zarc circuits, which combines a CPE with a resistor. Global impedance model parameters are estimated through a Complex Nonlinear Least Squares (CNLS) algorithm, requiring good initialization for convergence. We propose a method to analyze EIS data measurements in order to select automatically the number of middle frequency Zarc circuits required (one or two) and to initialize properly the CNLS algorithm. The method is validated with open-source EIS data. Despite EIS advantages, its drawback lies in time-consuming scans. Thus, chronopotentiometry (CP) is an alternative method which consists in identifying impedance parameters using an excitation current sequence lasting a few seconds and the corresponding induced voltage variations. An impedance fractional model different than the one used with EIS needs to be synthesized in order to allow simulation also in the time domain. The pertinence of CP is demonstrated using experimental results obtained with a Samsung 3.4 Ah Li-ion cell.

Thursday, 25 January 2024 (14h00-15h00), research seminar of Andrien Roberty (Doctorant, CEA, LIAS) on "Ordonnancement du trafic dans des réseaux déterministes grâce à l'apprentissage par renforcement", in meeting room at ISAE-ENSMA.

Wednesday, 20 December 2023 (14h00-16h00), thesis defense of Soulimane Kamni (Doctorant, ISAE-ENSMA, LIAS) on "Un Framework d'aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones", in B266/B76 at ISAE-ENSMA.

Monday, 27 November 2023 (13h30-16h00), Post-Doctoral Degree (Habilitation à Diriger des Recherches is a specific french degree) of Frédéric Ridouard (Maître de Conférence, ISAE-ENSMA, LIAS) on "Validation temporelle des réseaux embarqués temps réel", in A101 at ISAE-ENSMA.

Wednesday, 15 November 2023 (10h00-16h00), research seminar of Membres de l'équipe SETR de l'ISAE-ENSMA du LIAS et Sanjoy Baruah (Professeur, McKelvey School of Engineering at Washington University) on "Présentations de l'équipe temps réel pour la venue de Sanjoy Baruah", in meeting room at ISAE-ENSMA.

Tuesday, 14 November 2023 (10h00-11h00), thesis defense of Matheus Ladeira (Doctorant, ISAE-ENSMA, LIAS) on "Towards a Safe and Modular Architecture for Autonomous Drone Autopilots", in A101 at ISAE-ENSMA.

Wednesday, 08 November 2023 (10h00-12h00), research seminar of Robert Bitmead (Professeur à l'Institut Californien des télécommunications et de la technologie de l'information, Californie, USA) on "System identification for control of a CO2 laser", in Salle des Actes at ENSIP.
System identification for control involves the fitting of models to experimental data with a view to those models ultimately being used for feedback control design. This is a process of prioritizing aspects of the model fit to dovetail with the eventual control. Particularly, it needs to accommodate sensors, actuators, control objectives and system limitations. In this seminar, these issues are explored for a carbon dioxide laser in the production of Extreme Ultraviolet (EUV) light for photolithographic semiconductor chip manufacturing. Controlling the laser helps manage the energy dosage delivered to the semiconductor wafer elements, and therefore the yield from the process. The role of model structure selection and of data prefiltering in system identification is important to separating the controllable aspects from the strong disturbance process, which occurs outside a feasible bandwidth for control. The appreciation of the complex physical process is central to interpreting the data and the suitability of the model for its purpose. The system identification aspects are perhaps less exotic than is the EUV production process. But the two are closely tied together, notably in the interpretation of the data, which is rapidly sampled.

Monday, 13 November 2023 (14h00-15h00), research seminar of Emmanuelle Choiseau et Rémy Lérignier (Service Commun de Documentation [SCD] de l'Université de Poitiers) on "Atelier sur la base bibliographique HAL et sur l'importance du référencement des communications scientifiques", in meeting room at ENSIP.

Thursday, 16 November 2023 (14h00-15h00), research seminar of Emmanuelle Choiseau et Rémy Lérignier (Service Commun de Documentation [SCD] de l'Université de Poitiers) on "Atelier sur la base bibliographique HAL et sur l'importance du référencement des communications scientifiques", in meeting room at ISAE-ENSMA.

Tuesday, 10 October 2023 (10h00-13h00), thesis defense of Rosalie Rouphael (Doctorante, Université de Poitiers, LIAS) on "Optimisation de la production de l’énergie solaire photovoltaïque d’un système connecté - prise en compte d’irradiations contraintes et contrôle de la qualité des ondes électriques", in Salle des Actes at ENSIP.

Thursday, 21 September 2023 (14h00-14h30), of Tom Ambroise, Vincent Belpois, Tanguy Relo (Stagiaires, ISAE-ENSMA, LIAS) on "1 - Simulation distribuée avec Kubernetes 2 - Implémentation d'ordonnanceur sur carte embarquée hétérogène 3 - Ordonnancement hiérarchique", in meeting room at ISAE-ENSMA.

Tuesday, 27 June 2023 (9h30-11h00), thesis defense of Mohamad Chhaytle (Doctorant, Université de Poitiers, LIAS) on "Modélisation basée sur des équations aux dérivées partielles à paramètres variables pour les dynamiques de population", in Salle des Actes at ISAE-ENSMA.

Thursday, 29 June 2023 (16h30-17h00), research seminar of on "Environnements de développement à distance. Solutions existantes ? Présentation d'Onyxia", in meeting room at ISAE-ENSMA.
Les Environnements de développement à distance proposent la possibilité d’éditer son code logiciel directement depuis un navigateur. L’ensemble des outils de la chaîne de compilation est alors déporté sur le serveur. Ils permettent donc de fournir un environnement de développement distant prêt à l’emploi et de réduire les problèmes d’installation et de configuration du poste de développeur dus à l’hétérogénéité des architectures et des logiciels manipulés. Dans ce séminaire, nous présenterons les solutions existantes et nous détaillerons Onyxia, une solution open source développée par l'INSEE pour ses collaborateurs. Une démonstration sera proposée pour se faire une idée des possibilités de ce type de solution.

Thursday, 15 June 2023 (12h30-13h30), research seminar of Patrice Remaud (Professeur agrégé de physique appliquée, Université de Poitiers, ENSIP) on "Quel est le lien entre l’hypothèse de Riemann, les nombres premiers, les nombres complexes, le code RSA et le processeur quantique ?", in meeting room at ENSIP.

Thursday, 30 March 2023 (14h30-15h00), research seminar of Joël Goossens (Professeur à l'Université Libre de Bruxelles, Belgique 🇧🇪) on "Simulation intervals and models for uniprocessor real-time schedulers with preemption delays", in meeting room at ISAE-ENSMA.

Thursday, 16 March 2023 (12h30-13h30), research seminar of Guillaume Mercère (Maître de Conférences HDR, Université de Poitiers, LIAS) on "Noise covariance matrix estimation with subspace model identification for Kalman filtering", in meeting room at ENSIP.

Thursday, 16 March 2023 (14h00-14h30), research seminar of Kheireddine Choutri (Enseignant/Chercheur, Institut d'Aéronautique et des Etudes Spatiales, Université Blida1, Blida, Algérie) on "Utilisation de l'Intelligence Artificielle pour le contrôle autonome et la coordination d'essaims de drones", in meeting room at ISAE-ENSMA.

Thursday, 09 March 2023 (14h00-14h30), research seminar of Maxime Gaide (Doctorant, ISAE-ENSMA, LIAS) on "Détection statique des modifications topologiques dans les opérations de modélisation géométrique", in meeting room at ISAE-ENSMA.

Wednesday, 08 February 2023 (16h00-16h30), research seminar of Mansouri Douelkefel (Enseignant/Chercheur à l'Université de Tiaret, Algérie 🇩🇿) on "mFILS: Tri-selection via Convex and Nonconvex Regularizations", in meeting room at ISAE-ENSMA.

Thursday, 12 January 2023 (12h30-13h30), research seminar of Frédéric Launay (Maître de Conférences, IUT Poitiers département Réseaux et TélécomsUniversité de Poitiers, LIAS) on "Dimensionnement d'une station de base 5G - Les indicateurs de performances", in meeting room at ENSIP.

Thursday, 15 December 2022 (12h30-13h30), research seminar of Guillaume Mercère (Maître de Conférences HDR, Université de Poitiers, LIAS) on "Utilisation du filtre de Kalman et ses réglages pour l'estimation du potentiel d'adhérence des véhicules", in meeting room at ENSIP.

Monday, 28 November 2022 (14h00-15h00), research seminar of Juan Francisco Mendez (Enseignant/Chercheur à UPAEP – Université de Puebla au Mexique) on "Convertisseurs DC/DC et la gestion des énergies", in meeting room at ENSIP.

Thursday, 24 November 2022 (14h00-15h00), research seminar of Alexandre Rigaud (Doctorant, Université de Poitiers, LIAS) on "Analyse des notions de stabilité pour les modèles 2D de Roesser et de Fornasini-Marchesini", in meeting room at ENSIP.
Cette thèse présente les résultats de travaux sur les différentes notions de stabilité utilisées dans la littérature des systèmes dynamiques multidimensionnels. Plus précisément, dans le cadre des modèles 2D de Roesser et de Fornasini-Marchesini, nous analysons les notions de stabilité au sens de Lyapunov, stabilité asymptotique, stabilité(s) exponentielle(s) et stabilité structurelle, ainsi que les relations entre ces différentes propriétés. Le premier chapitre de ce mémoire effectue un certain nombre de rappels concernant les définitions de stabilité et les liens qui existent entre celles-ci, dans le but d'établir un cadre solide en vue d'étendre ces notions du cas 1D au cas 2D. Une fois ces rappels établis, nous présentons les modèles 2D que nous étudions. Le deuxième chapitre dresse la liste des définitions de stabilité utilisées pour les modèles 2D de Roesser et de Fornasini-Marchesini et établit les liens entre ces différentes définitions. Au cours du troisième chapitre, nous proposons une condition nécessaire et suffisante de stabilité asymptotique pour une certaine classe de modèles de Fornasini-Marchesini 2D discrets linéaires. Le quatrième et dernier chapitre propose une étude détaillée d'un modèle 1D non-linéaire qui possède la particularité rare d'être à la fois attractif et instable, et nous généralisons ce modèle particulier au cas 2D afin d'établir quelles propriétés se conservent ou non lorsque l'on passe du cas 1D au cas 2D.

Thursday, 27 October 2022 (14h00-14h30), research seminar of Nour El Imane Hamda (Doctorante de l'Université de Blida en échange Bourse Erasmus) on "Fusion de données multicapteurs dans l'Internet des objets", in meeting room at ISAE-ENSMA.

Thursday, 09 June 2022 (14h00-15h00), research seminar of Charles Poussot Vassal (Directeur de Recherche, ONERA) on "Reduced order dynamical model construction... from theory to numerics", in meeting room at ENSIP.
Dynamical models are central mathematical objects for simulation, optimization, control and understanding of a wide range of phenomenon and processes. One key objective is to develop methods to construct representative but yet simple models of the system of interest, easy to manipulate and to store. In this talk these points are addressed through the lens of model approximation and realization frameworks, involving rational function interpolatory methods. Focus is given on so-called data-driven approaches, where realisation and identification naturally meet. Different applications coming from real life applications, involving in pollutants diffusion modelling (coll. CERFACS/Météo France) and energy management simulation (coll. EDF) will be presented (more are also available for discussion).

Thursday, 02 June 2022 (15h45-16h00), research seminar of Samy Hendel (Stagiaire, ISAE-ENSMA, LIAS) on "Outil d'aide à la compréhension de requêtes sur bases de connaissances volumineuses", in meeting room at ISAE-ENSMA.

Thursday, 02 June 2022 (15h30-15h45), research seminar of Abdenour Bennantar / Yousra Bezza (Stagiaires, ISAE-ENSMA, LIAS) on "Mise en œuvre de pipelines d'apprentissage automatique dans un ERP - Odoo", in meeting room at ISAE-ENSMA.

Thursday, 07 April 2022 (15h30-16h30), research seminar of Matheus Ladeira (Doctorant, ISAE-ENSMA, LIAS) on "Amélioration de la télémétrie de Paparazzi par l'ordonnancement des messages", in meeting room at ISAE-ENSMA.
Pour éviter une surcharge de la télémétrie, l'autopilote Paparazzi distribue l'envoi des messages périodiques dans le temps en utilisant une méthode d'affectation d'offsets. Cette méthode, malgré son implémentation simple, est sous-optimale. Avec le support de la Théorie de l'Ordonnancement, il a été possible de trouver une méthode plus adaptée aux besoins du système. La nouvelle méthode peut être aussi adaptée à l'ordonnancement des tâches périodiques dans un système non-préemptible. Les résultats de son utilisation sur des jeux de messages générés aléatoirement et sur un cas d'étude réel montrent qu'elle peut trouver un meilleur ensemble d'offsets que les méthodes existantes actuellement.

Wednesday, 17 November 2021 (15h30-16h30), research seminar of Richard Garreau (Doctorant, Université de Poitiers, LIAS) on "Évaluation temporelle dans les normes TSN (Time Sensitive Networking)", in meeting room at ISAE-ENSMA.

Wednesday, 06 October 2021 (14h00-15h00), research seminar of Soukaina Ihirri (ATER, ISAE-ENSMA, LIAS) on "Algorithmes parallèles pour le traitement d'images et de données massives issues d'environnements IoT denses", in meeting room at ISAE-ENSMA.

Thursday, 08 July 2021 (14h00-16h00), thesis defense of Simon Pierre Dembele (Doctorant / ATR, Université de Poitiers, LIAS) on "Auditer l'énergie - Avant de déployer ses modèles - vers des optimiseurs verts de requêtes analytiques", in video conferencing at ISAE-ENSMA.

Thursday, 01 July 2021 (13h30-16h00), Post-Doctoral Degree (Habilitation à Diriger des Recherches is a specific french degree) of Stéphane Jean (Maître de Conférence, Université de Poitiers, LIAS) on "La sémantique - une valeur ajoutée pour la conception et l'exploitation des données", in video conferencing at ISAE-ENSMA.

Thursday, 11 March 2021 (15h00-15h30), research seminar of Seif Eddine Benkabou (Maître de Conférences, Université de Poitiers, LIAS) on "Détection des anomalies dans les séries temporelles", in video conferencing at ISAE-ENSMA.
La détection d'anomalies est une tâche cruciale qui suscite l'intérêt de plusieurs travaux de recherche dans les communautés d'apprentissage automatique et fouille de données. La complexité de cette tâche dépend de la nature des données, de la disponibilité de leur étiquetage et du cadre applicatif dans lequel elles s'inscrivent. Le terme "anomalie" peut désigner une observation qui s'écarte des autres observations au point d'éveiller des soupçons. De façon plus générale, la problématique sous-jacente (aussi appelée détection de nouveautés ou détection de valeurs aberrantes) vise à identifier, dans un ensemble de données, celles qui diffèrent significativement des autres, qui ne se conforment pas à un "comportement attendu" (à définir ou à apprendre automatiquement), et qui indiquent un processus de génération différent. Les motifs "anormaux" ainsi détectés se traduisent souvent par de l'information critique. Dans ce séminaire, nous nous intéressons à la détection non-supervisée des anomalies dans les séries temporelles, et plus particulièrement à deux aspects importants. Le premier est global et consiste à identifier des séries anormales par rapport à une base entière. Le second est dit contextuel et vise à détecter localement, des points (timestamp) anormaux par rapport à la structure de la série étudiée. Ainsi, nous vous présentons des approches d'optimisation à base de clustering pondéré et de déformation temporelle pour la détection globale ; et une approche à base de reconstruction et d'analyse résiduelle pour la détection contextuelle.

Tuesday, 12 January 2021 (15h00-17h00), thesis defense of Jorge Galicia (Doctorant, ISAE-ENSMA, LIAS) on "Revisiting Partitioning for Scalable RDF Graph Processing", in video conferencing at ISAE-ENSMA.

Thursday, 08 October 2020 (10h00-13h00), thesis defense of Abdallah Khelil (Doctorant, ISAE-ENSMA, LIAS) on "Gestion et optimisation des données massives issues du Web", in video conferencing at ISAE-ENSMA.

Friday, 10 July 2020 (09h30-12h00), thesis defense of Thanh Dat Nguyen (Doctorant, ISAE-ENSMA, LIAS) on "Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles", in video conferencing at ISAE-ENSMA.

Thursday, 07 May 2020 (13h30-14h30), research seminar of Guillaume Mercère (Maître de Conférences, Université de Poitiers, LIAS) on "Fifty shades of grey box model identification", in meeting room at ENSIP.

Thursday, 12 March 2020 (13h30-14h30), research seminar of Erik Etien (Maitre de Conférences, Université de Poitiers, LIAS) on "Activités diverses (LabCom, etc.)", in meeting room at ENSIP.

• présentation des activités de la bulle CASH (Contrôle Actif et Systèmes Harmoniques) - LabCom IONESCO ;
• aspects recherches fondamentales - capteurs logiciels, systèmes non stationnaires, modélisations angle/temps ;
• aspects appliqués - usine du futur 4.0, diagnostic, NILM.

Wednesday, 19 February 2020 (13h30-14h00), research seminar of Jorge Galicia (Doctorant, ISAE-ENSMA, LIAS) et Mohamed Tribak (Doctorant CIFRE, SRD, LIAS) on "Retour d'expérience sur la participation au Hackaviz sur les données ouvertes de Grand Poitiers", in meeting room at ISAE-ENSMA.

Thursday, 13 February 2020 (13h30-14h30), research seminar of Nima Yeganefar (Maitre de Conférences, Université de Poitiers, LIAS) on "Fifty shades of stability definitions", in meeting room at ENSIP.

Thursday, 19 December 2019 (15h00-16h00), research seminar of Elhadi Belghache (ATER, IUT GEA de Poitiers, LIAS) on "Analyse dynamique de grandes masses de données par Systèmes Multi-Agents Adaptatifs", in meeting room at ENSIP.
L'ère des grandes masses de données (Big Data) nous a mis face à de nouvelles problématiques de gestion et de traitement des données. Les outils conventionnels actuels d'analyse sont maintenant proches de répondre aux problématiques actuelles et de fournir des résultats satisfaisants avec un coût raisonnable. Mais la vitesse à laquelle les nouvelles données sont générées et la nécessité de gérer les modifications de ces données à la fois dans le contenu et la structure conduisent à de nouvelles problématiques émergentes. La théorie des AMAS (Adaptive Multi-Agent Systems) propose de résoudre par autoorganisation des problèmes complexes pour lesquels aucune solution algorithmique n'est connue. Le comportement coopératif des agents permet au système de s'adapter à un environnement dynamique pour maintenir le système dans un état de fonctionnement adéquat. Les systèmes ambiants présentent un exemple typique de système complexe nécessitant ce genre d'approche, et ont donc été choisis comme domaine d'application pour notre travail. Cette thèse vise à explorer et décrire comment la théorie des Systèmes Multi-Agents Adaptatifs peut être appliquée aux grandes masses de données en fournissant des capacités d'analyse dynamique, en utilisant un nouvel outil analytique qui mesure en temps réel la similarité des évolutions des données. Cette recherche présente des résultats prometteurs et est actuellement appliquée dans l'opération neOCampus, le campus ambiant de l'Université Toulouse III.

Tuesday, 10 December 2019 (14h00-16h00), thesis defense of Ibrahim Dellal (Doctorant, ISAE-ENSMA, LIAS) on "Gestion et exploitation de larges bases de connaissances en présence de données incertaines et incomplètes", in A101 at ISAE-ENSMA.

Thursday, 28 November 2019 (15h00-15h30), research seminar of Houssameddine Yousfi (Doctorant, ISAE-ENSMA, LIAS) on "Spatial data processing in the era of big data", in meeting room at ISAE-ENSMA.

Thursday, 21 November 2019 (15h00-15h30), research seminar of Sérgio Lifschitz (Professeur, Université Pontificale Catholique de Rio de Janeiro) on "An Overview of Outertuning, a Framework for (Self)Tuning Actions based on a Tuning Ontology", in meeting room at ISAE-ENSMA.

Thursday, 07 November 2019 (15h00-15h30), research seminar of Vincent Mussot (Doctorant CIFRE, Michelin, LIAS) on "Kalman filtering and data fusion for roadholding estimation", in meeting room at ENSIP.

Thursday, 24 October 2019 (15h00-15h30), research seminar of Abdallah Khelil (Doctorant, ISAE-ENSMA, LIAS) on "Should we be afraid of querying billions of triples in a graph-based centralized system?", in meeting room at ISAE-ENSMA.

Thursday, 05 September 2019 (14h00-15h00), research seminar of Régis Ouvrard (Maître de Conférences, Université de Poitiers, LIAS) on "Projet IBIS - Impacts sur la Biodiversité, l’approche Identification de systèmes pour la Simulation de scénarios agricoles", in meeting room at ENSIP.

Friday, 05 July 2019 (09h30-10h00), research seminar of Antoine Bertout (Maître de Conférences, Université de Poitiers, LIAS) on "Ordonnancement global sur plateforme multiprocesseur hétérogène", in meeting room at ISAE-ENSMA.

Thursday, 20 June 2019 (15h00-15h30), research seminar of Soulimane Kamni (Doctorant, ISAE-ENSMA, LIAS) on "Model-Based Multi-Objective Optimization Framework for Critical Real Time Systems", in meeting room at ISAE-ENSMA.

Tuesday, 11 June 2019 (14h00-16h00), thesis defense of Amna Abidi (Doctorant, ISAE-ENSMA, LIAS) on "Imperfect RDF Databases - From Modelling to Querying", in A101 at ISAE-ENSMA.

Tuesday, 11 June 2019 (10h30-12h30), thesis defense of Fatma Bousnina (Doctorant, ISAE-ENSMA, LIAS) on "Modeling and Querying Evidential Databases", in A102 at ISAE-ENSMA.

Thursday, 06 June 2019 (15h00-15h30), research seminar of Mickaël Baron (Ingénieur de Recherche, ISAE-ENSMA, LIAS) on "Utiliser une baleine bleue (Docker) au LIAS, à quoi ça peut servir ?", in meeting room at ISAE-ENSMA (file).

Tuesday, 30 April 2019 (10h00-11h00), research seminar of Faiez Zalila (Post-doctorant, INRIA Lille) on "Méthodes et outils pour l'intégration des activités de vérification et validation (V&V) dans les langages dédiés de modélisation", in meeting room at ISAE-ENSMA.

Tuesday, 30 April 2019 (11h00-12h00), research seminar of Abderrahim Ait Wakrime (Post-doctorant, IRT Railenium) on "Méthodes formelles pour la spécification et la vérification des systèmes distribués", in meeting room at ISAE-ENSMA.

Tuesday, 30 April 2019 (14h00-15h00), research seminar of Mohammed El Malki (Enseignant, ENSAI Bruz) on "Les entrepôts des données dans l'ère du big data", in meeting room at ISAE-ENSMA.

Thursday, 02 May 2019 (15h00-16h00), research seminar of Houssam Zahaf (Post-doctorant, CRIStAL) on "Les entrepôts des données dans l'ère du big data", in meeting room at ISAE-ENSMA.

Thursday, 20 December 2018 (10h45-13h30), thesis defense of Anh Toan Bui Long (Doctorant, CRIStAL) on "Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de leur performance temporelle", in A102 at ISAE-ENSMA.

Thursday, 13 December 2018 (15h00-16h00), research seminar of Marwene Kechiche (Doctorant, ENISE) on "Localisation 3D dans un environnement quelconque sans apprentissage pour les applications de réalité virtuelle et augmentée", in A102 at ISAE-ENSMA.

Saturday, 15 December 2018 (14h00-15h00), research seminar of Mustapha Lebbah (Maître de Conférences, LIPN) on "Vers de nouveaux défis en apprentissage automatique et en science des données", in meeting room at ISAE-ENSMA.
L'exposé est consacré à l'analyse des données massives pour lesquelles la représentation classique des variables a des limites. Il existe actuellement un nombre conséquent de méthodes de clustering, mais elles ne s'adaptent pas toujours aux particularités de certains types de données (catégorielles, binaires, mixtes, séquences, flux, ...). L'exposé abordera des travaux récents sur l'apprentissage non supervisé scalable en utilisant les nouveaux paradigmes (Mapreduce...). En plus des difficultés soulevées par la variété des données dans la mouvance du Big data et science des données accompagnées par des plateformes nouvelles qui offrent un accès facile et lisible à l'information relationnelle, de nouveaux défis en apprentissage statistique sont ouverts

Friday, 12 October 2018 (13h45-15h45), thesis defense of Cyrille Ponchateau (Doctorant, ISAE-ENSMA, LIAS) on "Conception et exploitation d’une base de modèles - application aux data sciences", in B464 at ISAE-ENSMA.

Thursday, 11 October 2018 (15h00-16h00), research seminar of Abdelkader Hameurlain (Professeur des Universités, IRIT) on "Data Management Systems for Big Data Applications - Evolution, State of the Art and Open Issues", in meeting room at ISAE-ENSMA (file).
In the landscape of database management systems, data analysis systems (OLAP) and transaction processing systems (OLTP) are separately managed. The reasons for this dichotomy are that both systems have very different functionalities, characteristics and requirements. My talk will focus on the first class of OLAP systems. The purpose of this talk is twofold - (i) to provide a synthetic state of the art concerning data management systems, and (ii) how can the evolution of these systems help for big data applications. In this perspective, data management based on parallel and cloud systems will be overviewed and compared by relying on fundamental criterion such as Software Requirements (Data Independence, Software Reuse), High Performance, Data Availability, Scalability and Elasticity. With respect to the state of the art and qualitative/quantitative comparative studies between Parallel DBMS (PDBMS) and Big Data Management Systems (BDMS), we try to learn some lessons and point out some open issues that should be tackled to ensure the viability of the next generation of large-scale data management systems for big data applications

Friday, 07 September 2018 (14h30-16h30), thesis defense of Nassima Benammar (Doctorante, ISAE-ENSMA, LIAS) on "Modélisation, évaluation et validation des systèmes temps réel distribués", in A102 at ISAE-ENSMA.

Thursday, 13 September 2018 (15h00-16h00), research seminar of Jorge Galicia Auyón (Doctorante, ISAE-ENSMA, LIAS) on "Big Data et passage à l'échelle - vers une nouvelle approche de partitionnement intelligente et efficace", in meeting room at ISAE-ENSMA (file).

Thursday, 01 March 2018 (15h00-16h00), research seminar of Simon Pierre Dembele (Doctorante, ISAE-ENSMA, LIAS) on "Modèles de coût analytiques pour le traitement parallèle des requêtes", in meeting room at ISAE-ENSMA (file).

Thursday, 21 December 2017 (15h00-16h00), research seminar of Anh Toan Bui Long (Doctorante, ISAE-ENSMA, LIAS) on "De la modélisation à l'analyse des systèmes temps-réel - contributions au projet Waruna", in meeting room at ISAE-ENSMA (file).

Thursday, 07 December 2017 (16h00-17h00), research seminar of Anaïs Cardot (Doctorante, Université de Poitiers, XLIM) on "Nommage persistant à base de règles pour le rejeu d'opérations géométriques à base topologique", in meeting room at ISAE-ENSMA (file).

Monday, 27 November 2017 (10h00-12h00), research seminar of Zahira Chouiref (Doctorante, ISAE-ENSMA, LIAS) on "Contribution à l'étude de l'optimisation de requêtes de services Web - une approche centrée utilisateur", in meeting room at ISAE-ENSMA.

Thursday, 26 October 2017 (14h00-14h30), research seminar of Thanh Dat Nguyen (Doctorante, ISAE-ENSMA, LIAS) on "Une approche pour choisir le bon test pour une conception de système basée sur référentiel d'analyses", in meeting room at ISAE-ENSMA (file).

Thursday, 12 October 2017 (10h30-12h00), thesis defense of Yves Mouafo (Doctorante, Université de Poitiers, LIAS) on "Robustesse des Applications Temps-Réels Multicoeurs - Techniques de Construction d'un Ordonnancement Équitable Tolérant aux Pannes Matérielles", in A101 at ISAE-ENSMA.

Friday, 22 September 2017 (14h00-16h00), research seminar of Yves Mouafo (Doctorante, Université de Poitiers, LIAS) on "La Robustesse des Applications Temps-Réels Multicoeurs - Techniques de Construction d'un Ordonnancement Équitable Tolérant aux Pannes Processeurs", in meeting room at ISAE-ENSMA.

Friday, 15 September 2017 (14h00-16h00), thesis defense of Saida Elmi (Doctorante, ISAE-ENSMA, LIAS) on "An Advanced Skyline Approach for Imperfect Data Exploitation and Analysis", in A101 at ISAE-ENSMA.

Friday, 15 September 2017 (14h00-16h00), thesis defense of Zouhir Djilani (Doctorant, ISAE-ENSMA, LIAS) on "Donner une autre vie à vos besoins fonctionnels - approche dirigée par l'entreposage et l'analyse en ligne", in A101 at ISAE-ENSMA.

Monday, 03 July 2017 (10h00-13h00), thesis defense of Lahcène Brahimi (Doctorant, ISAE-ENSMA, LIAS) on "Données de tests non fonctionnels de l'ombre à la lumière - une approche multidimensionnelle pour déployer une base de données", in A102 at ISAE-ENSMA.

Friday, 30 June 2017 (14h00-14h30), research seminar of Nassima Benammar (Doctorante, Université de Poitiers, LIAS) on "Forward end-to-end delay analysis extension with FP/FIFO in the AFDX context", in meeting room at ISAE-ENSMA.

Thursday, 18 May 2017 (13h00-13h25), research seminar of Amna Abidi (Doctorante invitée) on "Advanced Models for Graph Data Exploitation and Analysis", in meeting room at ISAE-ENSMA (file).
Resource Description Framework (RDF) data come from various sources whose reliability is sometimes questionable. To control information trustworthiness, new metrics were introduced in RDF representation to express intention of information provider about information trust. As a first part of our PhD project we tackled the skyline problem, which consists in extracting the most interesting trusted resources according to user-defined criteria. For our second contribution, we gave the trust measure a semantic by using the Possibility theory to model uncertain RDF data

Thursday, 18 May 2017 (13h25-13h50), research seminar of Fatma Ezzahra Bousnina (Doctorante invitée) on "Modeling and Querying Evidential Databases", in meeting room at ISAE-ENSMA (file).
Theory of evidence represents a powerful tool to model imperfect information. Evidential databases allow storage of information modeled with this theory. Our work is about the modelization of evidential databases in two forms (the compact and the possible worlds' ones) and querying it in the aim of validating the evidential model

Thursday, 04 May 2017 (13h30-14h00), research seminar of Quentin Riché-Piotaix (Doctorant, Université de Poitiers, LIAS) on "Construction d'une ontologie par programmation basée sur l'exemple", in meeting room at ISAE-ENSMA (file).

Thursday, 04 May 2017 (13h00-13h45), research seminar of Chourouk Belheouane (Doctorant invitée) on "Réponses Coopératives dans le Contexte des Bases de Données Incertaines", in meeting room at ISAE-ENSMA.

Monday, 30 January 2017 (10h00-13h00), thesis defense of Olga Goubali (Doctorante CIFRE, Segula, LIAS) on "Apport de la programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande", in A101 at ISAE-ENSMA.

Tuesday, 13 December 2016 (10h00-13h00), thesis defense of Selma Bouarar (Doctorante, ISAE-ENSMA, LIAS) on "Vers une conception logique et physique des bases de données avancées dirigée par la variabilité", in A101 at ISAE-ENSMA.

Monday, 12 December 2016 (10h00-13h00), thesis defense of Nadir Guetmi (Doctorant, ISAE-ENSMA, LIAS) on "Modèles de conception pour des applications collaboratives mobiles dans le Cloud", in A101 at ISAE-ENSMA.

Monday, 12 December 2016 (10h00-13h00), thesis defense of Ahcene Boukorca (Doctorant, ISAE-ENSMA, LIAS) on "Hypergraphs in the service of very large scale query optimization - Application - data warehousing", in A101 at ISAE-ENSMA.

Monday, 21 November 2016 (10h00-13h00), thesis defense of Géraud Fokou (Doctorant, ISAE-ENSMA, LIAS) on "Conception d'un Framework pour la relaxation des requêtes SPARQL", in A101 at ISAE-ENSMA.

Thursday, 10 November 2016 (15h45-16h30), research seminar of Abdelkim Ali Zazou (Doctorant CIFRE, SRD, LIAS) on "Reconfiguration du réseau électrique de distribution basé sur le problème du flot à coût minimum", in meeting room at ISAE-ENSMA.

Thursday, 10 November 2016 (15h00-15h30), research seminar of Abdelkim Ali Zazou (Doctorant CIFRE, SRD, LIAS) on "Management and Exploitation of Large and Uncertain Knowledge Bases", in meeting room at ISAE-ENSMA.
With the development of numerous Semantic Web applications, several larges Knowledge Bases (KBs) have recently been created and are available on the Web. An important characteristic of these KBs is that they contain a large number of uncertain data (e.g., Knowledge Vault contains 1.6 billion instance associated with probabilities of fact correctness). The causes for this uncertainty are multiple and diverse. It may result from the integration of data sources that have different levels of confidence. It may also be related to confidentiality, lack of information, evolution of data or limits of measure equipment. The tackles the issue of intelligent exploitation of uncertain KBs. My contributions cover the representation of uncertain knowledge as well as proposing some techniques to facilitate the management and exploitation of uncertain KB

Wednesday, 19 October 2016 (14h30-15h30), research seminar of Yves Mouafo (Doctorant, Université de Poitiers, LIAS) on "Tolérance aux pannes des systèmes temps-réel multicœurs ordonnancée par un algorithme équitable", in meeting room at ISAE-ENSMA (file).

Friday, 23 September 2016 (10h00-13h00), thesis defense of Guillaume Phavorin (Doctorant, Université de Poitiers, LIAS) on "Hard Real-Time Scheduling subjected to Cache-Related Preemption Delays", in A101 at ISAE-ENSMA.

Monday, 11 July 2016 (14h00-14h45), research seminar of Cyrille Ponchateau (Doctorant, ISAE-ENSMA, LIAS) on "Time Series representations - a state-of-the-art", in meeting room at ISAE-ENSMA (file).
Avec l’émergence et la multiplication des applications du Web sémantique, de nombreuses et récentes larges bases de connaissances (BC) sont disponibles sur le Web. Une caractérisation essentielle de ces BC est qu’elles contiennent des millions à des billions de données incertaines. Les causes de cette incertitude sont diverses et multiples. Elle peut résulter de l’intégration de sources de données de différents niveaux de fiabilité ou elle peut être causée par des considérations de préservation de la confidentialité. Aussi, elle peut être due à des facteurs liés au manque d’informations, à la limitation des équipements de mesures ou à l’évolution d’informations

Thursday, 30 June 2016 (14h45-15h30), research seminar of Mickaël Baron (Ingénieur de Recherche, ISAE-ENSMA, LIAS) on "l'intégration continue au LIAS", in meeting room at ISAE-ENSMA (file).

Thursday, 30 June 2016 (14h45-15h30), research seminar of Saida Elmi (Doctorante, ISAE-ENSMA, LIAS) on "Skyline Analysis over Uncertain Data", in meeting room at ISAE-ENSMA.

Wednesday, 29 June 2016 (14h00-14h30), research seminar of Nassima Benammar (Doctorante, Université de Poitiers, LIAS) on "Tighter buffer dimensioning in AFDX networks", in meeting room at ISAE-ENSMA (file).

Tuesday, 17 May 2016 (10h00-11h00), research seminar of Sabeur Aridhi on "Big Graph Analytics - Frameworks and Techniques", in meeting room at ISAE-ENSMA.

Tuesday, 17 May 2016 (11h00-12h00), research seminar of Rouaa Wannous on "Connaissances des données en utilisant des propriétés spatio-temporelles", in meeting room at ISAE-ENSMA.

Tuesday, 17 May 2016 (14h00-15h00), research seminar of Angelo Furno on "Mining Human Behaviors from Large-scale Datasets", in meeting room at ISAE-ENSMA.

Tuesday, 17 May 2016 (15h00-16h00), research seminar of Amin Mesmoudi on "Mining Human Behaviors from Large-scale Datasets", in meeting room at ISAE-ENSMA.

Tuesday, 03 May 2016 (10h00-11h00), research seminar of Lucile Sautot on "Conception et implémentation semi-automatique des entrepôts de données - application aux données écologiques", in B310 at ISAE-ENSMA.

Tuesday, 03 May 2016 (10h00-11h00), research seminar of Radu Ciucanu (Post-doctorant, University of Oxford) on "Intégration de données hétérogènes et compressées", in meeting room at ISAE-ENSMA.

Tuesday, 03 May 2016 (09h00-10h00), research seminar of Nicolas Dugué (Post-doctorant, Loria) on "Outils d'apprentissage automatiques pour analyser une base de publications", in meeting room at ISAE-ENSMA.

Monday, 02 May 2016 (15h00-16h00), research seminar of Marouane Hachicha (Post-doctorant, Université de Nantes, LINA) on "Modélisation et analyse de données multidimensionnelles, analyse des graphes et crowdsourcing dans un objectif d'aide à la décision", in meeting room at ISAE-ENSMA.

Monday, 02 May 2016 (14h00-15h00), research seminar of Julien Aligon (Post-doctorant, Université de Nantes, LINA) on "Analyse de traces et systèmes centrés utilisateur", in meeting room at ISAE-ENSMA.

Wednesday, 30 March 2016 (14h00-15h00), research seminar of Lahcène Brahimi (Doctorant, ISAE-ENSMA, LIAS) on "More Transparency in Testing Results - Towards an Open Collective Knowledge Base", in meeting room at ISAE-ENSMA (file).
We are currently witnessing on explosion of advances in database technology, that cover all phases of database application design - non-functional requirements, conceptual modeling, logical modeling, deployment, physical design and exploitation. Researchers and engineers cooperate to integrate these advances in the database design. Their proposed solutions have to be confronted with similar studies whose results have been either published in scientific papers or on specific websites such as that of TPC (the Transaction Processing Council). Recently, several researchers have highlighted difficulties in reproducing the results of existing studies. As a consequence, certain research communities require that the environment and the results of the testing activities have to be published in order to facilitate their reproduction, to publish their simulator environments, in order to allow evaluators to perform by their own the experiments. For this purpose, we firstly advocate the transparency of testing in the database field. Secondly, we propose the use of a repository dedicated to store testing environment and results. The environment includes used data sets, deployment platform, non-functional requirements, used algorithms, hypotheses, etc. and the results completed with their measurement units measures. Finally, we show one of the benefits of having such a repository - A recommender system for the problem of selecting appropriate DBMS for office design companies

Thursday, 10 December 2015 (14h00-15h00), research seminar of Badran Raddaoui (ATER, Université de Poitiers, LIAS) on "Analyzing and Evaluating Conflicts in Knowledge Bases", in meeting room at ISAE-ENSMA.

Thursday, 08 October 2015 (14h00-15h00), research seminar of Pascal Richard (Professeur, Université de Poitiers, LIAS) on "Cache-related scheduling problems", in meeting room at ISAE-ENSMA.

Friday, 10 July 2015 (14h00-14h30), research seminar of Sarar Hammar (Stagiaire, Université de Poitiers, LIAS) on "Évaluation de benchmarks pour les données massivement volumineuses", in meeting room at ISAE-ENSMA.

Friday, 10 July 2015 (14h00-14h30), research seminar of Sarar Hammar (Stagiaire, Université de Poitiers, LIAS) on "Évaluation de benchmarks pour les données massivement volumineuses", in meeting room at ISAE-ENSMA.

Friday, 10 July 2015 (14h30-15h00), research seminar of Florent Albert (Stagiaire, Université de Poitiers, LIAS) on "Entrepôts de modèles, application aux données issues de l'automatique", in meeting room at ISAE-ENSMA.

Tuesday, 16 June 2015 (14h00-15h00), research seminar of Jose Ramos (Nova Southeastern University, Fort Lauderdale, Florida, USA) on "2-D Modeling and Compression of Images Using Time Domain Equivalent Methods", in meeting room at ENSIP.

Tuesday, 09 June 2015 (14h00-15h00), research seminar of Max Potters (Delft University of Technology) on "Experiment Design in Distributed Parameter Systems", in meeting room at ENSIP.
Accurate estimation of key parameters in Distributed Parameter Systems (DPS) is of great importance in many fields in science. Examples abound in thermodynamics, hydrology, and reservoir engineering. In this presentation, we consider the problem of finding the experiment conditions that deliver parameter estimates that honor user-chosen variance constraints at minimal experiment cost. .We tackle this problem by invoking the classical least-costly experiment design framework. The classical framework – that has so far been used in finite-order systems – cannot be directly applied to DPS systems. In this presentation, we show how to adapt the framework to DPS systems, and also how degrees of freedom in the experiment set-up can be included. We illustrate our work on a Pressure Oscillation experiment set-up that is used in geosciences to estimate the permeability and porosity of rock in oil reservoirs. These parameters are used in oil flow simulations and for predicting the oil volume that can be extracted from the reservoir.

Thursday, 26 February 2015 (14h00-15h00), research seminar of Rim Moussa (Post-doctorante, Montpellier) on "Ecosystème Hadoop & Cas d'Utilisation", in meeting room at ISAE-ENSMA (file).
Les technologies NoSQL se proposent de pallier aux problèmes de traitement de grands volumes de données et de montée en charge par le calcul massivement parallèle. L’écosystème Apache Hadoop implante le calcul massivement parallèle dans ses diffèrents sous-projets. Le séminaire porte sur l'écosystème Hadoop, dans sa nouvelle version YARN, et présente des cas d’utilisation.

Friday, 30 January 2015 (14h00-15h00), research seminar of Laurentiu Hetel (LAGIS Lille) on "Analysis and design of networked control systems with aperiodic sampling", in meeting room at ENSIP.
Embedded and networked control systems are often required to share a limited amount of computational and transmission resources between different applications. This may lead to fluctuations of the sampling interval, due to the interaction between real-time control algorithms and task / communication scheduling protocols From the control theory point of view, these variations in the sampling interval need to be treated in a robust manner since they may have a destabilizing effect if they are not properly taken into account. Furthermore, aperiodic controller implementations may actually have interesting properties in distributed control applications, when explicitly evaluating energy, computation and communication costs. The new trend in control is to intentionally modify the sampling interval as an additional control parameter using event- and self-triggering control schemes. This presentation is focused on the stability of networked control systems with time-varying sampling intervals. Basic concepts and recent research directions will be presented. An overview of time-delay, hybrid, discrete-time and input-output models for systems with aperiodic sampling will be given and specific analysis tools will be introduced. At last, an emerging topic concerning the design of stabilizing state-dependent sampling laws will be discussed.

Friday, 30 January 2015 (14h00-15h00), research seminar of Timothy E. Wang (Georgia Tech, USA) on "Credible Autocoding of Control systems with Time Delays", in meeting room at ISAE-ENSMA.
Formal methods is a discipline of using a collection of mathematical techniques and formal languages to model and analyze software systems. Motivated by the new formal-methods based certification recommendations for safety-critical embedded software and the massive increase in the cost of verification and validation (V&V), our current research efforts has led to an automated, credible auto-coding prototype for control systems. The credible auto-coding prototype transforms the Simulink model of the controller into not only the C code, but also formal guarantees of high level functional properties, expressed using a formal specification language, and embedded into the code as annotations. The formal guarantees are obtained by leveraging domain specific knowledge from control theory. The annotations serve as a proof that the auto-generated controller code conforms to the input model and provide the necessary information to enable an independent, automatic, formal verification of the code. As a demonstration of the utility of the annotations, we have also produced a prototype analyzer, based on classic techniques from formal methods, that is capable of automatically verifying the annotated code. We have previously made an assumption of zero time delays in the formal verification of the generated controller code. However for real-time control systems, the complex timing issues that arise during the actual execution of the on-board software cannot be ignored. In the context of credible auto-coding, we want to further leverage the existing body of knowledge from control theory regarding the behaviors of control systems under timing uncertainties such as delays, jitters, etc. We seek to be able to transform that knowledge in an automatic way, into a form that useful for the formal verification of real-time control software with time delays. Short bio - I am currently a PhD student in the Department of Aerospace Engineering at Georgia Tech in Atlanta, Georgia. My research interest is in the application of control theory in the formal verification of on-board control software. Previously, I received BS/MS degrees in Aerospace Engineering also from Georgia Tech. I hail originally from New Jersey, but since high school, I've been in either in the Atlanta area or Minnesota with the occasional extended stays in places like France, Washington D.C. and California.

Thursday, 06 November 2014 (14h00-15h00), research seminar of Selma Bouarar (Doctorante, ISAE-ENSMA, LIAS) on "Database as a Software Product Line, On the Way to a Variability-Aware Development Life Cycle", in meeting room at ISAE-ENSMA.
Software product lines have proved to be very successful in achieving a strategic reuse, and become a successful development methodology in many domains in building families of similar systems - avionic systems, mobile phones, medical devices, etc. Simultaneously, data is omnipresent in all organizations and usually managed by databases management systems of different types. Given the evolving requirements of nowadays DB applications, the DB design life-cycle is in continuous evolution (new data models, optimization structures, deployment layouts, etc.); hence database users need even more assistance during the design process. Surprisingly, and to the best of our knowledge, no general method exists to date for dealing with the whole design of a database, while taking into account the variability management. However, some existing approaches present isolated solutions, indicating even more the need for a holistic variability-aware development of database systems. We propose an SPL-inspired methodological framework for a variability-aware design of database. The framework allows developers to derive ready-to-be-implemented database applications, by composing features related to database technology.

Thursday, 06 November 2014 (14h00-15h00), research seminar of Brice Chardin (Maître de Conférences, ISAE-ENSMA, LIAS) on "Découverte de règles dans les bases de données avec RQL", in meeting room at ISAE-ENSMA.
RQL (pour Rule Query Language) est un langage de requêtes à la SQL qui étend et généralise les dépendances fonctionnelles à de nouvelles catégories de règles. RQL apporte aux analystes de données un outil pratique pour découvrir les implications logiques entre attributs d'une base de données. Ces implications peuvent mettre en évidence des problèmes de qualité de données ou de nouvelles corrélations inattendues entre les attributs. Le traitement de ces requêtes RQL est basé sur une technique de réécriture qui délègue un maximum de calculs au SGBD sous-jacent. Cette contribution vise à renforcer le lien entre la fouille de données et les bases de données et de faciliter l'utilisation de techniques de fouille par des analystes ou des étudiants habitués au SQL.

Monday, 16 June 2014 (14h00-15h00), research seminar of Jose Ramos (Nova Southeastern University, Fort Lauderdale, Florida, USA) on "2-D Modeling and Compression of Images Using Time Domain Equivalent Methods", in meeting room at ENSIP.
In this seminar I will present recent results in modeling and compression of images. Previous work in this area led to very accurate image models using subspace system identification algorithms. However, a drawback of this approach is that for compression purposes, the residuals of the model have to be compressed, along with the parameters of the model. The residual image has the same dimensions as the original image, but with much smaller amplitude. As a result, the residual image does not need the same number of bits/pixel as the original image. This still represents a reduction in the number of bits/pixels needed to encode the image. But what if we could de-noise the image up front and then build a deterministic model from it? Such approach would not require encoding the residuals. This could lead to much larger compression ratios than with our previous work. In this talk I will start with the hypothesis of whether or not a time domain signal can be de-noised first and then modeled with a deterministic model. The feasibility of this hypothesis can lead to an extension to 2-D images. A relatively new concept known as singular spectrum analysis (SSA) seems to be an affirmative answer to the 1-D hypothesis. This is done via a series of examples and modeling exercises including both state space and AM-FM models. An extension to 2-D is known as 2-D singular spectrum (2DSSA). SSA in general is a nonparametric technique used for extracting trends, periodicities, and noise from a signal. Removing the noise from the image leads to the possibility of working in a deterministic setting. Thus our extension is a parametric one. Here also we use a deterministic autonomous state space model as well as an AM-FM model but in the spatial domain (2-D). We show the feasibility of this approach via a detailed example and compare the results with a frequency domain approach based on Gabor filters. Conclusions are drawn and further directions of research in this area are outlined.

Thursday, 10 April 2014 (14h00-15h00), research seminar of Ramin Karimi (Doctorant, Université de Debrecen, Hongrie) on "Bitmap indexes and NoSQL for identifying species with DNA signatures through metagenomics samples", in meeting room at ISAE-ENSMA.
DNA signature is a short nucleotide sequence fragment which is used to distinguish species across all other species. It can be a basis for identify microorganisms both in environmental and clinical samples directly from the short reads (Output of Sequencer machines), without assembling and alignment processes. We are trying to use an optimization technique from database technology which is the bitmap index. They are used for speeding up the research and the matching of millions or billions of DNA signatures in the short reads of hundreds or thousands of different microorganisms all together using commodity High Performance Computing including Hadoop MapReduce, Hive and Hbase.

Thursday, 10 April 2014 (15h00-16h00), research seminar of Géraud Fokou (Doctorant, ISAE-ENSMA, LIAS) on "Conception d'un framework pour le traitement coopératif des requêtes", in meeting room at ISAE-ENSMA.
Les changements fréquents des bases de données sémantiques tant au niveau du contenu (échanges et partages) qu'au niveau de la structure (formalisation et flexibilité), rendent les requêtes obsolètes et incomplètes retournant donc des réponses vides aux utilisateurs. Nous nous intéressons aux moyens d'éviter le retour des résultats vides aux utilisateurs. Notre travail porte sur la relaxation des requêtes dans les bases de données sémantiques avec pour objectif la réalisation d'un framework pour le traitement coopératif des requêtes. Il s'agit de proposer un ensemble de méthodes de relaxation des requêtes et un ensemble d'outils et de primitives associées qui permettront la mise en oeuvre optimale et personnalisée de ces processus.

Thursday, 27 March 2014 (14h00-15h00), research seminar of Guillaume Phavorin (Doctorant, Université de Poitiers, LIAS) on "Interactions between WCET analysis and scheduling", in meeting room at ISAE-ENSMA.

Thursday, 27 March 2014 (15h00-16h00), research seminar of Emmanuel Grolleau (Professeur des Universités, ISAE-ENSMA, LIAS) on "Simulation intervals for real-time scheduling", in meeting room at ISAE-ENSMA.

Thursday, 27 February 2014 (15h00-16h00), research seminar of Abdelkrim Ali Zazou (Doctorant CIFRe, SRD, LIAS) on "Optimisation du réseau de distribution SRD", in meeting room at ISAE-ENSMA.

Thursday, 30 January 2014 (14h00-15h00), research seminar of Amine Roukh (Doctorant, Université de Mostaganem, Algérie) on "Energie dans les Bases de Données", in meeting room at ISAE-ENSMA (file).

Thursday, 30 January 2014 (14h00-15h00), research seminar of Laurentiu HETEL (Ecole Centrale de Lille) on "Analysis and design of networked control systems with aperiodic sampling", in meeting room at ENSIP.

Thursday, 30 January 2014 (14h00-15h00), research seminar of Bery Mbaiossoum (Doctorant, ISAE-ENSMA, LIAS) on "Vues matérialisées dans les Bases de Données Sémantiques", in meeting room at ISAE-ENSMA.

Thursday, 30 January 2014 (14h00-15h00), research seminar of Olivier Prot (XLIM DMI, Limoges) on "Outils pour le calcul de la norme Hinfty avec application en commande et en identification", in meeting room at ENSIP.

Thursday, 30 January 2014 (14h00-15h00), research seminar of Ahcène Boukorca (Doctorant, ISAE-ENSMA, LIAS) on "Circuits électroniques au service de l'optimisation multi-requêtes", in meeting room at ISAE-ENSMA (file).
Dans la première génération des bases de données, les optimiseurs étaient conçus pour optimiser des requêtes individuelles. Après l'identification des interactions entre les requêtes, des travaux ont été proposés pour offrir une optimisation globale d'une charge de requêtes. La difficulté de cette optimisation est l'identification des expressions communes entre les requêtes. Pour résoudre ce problème, des solutions basées sur la fusion des plans individuels ont été proposées, mais celles-ci soufrent du problème de passage à l'échelle. Après avoir constaté l'analogie entre circuit électronique et plan global, nous proposons une approche de génération du plan global sans passer par les plans individuels en utilisant la théorie de graphes fortement utilisée dans le domaine des circuits intégrés.

Thursday, 16 January 2014 (14h00-15h00), research seminar of Olivier Prot (XLIM DMI, Limoges) on "Outils pour le calcul de la norme Hinfty avec application en commande et en identification", in meeting room at ENSIP.

Thursday, 09 January 2014 (14h00-15h00), research seminar of Claire Maiza (VERIMAG/ENSIMAG) on "Delays due to interferences in multi-task or multi-core real-time systems - the example of cache-related preemption cost", in meeting room at ISAE-ENSMA.
In multi-task systems with cache memory, the preempted task may suffer some cache reloads due to the fact that the preempting task accesses the cache memory during the preemption. These reloads are bounded to constitute the cache-related preemption delay (CRPD). In the presentation I will give an idea on how the CRPD is estimated and how to take it precisely into account in the schedulability analysis. Bounding interferences by delays is the usual way of analyzing multi-core systems. I will show the main issues of timing analysis for programs executed on multi-core platforms. Bio sketch - Claire Maïza est Maître de Conférences à l’ENSIMAG. Elle effectue ses recherches en analyse temporelle des programmes temps réel dans le laboratoire VERIMAG à Grenoble.

Wednesday, 11 December 2013 (14h00-15h00), research seminar of Marco Di Natale (Scuola Superiore Sant’Anna, Pise) on "Modeling and analysis of real-time systems", in meeting room at ISAE-ENSMA.
The presention will cover the following topics - (i) Integration of heterogeneous models (Simulink + Ecore/SysML) in the model-based design of real-time systems; (ii) from Analysis to synthesis, the next step in the use of real-time schedulability theory in the design of embedded systems; (iii) Scheduling of Tasks obtained from Synchronous State Machines - similarities with the digraph task models. Bio sketch - Marco DiNatale is professor at Scuola Superiore Sant’Anna (Pisa, Italy) – (for more information, see http://retis.sssup.it/~marco/ ).

Thursday, 07 November 2013 (14h00-15h00), research seminar of Brice Chardin (Maître de Conférences, ISAE-ENSMA, LIAS) on "Impact des mémoires flash sur la gestion de données", in meeting room at ISAE-ENSMA (file).
Les mémoires flash sont une solution alternative aux disques durs pour le stockage des données. Bien que la transition d'une technologie à une autre soit facilitée par des interfaces compatibles, les différences de fonctionnement interne ont un impact sur leurs performances respectives - un simple changement de matériel ne suffit généralement pas à exploiter au maximum le potentiel des mémoires flash. Les applications doivent alors s'adapter pour optimiser leurs accès.

Thursday, 07 November 2013 (15h00-16h00), research seminar of Thomas Lachaume (Doctorant, Université de Poitiers, LIAS) on "Un simulateur de modèle de tâches dans la conception centrée utilisateur - ProtoTask", in meeting room at ISAE-ENSMA (file).
Aujourd’hui, les méthodes de conception centrées utilisateurs ont montré leur efficacité par rapport aux cycles centrés systèmes. L’implication et la prise en compte de l’utilisateur tout au long du développement d’une application interactive en sont les points clés. Dans ce cadre, l’utilisation de modèles de tâches est une solution aidant à mettre en place une analyse des besoins de l’interaction de l’utilisateur sur le système. ProtoTask a été créé pour aider à la validation de ces modèles et favoriser l’échange entre les différents intervenants d’un projet.

Monday, 16 September 2013 (14h00-15h00), research seminar of Pedro Furtado (Université de Coimbra, Portugal) on "Big Data Warehousing", in meeting room at ISAE-ENSMA.

Wednesday, 15 May 2013 (14h00-15h00), research seminar of Sami Bhiri (Université Nancy 1) on "Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web", in meeting room at ISAE-ENSMA.

Tuesday, 14 May 2013 (14h00-15h00), research seminar of Karim Benouaret (Université de Lyon 1) on "Advanced Techniques for Web Service Query Optimization", in meeting room at ISAE-ENSMA.

Monday, 15 April 2013 (14h00-15h00), research seminar of Zoé Faget (Maître de Conférences, Université de Poitiers, LIAS) on "Fragmentation", in meeting room at ISAE-ENSMA.

Tuesday, 29 January 2013 (14h00-15h00), research seminar of Laure Berti-Equille (IRD) on "Qualité des données", in meeting room at ISAE-ENSMA.

Thursday, 11 October 2012 (14h00-15h00), research seminar of Sébastien Bress (University of Magdeburg, Allemagne) on "GPU", in meeting room at ISAE-ENSMA.

Friday, 05 October 2012 (14h00-15h00), research seminar of Olivier Bachelier et Erik Etien (Maître de Conférences, Université de Poitiers, LIAS) on "machines synchrones à aimants", in meeting room at ENSIP.

Wednesday, 04 July 2012 (14h00-15h00), research seminar of Jose Ramos (Nova Southeastern University, Fort Lauderdale, Florida, USA) on "Identification de systèmes n-D", in meeting room at ENSIP.

Tuesday, 15 May 2012 (14h00-15h00), research seminar of Nabil Hameurlain (Université de Pau) on "Composants rôles pour la coordination de l'intéropérabilité des agents logiciels", in meeting room at ISAE-ENSMA.

Thursday, 10 May 2012 (14h00-15h00), research seminar of Miklos Zoltan (Ecole Polytechnique Fédérale de Lausanne) on "schéma réconciliation dans un réseau de bases de données", in meeting room at ISAE-ENSMA.

Friday, 27 April 2012 (14h00-15h00), research seminar of Dominique Bertrand (INRIA) on "Robustesse des systèmes temps réel embarqués", in meeting room at ISAE-ENSMA.

Friday, 27 April 2012 (14h00-15h00), research seminar of Henri Bauer (ATER, IRIT, Toulouse) on "Validation de réseaux AFDX", in meeting room at ISAE-ENSMA.

Friday, 13 April 2012 (14h00-15h00), research seminar of Allel Hadjali (Maître de Conférences HDR, Université de Rennes 1) on "Logique floue", in meeting room at ISAE-ENSMA.

Thursday, 15 March 2012 (14h00-15h00), research seminar of Moustapha Bikienga (Doctorant, ISAE-ENSMA, LIAS) on "Systèmes d'exploitation temps réel", in meeting room at ISAE-ENSMA.

Thursday, 15 March 2012 (14h00-15h00), research seminar of Georges Kemayo (Doctorant, ISAE-ENSMA, LIAS) on "La méthode des trajectoires", in meeting room at ISAE-ENSMA.

Tuesday, 10 January 2012 (14h00-15h00), research seminar of Georges Kemayo (Doctorant, ISAE-ENSMA, LIAS) on "Réseaux embarqués dans l'avionique", in meeting room at ISAE-ENSMA.

Tuesday, 10 January 2012 (14h00-15h00), research seminar of Georges Kemayo (Doctorant, ISAE-ENSMA, LIAS) on "Réseaux embarqués dans l'avionique", in meeting room at ISAE-ENSMA.

Tuesday, 08 November 2011 (14h00-15h00), research seminar of Jalil Boukhobza (Université de Bretagne Occidentale) on "C-lash flash system", in meeting room at ISAE-ENSMA.
Prices of NAND flash memories are falling drastically due to market growth and fabrication process mastering while research efforts from a technological point of view in terms of endurance and density are very active. NAND flash memories are becoming the most important storage media in mobile computing and tend to be less confined to this area. The major constraint of such a technology is the limited number of possible erase operations per block which tend to quickly provoke memory wear out. To cope with this issue, state-of-the-art solutions implement wear leveling policies to level the wear out of the memory and so increase its lifetime. These policies are integrated into the Flash Translation Layer (FTL) and greatly contribute in decreasing the write performance. In this presentation, we will briefly describe our contributions for flash memory based storage systems. We will introduce C-lash, a cache system we designed to replace wear leveling techniques for a given number of applications. Also will be presented a collaborative cache/FTL mechanism allowing to cope with the random I/O issues observed in many workloads. We will finish up the presentation by introducing some tools we developed around flash memory storage systems and some reflections on I/O workloads and how to interface our work with data base system designers.

Monday, 20 June 2011 (14h00-15h00), research seminar of Carlos Ordonnez (Université de Houston, USA) on "Integrating Database Systems and Data Mining Algorithms", in meeting room at ISAE-ENSMA.
Data mining remains an important research area in database systems and a major challenge in computer science. We present a review of processing alternatives, storage mechanisms, algorithms, data structures and optimizations that enable data mining on large data sets. We focus on the computation of well-known multidimensional statistical and machine learning models. We pay particular attention to SQL (together with UDFs) and MapReduce as two competing technologies for large scale processing, especially with parallel computing. We conclude with a summary of solved major problems and open research issues.

Friday, 08 April 2011 (14h00-15h00), research seminar of Ahmed Mostefaoui (Maître de Conférences, Université de France-Comté, LIFC) on "Distributed Multimedia Systems and Networking, Wireless and Mobile Ad hoc and SEnsor Networks", in meeting room at ISAE-ENSMA.

Sunday, 20 March 2011 (14h00-15h00), research seminar of Wojciech PASZKE (Université de Zielona Gora, Pologne) on "An nD approach to some applications of Iterative Learning Control (ILC)", in meeting room at ENSIP.

Sunday, 20 March 2011 (14h00-15h00), research seminar of Houcem Kanoun (Doctorant, Université de Poitiers, LIAS) on "Modélisation fractionnaire d'un super condensateur", in meeting room at ENSIP.