Séminaires DO

Organisation : Carine Jauberthie - Lieu habituel : salle EUROPE du LAAS

Le département DO fédère les activités de recherche de trois équipes de recherche du LAAS: Diagnostic Supervision et Conduite, Méthodes et Algorithmes en Commande, Recherche Opérationnelle/Optimisation Combinatoire/Contraintes.

A venir

Jeudi 6 Février 2020 - 14h - Salle Tourmalet

Marina Zanella : "Dual knowledge compilation in diagnosis durong monitoring of discrete-event systems"

A discrete-event system (DES) is an abstraction of a dynamical system that can be exploited for diagnostic purposes. The task of diagnosis during monitoring, upon the perception of each observation relevant to a DES, has to generate a set of candidates, a candidate being a set of faults: such a process requires costly model-based reasoning. Knowledge compilation techniques have been proposed in the literature in order to speed up online reasoning. In this presentation, to avoid the offline compilation of the whole knowledge inherent to the DES, a diagnosis method that performs a partial knowledge compilation is proposed. Every time a sequence of observations considered online is not encompassed by the compiled knowledge, such knowledge is permanently extended so as, if the same diagnosis problem arises anew, then it will be solved efficiently. The compiled data structure can also be enhanced by specialized knowledge coming from scenarios, which are behavioral patterns of ! the DES that need to be diagnosed quickly. 

Séminaires précédents

SEMINAIRES DO 2020
06/02/20Dual knowledge compilation in diagnosis durong monitoring of discrete-event systems

Marina Zanella

Univ. Brescia

SEMINAIRES DO 2019

27/06/2019

Sparse coding by spiking neural networks: Convergence theory and computational results

Peter Tang

Intel Corporation

03/06/2019

New ways to multiply 3x3 matrices

Manuel Kauers

JKU Linz

10/04/2019Séminaire des nouveaux permament du département DOV. Magron - M. Korda - M. Siala
28/03/2019

Improved control of the boost inverter feeding AC loads as a part of a hybrid microgrid

Oswaldo López Santos

05/02/2019

Identifiability analysis and parameter estimation in PDE models.

Nathalie Verdière

Univ. du Havre, LMAH

SEMINAIRES DO 2018

19/10/2018

Control allocation, optimal output regulation and attack detection in cyber-physical systems

Sergio Galeani

Univ. di Roma, Tor Vergata

26/09/2018

CPCES: un planificateur pour le problème de planification déterministe conformante

Alban Grastien

Australian National Univ.

26/06/2018

A matheuristic for a class of scheduling problems for parallel batch processing machines

Lars Mönch

Univ. Hagen

30/05/2018

Fundamentals, applications and open problems in two classes of switching power converters: Self-oscillating sinusoidal generators and Power supplies for constant power loads - séminaire commun aux départements DO et GE

Luis Martinez-Salamero

Univ. Tarragona

14/02/2018

Introduction à l'algèbre différentielle avec application à l'estimation de paramètres.

François Boulier

CRIStAL, Lille

SEMINAIRES DO 2017

14/09/2017

Optimisation tools for greening road freight transport

Tolga Bektas (Southampton Business School)

28/06/2017

Nonlinear observers robust to measurement errors and their applications in control and synchronization

Daniel Liberzon (University of Illinois)

23/05/2017

Analyse et estimation robustes des systèmes hybrides non linéaires, une approche ensembliste.

Nacim Ramdani (Univ. d'Orléans, PRISME)

08/02/2017

From validated numerical integration to Differential Constraint Satisfaction Problems

Alexandre Chapoutot (U2IS, ENSTA)

SEMINAIRES DO 2016

01/12/2016

Piecewise Linear Multicommodity Flow Problems

Bernard Gendron (CIRRELT, Canada)

19/10/2016

Complex scheduling problems

Tamas Kis (Institute of Computer Science and Control, Hongrie)

29/06/2016

Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models

Antoine Girard (L2S, Supélec)

SEMINAIRES DO 2015

11/05/2015

Arithmétique virgule flottante

Jean-Michel Muller (LIP, Univ. Lyon 1)

09/04/2015Observateur d'état distribué et detection de défauts dans les réseaux de capteurs

Michel Kinnaert (Univ. Libre de Bruxelles, Belgique)

05/02/2015

Differential analysis of nonlinear behaviors

Rodolphe Sépulchre (University of Cambridge, UK)

SEMINAIRES DO 2014

30/10/2014Bilevel programming and price setting problemsMartine Labbé (Univ. Libre de Bruxelles, Belgique)

04/07/2014

Model-based prognostics

Matthew Daigle (NASA, USA)

18/06/2014

Programmation linéaire, convexité tropicale, et jeux répétés

Stéphane Gaubert (INRIA and CMAP)