Interactive tree decomposition tool for reducing system analysis complexity

Procedia Computer Science

Volumn 16, Issue , 2013, Pages 138-147

  Yang, Shahan ^a   Wang, Baobing ^a   Baras, John S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84898712135     PISSN: 18770509     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2013.01.015     Document Type: Conference Paper

References (14)

1. J. Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988.
2. S. Arnborg, A. Proskurowski, Linear time algorithms for np-hard problems restricted to partial k-trees, Discrete Appl. Math. 23 (1) (1989) 11-24.
3. H. Bodlaender, Dynamic programming on graphs with bounded treewidth, Automata, Languages and Programming (1988) 105-118.
4. S. Yang, J. S. Baras, Factor join trees for systems exploration, in: International Conference on Software and Systems Engineering and their Applications, 2011, pp. 1-10.
5. M. D. Guenov, Complexity and cost effectiveness measures for systems design, in: Manufacturing Complexity Network Conference, 2002, pp. 1-13.
6. S. C. Y. Lu, N.-P. Suh, Complexity in design of technical systems, CIRP Annals - Manufacturing Technology 58 (1) (2009) 157 - 160.
7. E. Clarke, Compositional model checking, in: Proceedings of Fourth Annual Symposium on Logic in Computer Science, 1989, pp. 353 - 362.
8. K. L. McMillan, Symbolic model checking: An approach to the state explosion problem, Ph.D. thesis, UMI Order No. GAX92-24209 (1992).
9. A. Biere, A. Cimatti, E. M. Clarke, Y. Zhu, Symbolic model checking without bdds, in: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99, 1999, pp. 193-207.
10. E. Clarke, Computer-aided verification, IEEE Spectrum 33 (6) (1996) 61 - 67.
11. B. Wang, J. Baras, Performance analysis of time-critical peer-to-peer communications in IEEE 802.15.4 networks, in: IEEE ICC, 2011, pp. 1-6.
12. S. Yang, Y. Zhou, J. S. Baras, Compositional analysis of dynamic bayesian networks and applications to CPS, in: Conference on Systems Engineering Research (CSER), 2013, pp. 1-10.
13. F. V. Jensen, T. D. Nielsen, Bayesian Networks and Decision Graphs, 2nd Edition, 2007.
14. L. Ibarra, The clique-separator graph for chordal graphs, Discrete Appl. Math. 157 (8) (2009) 1737-1749.