Diagnosability verification for hybrid automata

Authors:
Maria Domenica Di Benedetto;Stefano Di Gennaro;Alessandro D'Innocenzo
Affiliations:
Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, Italy;Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, Italy;Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, Italy
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

Citing 5
Cited 0

Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy—a survey and some new results

Automatica (Journal of IFAC)
Fault Diagnosis for Timed Automata

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Efficient timed model checking for discrete-time systems

Theoretical Computer Science
Observability of hybrid automata by abstraction

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Safe diagnosability for fault-tolerant supervision of discrete-event systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a notion of diagnosability for hybrid automata, which generalizes the notion of observability. We propose a procedure to check diagnosability on a given hybrid automaton, and show that the complexity of the verification problem is in PTIME. We apply our procedure to an electromagnetic valve system for camless engines. This paper, because of space limitations, only summarizes the obtained results. An extended and detailed manuscript can be found in the form of a technical report on line [1].