DocumentCode :
661104
Title :
A framework for fault diagnosis of hybrid systems based on predicate abstractions
Author :
Bresolin, Davide ; Capiluppi, Marta
Author_Institution :
Dept. of Comput. Sci., Univ. of Verona, Verona, Italy
fYear :
2013
fDate :
9-11 Oct. 2013
Firstpage :
802
Lastpage :
807
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.
Keywords :
automata theory; continuous systems; discrete systems; fault diagnosis; continuous behaviour; discrete behaviour; fault diagnosis; fault reconfigurability checking; hybrid automata discrete abstraction; hybrid system modelling; predicate abstraction; unrecoverable states; Abstracts; Automata; Cameras; Fault diagnosis; Silicon; Switches; Trajectory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Control and Fault-Tolerant Systems (SysTol), 2013 Conference on
Conference_Location :
Nice
Type :
conf
DOI :
10.1109/SysTol.2013.6693927
Filename :
6693927
Link To Document :
بازگشت