Journal
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 61, Issue 4, Pages 982-993Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2015.2455111
Keywords
Hybrid automaton
Funding
- NSF CAREER Grant [CNS-0953976]
- Italian Government under Cipe [135]
- INnovating City Planning through Information and Communication Technologies (INCIPICT) project
- Division Of Computer and Network Systems
- Direct For Computer & Info Scie & Enginr [0953976] Funding Source: National Science Foundation
Ask authors/readers for more resources
The problem of system diagnosability verification is concerned with whether a fault in the system operation can be diagnosed by using the system model and observations of the system output. In this paper, we investigate the (delta(d), delta(m))-diagnosability of hybrid automata, which characterizes the maximum delay for diagnosing faults since their first occurrence, given the measurement uncertainty in observing the system output. We present a methodology that analyzes the (delta(d), delta(m))-diagnosability of hybrid automata. Due to the complex dynamics, the hybrid system diagnosability is often difficult to analyze directly. We thus propose an approach of constructing an abstraction using the trajectories of the original system. Their (delta(d), delta(m))-diagnosability properties are proved to be quantitatively related to each other. The abstraction has only finitely many trajectories that extend to the end of the time horizon of interest, so its diagnosability can be easily calculated, and then used to derive the diagnosability of the original system. We illustrate this procedure with an example.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available