Publication:
Minimization of the number of edges in an EVMDD by variable grouping for fast analysis of multi-state systems

Loading...
Thumbnail Image
Authors
Nagayama, Shinobu
Sasao, Tsutomu
Butler, Jon T.
Subjects
Minimization algorithm of the number of edges
EVMDDs
grouping variables for optimization of decision diagrams
multi-state systems
system analysis based on decision diagrams
Advisors
Date of Issue
2013-05
Date
May 21-24, 2013
Publisher
Language
Abstract
This paper proposes an algorithm to minimize the number of edges in an edge-valued multi-valued decision diagram (EVMDD) for fast analysis of multi-state systems. We minimize the number of edge by grouping multi-valued variables into larger-valued variables.
Type
Article
Description
International Symposium on Multiple-Valued Logic (ISMVL-2013), Toyama, Japan, May 21-24, 2013, pp.284-289.
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
Funder
Format
Citation
S. Nagayama, T. Sasao, and J. T. Butler, "Minimization of the number of edges in an EVMDD by variable grouping for fast analysis of multi-state systems," International Symposium on Multiple-Valued Logic (ISMVL-2013), Toyama, Japan, May 21-24, 2013, pp.284-289.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections