By Topic

Modeling discrete event systems with faults using a rules based modeling formalism

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
$31 $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)
Huang, Z. ; Dept. of Electr. & Comput. Eng., Kentucky Univ., Lexington, KY, USA ; Chandra, V. ; Jiang, S. ; Kumar, R.

In this paper we present a methodology which makes the task of modeling failure prone discrete event systems (DESs) considerably less cumbersome, less error prone, and more user-friendly. In order to model failures, we augment the signals set of the rules based formalism proposed by the co-authors of this paper, to include binary valued fault signals, the values representing either a non-faulty or a faulty state of a certain failure type. The rules based modeling formalism is further extended to model real-time systems, and we apply it to model delay-faults of the system as well. The model of a failure prone DES in the rules based can automatically be converted into an equivalent (timed)-automaton model for the analysis in an automaton model framework.

Published in:

Decision and Control, 2002, Proceedings of the 41st IEEE Conference on  (Volume:4 )

Date of Conference:

10-13 Dec. 2002