• An incremental hybrid system diagnoser automaton enhanced by discernibility properties 

      Vento Maldonado, Jorge I.; Travé-Massuyès, Louise; Puig Cayuela, Vicenç; Sarrate Estruch, Ramon (Institute of Electrical and Electronics Engineers (IEEE), 2014-12-18)
      Article
      Accés restringit per política de l'editorial
      This paper proposes a method to track the system mode and diagnose a hybrid system without building an entire diagnoser off-line. The method is supported by a hybrid automaton (HA) model that represents the hybrid system ...
    • BRIDGE: matching model-based diagnosis from FDI and DX perspectives 

      Travé-Massuyès, Louise; Escobet Canal, Teresa (Springer Nature, 2019-06-22)
      Capítol de llibre
      Accés obert
      After the introduction section of Chapter 7, section 7.2 first presents a brief overview of the approaches proposed by the FDI and DX model- based diagnosis communities. Although quite commonplace, this overview is neces- ...
    • Hybrid Automaton Incremental Construction for Online Diagnosis 

      Vento Maldonado, Jorge; Travé-Massuyès, Louise; Sarrate Estruch, Ramon; Puig Cayuela, Vicenç (2013)
      Text en actes de congrés
      Accés obert
      This paper proposes a method to track the system mode and diagnose a hybrid system without building an entire diagnoser off-line. The method is supported by a hybrid automaton model that represents the hybrid system ...
    • Solving diagnosability of hybrid systems via abstraction and discrete event techniques 

      Grastien, Alban; Travé-Massuyès, Louise; Puig Cayuela, Vicenç (2017)
      Text en actes de congrés
      Accés obert
      This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event ,etting. From the continuous model the abstraction only remembers two pieces of information: ...
    • Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques 

      Grastien, Alban; Travé-Massuyès, Louise; Puig Cayuela, Vicenç (2017-07-01)
      Article
      Accés obert
      This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: ...
    • State estimation and fault detection using box particle filtering with stochastic measurements 

      Blesa Izquierdo, Joaquim; Le Gall, Françoise; Jauberthie, Carine; Travé-Massuyès, Louise (2015)
      Text en actes de congrés
      Accés obert
      In this paper, we propose a box particle filtering algorithm for state estimation in nonlinear systems whose model assumes two types of uncertainties: stochastic noise in the measurements and bounded errors affecting the ...