Analysis of multi-state systems with multi-state components using EVMDDs
Butler, Jon T.
MetadataShow full item record
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.
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.
Showing items related by title, author, creator and subject.
Kerkhoff, Hans G.; Butler, Jon T. (1987-07);As in binary, a multiple-valued programmable logic array (PLA) realises a sum-of-products, expression specified by the user. However, in multiple-valued logic, there are many more operations than in binary, and an important ...
Sasao, T.; Butler, Jon T. (2003-05);We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate the function. We consider the path length ...
Nagayama, Shinobu; Sasao, Tsutomu; Butler, Jon T. (2009);This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary functions in which real values are converted ...