Analysis of Multi-State Systems with Multi-State Components Using EVMDDs
Abstract
This paper proposes a new analysis method of multi-state systems with multi-state components using multivalued decision diagrams (MDDs). The multi-state 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2012
- Accession Number
- ADA582465
Entities
People
- Jon T. Butler
- Shinobu Nagayama
- Tsutomu Sasao
Organizations
- Naval Postgraduate School