Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

Diagnosability Analysis of Real Time Hybrid Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Biswas, S. ; Indian Inst. of Technol., Kharagpur ; Sarkar, D. ; Mukhopadhyay, S. ; Patra, A.

A method of analyzing fault diagnosability has been proposed for real time hybrid system (RTHS) models. The RTHS modeling formalism is presented and the properties of such models under measurement limitation is discussed. A definition of diagnosability of these models is adopted from the literature on discrete event systems (DES). Based on the measurement limited model, an algorithm for construction of a diagnoser is presented. It is then argued that the diagnosability condition of the diagnoser which has been shown to be necessary and sufficient for DES diagnosability fails to hold for many systems, of which hybrid system is an example. This is because the abstraction employed in formulating the DES models from hybrid systems obliterates an important property of the transitions namely, their fairness. Incorporating this property the diagnosability condition over the diagnoser is suitably modified.

Published in:

Industrial Technology, 2006. ICIT 2006. IEEE International Conference on

Date of Conference:

15-17 Dec. 2006