Now showing items 1-5 of 5

  • 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
    Restricted access - publisher's policy
    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 ...
  • Hybrid Automaton Incremental Construction for Online Diagnosis 

    Vento Maldonado, Jorge; Travé-Massuyès, Louise; Sarrate Estruch, Ramon; Puig Cayuela, Vicenç (2013)
    Conference report
    Open Access
    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-07-01)
    Article
    Open Access
    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: ...
  • Solving diagnosability of hybrid systems via abstraction and discrete event techniques 

    Grastien, Alban; Travé-Massuyès, Louise; Puig Cayuela, Vicenç (2017)
    Conference report
    Open Access
    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: ...
  • 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)
    Conference report
    Open Access
    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 ...