Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata

Abstract

This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying some realistic assumptions. A practical example is considered throughout the paper for illustration purposes.