Analysis of multi-state systems with multi-state components using EVMDDs
Loading...
Authors
Nagayama, Shinobu
Sasao, Tsutomu
Butler, Jon T.
Subjects
multi-state systems with multi-state components
fault tolerant systems
structure functions
system analysis based on decision diagrams
EVMDDs
fault tolerant systems
structure functions
system analysis based on decision diagrams
EVMDDs
Advisors
Date of Issue
2012-05
Date
May 14-16, 2012
Publisher
Language
Abstract
This paper proposes a new analysis method of multi-state systems with multi-state components using multi-valued decision diagrams (MDDs). The multi-sate systems with multi-state components can be considered as multi-valued functions, called structure functions. Since the structure functions are usually monotone increasing functions, they can be represented compactly using edge-valued MDDs (EVMDDs). This paper proposes an efficient analysis method using EVMDDs. It shows that by using EVMDDs, the structure functions can be represented more compactly than existing methods using ordinary MDDs, and systems can be analyzed with comparable computation time.
Type
Article
Description
International Symposium on Multiple-Valued Logic (ISMVL-2012), Victoria, Canada, May 14-16, 2012, pp.122-127.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
Series/Report No
Department
Department of Electrical and Computer Engineering
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
S. Nagayama, T. Sasao, and J. T. Butler,"Analysis of multi-state systems with multi-state components using EVMDDs," International Symposium on Multiple-Valued Logic (ISMVL-2012), Victoria, Canada, May 14-16, 2012, pp.122-127.