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/20 | Dual knowledge compilation in diagnosis durong monitoring of discrete-event systems | 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 | JKU Linz | |
10/04/2019 | Séminaire des nouveaux permament du département DO | V. 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. | Univ. du Havre, LMAH |
SEMINAIRES DO 2018 | ||
19/10/2018 | Control allocation, optimal output regulation and attack detection in cyber-physical systems | Univ. di Roma, Tor Vergata |
26/09/2018 | CPCES: un planificateur pour le problème de planification déterministe conformante | Australian National Univ. |
26/06/2018 | A matheuristic for a class of scheduling problems for parallel batch processing machines | 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 | Univ. Tarragona |
14/02/2018 | Introduction à l'algèbre différentielle avec application à l'estimation de paramètres. | CRIStAL, Lille |
SEMINAIRES DO 2017 | ||
14/09/2017 | Tolga Bektas (Southampton Business School) | |
28/06/2017 | 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 | Bernard Gendron (CIRRELT, Canada) | |
19/10/2016 | Tamas Kis (Institute of Computer Science and Control, Hongrie) | |
29/06/2016 | Antoine Girard (L2S, Supélec) | |
SEMINAIRES DO 2015 | ||
11/05/2015 | Arithmétique virgule flottante | Jean-Michel Muller (LIP, Univ. Lyon 1) |
09/04/2015 | Observateur d'état distribué et detection de défauts dans les réseaux de capteurs | Michel Kinnaert (Univ. Libre de Bruxelles, Belgique) |
05/02/2015 | Rodolphe Sépulchre (University of Cambridge, UK) | |
SEMINAIRES DO 2014 | ||
30/10/2014 | Bilevel programming and price setting problems | Martine Labbé (Univ. Libre de Bruxelles, Belgique) |
04/07/2014 | Matthew Daigle (NASA, USA) | |
18/06/2014 | Programmation linéaire, convexité tropicale, et jeux répétés | Stéphane Gaubert (INRIA and CMAP) |