Abstract
This chapter focuses on the discrete event-based transitions of a Hybrid System (HS), that is, it does not deal with the faults inside states, instead it takes into account the faults between states. Hence, the considered model is actually a Discrete-Event System (DES), say the DES underlying the HS, according to which a (type of) fault is one of the discrete events, usually an unobservable one, and a system can be affected by several types of faults. Diagnosability is the property that a DES exhibits if every fault can be detected and isolated within a finite number of (observable) events that have taken place after its occurrence.
Original language | English |
---|---|
Title of host publication | Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems |
Publisher | Springer International Publishing Switzerland |
Pages | 253-278 |
Number of pages | 26 |
ISBN (Electronic) | 9783319749624 |
ISBN (Print) | 9783319749617 |
DOIs | |
Publication status | Published - 8 Mar 2018 |