机译:On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems
Hiroshima City Univ, Dept Comp & Network Engn, Hiroshima 7313194, Japan;
Meiji Univ, Dept Comp Sci, Kawasaki, Kanagawa 2148571, Japan;
Naval Postgrad Sch, Dept Elect & Comp Engn, Monterey, CA 93943 USASo Methodist Univ, Dept Comp Sci & Engn, Dallas, TX 75275 USA;
minimization algorithm of the number of edges; EVMDDs; grouping variables for optimization of decision diagrams; multi-state systems; system analysis using decision diagrams;