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 AG |
| Pages | 253-278 |
| Number of pages | 26 |
| ISBN (Electronic) | 9783319749624 |
| ISBN (Print) | 9783319749617 |
| DOIs | |
| Publication status | Published - 8 Mar 2018 |