Cart (Loading....) | Create Account
Close category search window
 

Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults

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

1 Author(s)
Oikonomou, K.N. ; AT&T Information Systems

An observer, whose task is to monitor a large and complex system M̂ subject to malfunctions, may be interested in dealing with a simplified, abstracted model (M̂A of it, at the expense of some loss in fault-detection ability. Let M̂ be a finite- state machine whose inputs are modeled by stationary random variables. The abstraction A is effected by lumping M̂'s states, inputs, and outputs into classes, to obtain a smaller probabilistic machine M̂A. These ideas have been introduced in a previous paper, and the question of finding an optimal abstraction A* which minimizes the number of faults undetectable by the observer was posed. An algorithm for constructing the output component of the optimal abstraction A* is given in this paper. If there are no faults in the next-state map of M̂, this construction is sufficient to minimize the number of single faults in the output map that are undetectable by the observer because of the abstraction. Some experiments carried out using the algorithm provide general insight into the tradeoff between simplifying M̂ and making some faults in it undetectable. As a specific example, optimal output abstractions are found for a finite-state machine specification of the link level of the X.25 communication protocol.

Published in:

Computers, IEEE Transactions on  (Volume:C-36 ,  Issue: 2 )

Date of Publication:

Feb. 1987

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.