polyDD: Towards a framework generalizing decision diagrams

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2010, Pages 124-133

  Linard, Alban ^a,b,c   Paviot Adet, Emmanuel ^b   Kordon, Fabrice ^b   Buchs, Didier ^a   Charron, Samuel ^c  

^a UNIVERSITY OF GENEVA   (Switzerland)

^b SORBONNE UNIVERSITÉ   (France)

^c EPITA RESEARCH AND DEVELOPMENT LABORATORY LRDE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPACT REPRESENTATION; DECISION DIAGRAM; STATE SPACE;

DECISION THEORY; GRAPHIC METHODS; MODEL CHECKING;

STRUCTURAL DESIGN;

EID: 77957564029     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2010.17     Document Type: Conference Paper

References (20)

1. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, "Symbolic Model Checking: 1020 States and Beyond," in 5th Annual IEEE Symposium on Logic in Computer Science, 1990, pp. 428-439.
2. G. Jennings, J. Isaksson, and P. Lindgren, "Ordered Ternary Decision Diagrams and the Multivalued Compiled Simulation of Unmapped Logic," in 27th IEEE Annual Simulation Symposium, 1994, pp. 99-105.
3. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. on Computers, vol. 35, no. 8, pp. 677-691, 1986.
4. S.-I. Minato, "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems," in DAC '93: 30th International Conference on Design Automation, 1993, pp. 272-277.
5. T. Kam, T. Villa, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Multi- Valued Decision Diagrams: Theory and Applications," Multiple-Valued Logic, vol. 4, no. 1-2, pp. 9-62, 1998.
6. D. Buchs and S. Hostettler, "σ Decision Diagrams," in TERMGRAPH 2009: 5th International Workshop on Computing with Terms and Graphs, no. TR-09-05, 2009, pp. 18-32.
7. M. Park, S. Chitta, A. Teichman, and M. Yim, "Automatic Configuration Recognition Methods in Modular Robots," International Journal of Robotics Research, vol. 27, no. 3-4, pp. 403-421, 2008.
8. A. Linard, E. Paviot-Adet, D. Buchs, and S. Charron, "Polymorphic Decision Diagrams," Centre Universitaire d'Informatique, Université de Genève, Technical Report 216, 2010.
9. R. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi, "Algebraic Decision Diagrams and Their Applications," in IEEE/ACM International Conference on CAD, 1993, pp. 188-191.
10. M. Wan and G. Ciardo, "Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams," in SOFSEM '09: 35th Conference on Current Trends in Theory and Practice of Computer Science, 2009, pp. 582-594.
11. K. Strehl and L. Thiele, "Symbolic Model Checking of Process Networks using Interval Diagram Techniques," in ICCAD '98: International Conference on Computer-Aided Design, 1998, pp. 686-692.
12. J.-M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P.-A. Wacrenier, "Data Decision Diagrams for Petri Net Analysis," in ATPN '02: Applications and Theory of Petri Nets, 2002, pp. 101-120.
13. J.-M. Couvreur and Y. Thierry-Mieg, "Hierarchical Decision Diagrams to Exploit Model Structure," in FORTE '05: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, 2005, pp. 443-457.
14. Y.-T. Lai and S. Sastry, "Edge-valued Binary Decision Diagrams for Multi-Level Hierarchical Verification," in DAC '92: 29th International Conference on Design Automation, 1992, pp. 608-613.
15. G. Ciardo and R. Siminiceanu, "Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths," in FMCAD '02: Int. Conf. on Formal Methods in Computer-Aided Design, 2002, pp. 256-273.
16. J. Ossowski and C. Baier, "A Uniform Framework for Weighted Decision Diagrams and its Implementation," Int. Journal on Software Tools for Technology Transfer, vol. 10, no. 5, pp. 425-441, 2008.
17. M. Fujita, P. C. McGeer, and J. C.-Y. Yang, "Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation," Formal Methods in System Design, vol. 10, no. 2-3, pp. 149-169.
18. S. J. Friedman and K. J. Supowit, "Finding the Optimal Variable Ordering for Binary Decision Diagrams," IEEE Transactions on Computers, vol. 39, no. 5, pp. 710-713, 1990.
19. S. Tani, K. Hamaguchi, and S. Yajima, "The Complexity of the Optimal Variable Ordering Problem of Shared Binary Decision Diagrams," in ISAAC '93: 4th International Symposium on Algorithms and Computation, vol. 762, 1993.
20. B. Bollig and I. Wegener, "Improving the Variable Ordering of OBDDs Is NP-Complete," IEEE Transactions on Computers, vol. 45, no. 9, pp. 993-1002, 1996.