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.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
S. Biswas ; Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur -721 302, INDIA. ; D. Sarkar ; S. Mukhopadhyay ; A. Patra

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