In this paper we aim at checking fault reconfigurability in hybrid systems. A hybrid system is a system mixing continuous and discrete behaviours that cannot be faithfully modeled neither by using a formalism with continuous dynamics only nor by a formalism including only discrete dynamics. We extend the well known framework of hybrid automata for modeling hybrid systems, adding faults leading to recoverable and unrecoverable states. We use a discrete abstraction of hybrid automata to design a diagnoser that observes the external behaviour of the system and announces whether a fault has occurred or not. Moreover if the diagnoser is able to detect the fault before the system reaches an unrecoverable state, then the automaton is also reconfigurable. We prove the effectiveness of this procedure with a simple case study.

D. Bresolin, M. Capiluppi (2013). A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions. Nizza, Francia : IEEE Comp. Society Press [10.1109/SysTol.2013.6693927].

A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions

BRESOLIN, DAVIDE;CAPILUPPI, MARTA
2013

Abstract

In this paper we aim at checking fault reconfigurability in hybrid systems. A hybrid system is a system mixing continuous and discrete behaviours that cannot be faithfully modeled neither by using a formalism with continuous dynamics only nor by a formalism including only discrete dynamics. We extend the well known framework of hybrid automata for modeling hybrid systems, adding faults leading to recoverable and unrecoverable states. We use a discrete abstraction of hybrid automata to design a diagnoser that observes the external behaviour of the system and announces whether a fault has occurred or not. Moreover if the diagnoser is able to detect the fault before the system reaches an unrecoverable state, then the automaton is also reconfigurable. We prove the effectiveness of this procedure with a simple case study.
2013
Proc. of 2nd International Conference on Control and Fault-Tolerant Systems (SysTol'13)
802
807
D. Bresolin, M. Capiluppi (2013). A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions. Nizza, Francia : IEEE Comp. Society Press [10.1109/SysTol.2013.6693927].
D. Bresolin;M. Capiluppi
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/375467
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact