A benchmark diagnostic model generation system

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 40, Issue 5, 2010, Pages 959-981

  Wang, Jun ^a   Provan, Gregory ^b  

^a FUJITSU LABORATORIES OF AMERICA   (United States)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

Benchmark model generation; compositional modeling; diagnosis

Indexed keywords

BEHAVIORAL MODEL; BENCHMARK MODELS; BENCHMARK SUITES; COMPOSITIONAL MODELING; CONTROL MODEL; DIAGNOSTIC EFFICIENCY; DIAGNOSTIC MODEL; DIFFERENT DOMAINS; DOMAIN ANALYSIS; EMPIRICAL ANALYSIS; GRAPHICAL MODEL; PROCESS-CONTROL SYSTEM; REALISTIC PROPERTIES; SYNTHETIC MODELS; SYSTEM LEVELS; SYSTEM TOPOLOGY; THREE-STEP PROCESS; TOPOLOGY GENERATION;

PROCESS CONTROL; TOPOLOGY;

MATHEMATICAL MODELS;

EID: 77955850245     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2010.2052039     Document Type: Article

References (116)

1. H. Kautz, B. Selman, and J. Hoffmann, "SatPlan: Planning as satisfiability," in Abstracts of the 5th Int. Plan. Competition, 2006.
2. P. D. Kundarewich and J. Rose, "Synthetic circuit generation using clustering and iteration," in Proc. ACM/SIGDA 11th Int. Symp. FPGA, 2003, p. 245.
3. D. Stroobandt, P. Verplaetse, and J. van Campenhout, "Towards synthetic benchmark circuits for evaluating timing-driven CAD tools," in Proc. ISPD, 1999, pp. 60-66.
4. M. Bhushan and R. Rengaswamy, "Comprehensive design of a sensor network for chemical plants based on various diagnosability and reliability criteria. 1. Framework," Ind. Eng. Chem. Res., vol.41, no.7, pp. 1826-1839, Apr. 2002. (Pubitemid 34270083)
5. D. Dvorak and B. Kuipers, "Process monitoring and diagnosis: A model-based approach," IEEE Expert, vol.6, no.3, pp. 67-74, Jun. 1991.
6. J. Castro and F. J. Doyle, III, "A pulp mill benchmark problem for control: Problem description," J. Process Control, vol.14, no.1, pp. 17-29, Feb. 2004.
7. T. Van den Bulcke, K. Van Leemput, B. Naudts, P. van Remortel, H. Ma, A. Verschoren, B. De Moor, and K. Marchal, "SynTReN: A generator of synthetic gene expression data for design and analysis of structure learning algorithms," BMC Bioinformatics, vol.7, no.1, p. 43, 2006.
8. J. E. Harlow, "Overview of popular benchmark sets," IEEE Des. Test Comput., vol.17, no.3, pp. 15-17, Jul.-Sep. 2000.
9. M. Barty, R. Patton, M. Syfert, S. de las Heras, and J. Quevedo, "Introduction to the DAMADICS actuator FDI benchmark study," Control Eng. Pract., vol.14, no.6, pp. 577-596, Jun. 2006.
10. J. Keppens and Q. Shen, "On compositional modelling," Knowl. Eng. Rev., vol.16, no.2, pp. 157-200, Mar. 2001.
11. J. Broenink, "Bond-graph modeling in Modelica," in Proc. ESS, 1997, pp. 137-141.
12. J. Broenink, "20-sim software for hierarchical bond-graph/block- diagram models," Simul. Pract. Theory, vol. 7, no. 5/6, pp. 481-492, Dec. 1999.
13. MATLAB Simulink. [Online]. Available: www.mathworks.com/products/ simulink/
14. N. Mazzocca and V. Vittorini, "Compositional modeling of complex systems: Contact center scenarios in OsMoSys," in Proc. 25th ICATPN, Bologna, Italy, Jun. 21-25, 2004, pp. 177-196.
15. S. Boccaletti, V. Latora, Y. Moreno, M. Chavez, and D.-U. Hwang, "Complex networks: Structure and dynamics," Phys. Rep., vol. 424, no. 4/5, pp. 175-308, Feb. 2006.
16. R. F. I. Cancho, C. Janssen, and R. V. Solé, "Topology of technology graphs: Small world patterns in electronic circuits," Phys. Rev. E, Stat. Phys. Plasmas Fluids Relat. Interdiscip. Top., vol.64, no.4, p. 046 119, Sep. 2001.
17. M. E. J. Newman, "The structure and function of complex networks," SIAM Rev., vol.45, no.2, pp. 167-256, Jun. 2003.
18. A. L. Barabasi and R. Albert, "Emergence of scaling in random networks," Science, vol.286, no.5439, pp. 509-512, Oct. 1999.
19. D. J. Watts and S. H. Strogatz, "Collective dynamics of 'small-world' networks," Nature, vol.393, no.6684, pp. 440-442, Jun. 1998.
20. L. A. Amaral, A. Scala, M. Barthelemy, and H. E. Stanley, "Classes of small-world networks," Proc. Nat. Acad. Sci. U.S.A., vol.97, no.21, pp. 11 149-11 152, Oct. 2000.
21. G. M. Provan and J. Wang, "Automated benchmark model generators for model-based diagnostic inference," in Proc. IJCAI, 2007, pp. 513-518.
22. R. Reiter, "A theory of diagnosis from first principles," Artif. Intell., vol.32, no.1, pp. 57-95, Apr. 1987.
23. P. Frank, "Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy\A survey and some new results," Auto-matica, vol.26, no.3, pp. 459-474, May 1990.
24. P. Frank, S. Ding, and T. Marcu, "Model-based fault diagnosis in technical processes," Trans. Inst. Meas. Control, vol.22, no.1, pp. 57-101, 2000.
25. G. Gößler and J. Sifakis, "Composition for component-based modeling," Sci. Comput. Program., vol.55, no.1-3, pp. 161-183, Mar. 2005.
26. J. de Kleer, A. Mackworth, and R. Reiter, "Characterizing diagnoses and systems," Artif. Intell., vol. 56, no. 2/3, pp. 197-222, Aug. 1992.
27. S. Srinivas, "A probabilistic approach to hierarchical model-based diagnosis," in Proc. UAI, 1994, pp. 538-545.
28. P. Lucas, "Bayesian model-based diagnosis," Int. J. Approx. Reason., vol.27, no.2, pp. 99-119, Aug. 2001.
29. W. Callebaut and D. Rasskin-Gutman, Modularity: Understanding the Development and Evolution of Natural Complex Systems. Cambridge, MA: MIT Press, 2005.
30. L. Hartwell, J. Hopfield, S. Leibler, and A. Murray, "From molecular to modular cell biology," Nature, vol. 402, no. 6761Supp, pp. C47-C52, Dec. 1999.
31. G. Wagner and L. Altenberg, "Complex adaptations and the evolution of evolvability," Evolution, vol.50, no.3, pp. 967-976, 1996.
32. R. Thomas, "Hierarchical integration of modular structures in the evolution of animal skeletons," in Modularity: Understanding the Development and Evolution of Natural Complex Systems. Cambridge, MA: MIT Press, 2005.
33. R. Randhawa, C. Shaffer, and J. Tyson, "Model composition for macro-molecular regulatory networks," IEEE/ACM Trans. Comput. Biol. Bioin-formatics, vol.7, no.2, pp. 278-287, Apr.-Jun. 2010.
34. H. Soueidan, M. Nikolski, and D. Sherman, "BioRica: A multi model description and simulation system," in Proc. FOSBE, Stuttgart, Germany, Sep. 2007, pp. 279-287.
35. P. Woodbury, R. Beloin, D. Swaney, B. Gollands, and D. Weinstein, "Using the ECLPSS software environment to build a spatially explicit component-based model of ozone effects on forest ecosystems," Ecological Model., vol.150, no.3, pp. 211-238, May 2002.
36. N. Suh, The Principles of Design. New York: Oxford Univ. Press, 1990.
37. J. Liu and E. Lee, "A component-based approach to modeling and simulating mixed-signal and hybrid systems," ACM Trans. Model. Comput. Simul.(TOMACS), vol.12, no.4, pp. 343-368, Oct. 2002.
38. E. Manders, G. Biswas, N. Mahadevan, and G. Karsai, "Component- oriented modeling of hybrid dynamic systems using the generic modeling environment," in Proc. 4th Workshop Model-Based Develop. Comput. Based Syst., Potsdam, Germany, 2006, pp. 159-168.
39. S. Burmester, H. Giese, and O. Oberschelp, "Hybrid UML components for the design of complex self-optimizing mechatronic systems," in Proc. 1st ICINCO, Setubal, Portugal, 2004, pp. 222-229.
40. M. Daigle, I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Efficient simulation of component-based hybrid models represented as hybrid bond graphs," in Proc. HSCC, vol.4416, Lecture Notes in Computer Science, 2007, pp. 680-683.
41. B. Denckla and P. Mosterman, "Formalizing causal block diagrams for modeling a class of hybrid dynamic systems," in Proc. 44th IEEE CDC-ECC, 2005, pp. 4193-4198.
42. G. Gößler, S. Graf, M. E. Majster-Cederbaum, M. Martens, and J. Sifakis, "An approach to modelling and verification of component based systems," in Proc. SOFSEM (1), 2007, pp. 295-308.
43. H. Nilsson, J. Peterson, and P. Hudak, "Functional hybrid modeling," in Proc. PADL, vol.2562, Lecture Notes in Computer Science, 2003, pp. 376-390.
44. A. Darwiche, "Model-based diagnosis using structured system descriptions," J. Artif. Intell. Res., vol.8, no.1, pp. 165-222, Jan. 1998.
45. J. Keppens and Q. Shen, "Causality enabled compositional modelling of Bayesian networks," in Proc. 18th Int. Workshop Qualitative Reason. About Phys. Syst., 2004, pp. 33-40.
46. A. Breunese, J. Broenink, J. Top, and J. Akkermans, "Libraries of reusable models: Theory and application," Simulation, vol.71, no.1, pp. 7-22, 1998.
47. E. Posse, J. de Lara, and H. Vangheluwe, "Processing causal block diagrams with graph-grammars in AToM 3," in Proc. ETAPS, Workshop AGT, 2002, pp. 23-34.
48. L. Han, C. J. J. Paredis, and P. K. Khosla, "Object-oriented libraries of physical components in simulation and design," in Proc. 2001 Summer Comput. Simul. Conf., Orlando, FL, Jul. 15-19, 2001, pp. 1-8.
49. F. Cellier, "Hierarchical non-linear bond graphs: A unified methodology for modeling complex physical systems," Simulation, vol.58, no.4, pp. 230-248, 1992.
50. P. Mendes, W. Sha, and K. Ye, "Artificial gene networks for objective comparison of analysis algorithms," Bioinformatics, vol.19 Suppl 2, pp. 122-129, Oct. 2003.
51. M. D. Hutton, J. Rose, J. P. Grossman, and D. G. Corneil, "Characterization and parameterized generation of synthetic combinational benchmark circuits," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol.17, no.10, pp. 985-996, Oct. 1998.
52. P. Verplaetse, J. Van Campenhout, and D. Stroobandt, "On synthetic benchmark generation methods," in Proc. IEEE Int. Symp. Circuits Syst., 2000, pp. 213-216.
53. D. Stroobandt, "Analytical methods for a priori wire length estimates in computer systems," Ph.D. dissertation, Ghent Univ., Ghent, Belgium, 2001.
54. P. Mahadevan, D. V. Krioukov, K. R. Fall, and A. Vahdat, "Systematic topology analysis and generation using degree correlations," in Proc. SIGCOMM, 2006, pp. 135-146.
55. C. T. Harbison, B. D. Gordon, T. I. Lee, N. J. Rinaldi, K. D. Macisaac, T. W. Danford, N. M. Hannett, J.-B. Tagne, D. B. Reynolds, J. Yoo, E. G. Jennings, J. Zeitlinger, D. K. Pokholok, M. Kellis, A. P. Rolfe, K. T. Takusagawa, E. S. Lander, D. K. Gifford, E. Fraenkel, and R. A. Young, "Transcriptional regulatory code of a eukaryotic genome," Nature, vol.431, no.7004, pp. 99-104, Sep. 2004.
56. S. S. Shen-Orr, R. Milo, S. Mangan, and U. Alon, "Network motifs in the transcriptional regulation network of Escherichia coli," Nat. Genet., vol.31, no.1, pp. 64-68, May 2002.
57. D. E. Zak, G. E. Gonye, J. S. Schwaber, and F. J. Doyle, "Importance of input perturbations and stochastic gene expression in the reverse engineering of genetic regulatory networks: Insights from an identifiability analysis of an in silico network," Genome Res., vol.13, no.11, pp. 2396-2405, Nov. 2003.
58. N. Barkai and S. Leibler, "Circadian clocks limited by noise," Nature, vol.403, no.6636, pp. 267-268, Jan. 2000.
59. R. Milo, S. Shen-Orr, S. Itzkovitz, N. Kashtan, D. Chklovskii, and U. Alon, "Network motifs: Simple building blocks of complex networks," Science, vol.298, no.5594, pp. 824-827, Oct. 2002.
60. L. Costa, F. Rodrigues, G. Travieso, and P. Boas, "Characterization of complex networks: A survey of measurements," Adv. Phys., vol.56, no.1, pp. 167-242, Jan. 2007.
61. D. Chakrabarti and C. Faloutsos, "Graph mining: Laws, generators, and algorithms," ACM Comput. Surv., vol.38, no.1, pp. 1-69, 2006.
62. D. Christie and P. Stroobandt, "The interpretation and application of Rent's rule," IEEE Trans. Very Large Scale Integr.(VLSI) Syst., vol.8, no.6, pp. 639-648, Dec. 2000.
63. Y. He, Z. J. J. Chen, and A. C. C. Evans, "Small-world anatomical networks in the human brain revealed by cortical thickness from MRI," Cereb Cortex, vol.17, no.10, pp. 2407-2419, Oct. 2007.
64. R. M. D'Souza, C. Borgs, J. T. Chayes, N. Berger, and R. D. Kleinberg, "Emergence of tempered preferential attachment from optimization," Proc. Nat. Acad. Sci. U.S.A., vol.104, no.15, pp. 6112-6117, Apr. 2007.
65. N. Mathias and V. Gopal, "Small worlds: How and why," Phys. Rev. E, Stat. Phys. Plasmas Fluids Relat. Interdiscip. Top., vol.63, no.2, p. 021117, Feb. 2001.
66. N. Przulj, "Biological network comparison using graphlet degree distribution," Bioinformatics, vol.23, no.2, pp. e177-e183, Jan. 2007.
67. L. Li, J. C. Doyle, and W. Willinger, "Towards a theory of scale-free graphs: Definition, properties, and implications," Internet Math., vol.2, no.4, pp. 431-523, Mar. 2006.
68. N. Przulj, D. G. Corneil, and I. Jurisica, "Modeling interactome: Scale-free or geometric?" Bioinformatics, vol.20, no.18, pp.3508-3515, Dec. 2004.
69. M. Middendorf, E. Ziv, and C. H. Wiggins, "Inferring network mechanisms: The Drosophila melanogaster protein interaction network," Proc. Nat. Acad. Sci. U.S.A., vol.102, no.9, pp. 3192-3197, Mar. 1, 2005.
70. H. L. Bodlaender, "Treewidth of graphs," in Encyclopedia of Algorithms. New York: Springer-Verlag, 2008.
71. T. Eiter and G. Gottlob, "The complexity of logic-based abduction," J. ACM, vol.42, no.1, pp. 3-42, Jan. 1995.
72. G. M. Provan, "An empirical analysis of the complexity of model-based diagnosis," in Proc. ECAI, 2006, pp. 783-784.
73. M. Grohe and J. Flum, Parameterized Complexity Theory. New York: Springer-Verlag, 2006.
74. A. Feldman, G. M. Provan, and A. J. C. van Gemund, "Computing observation vectors for max-fault min-cardinality diagnoses," in Proc. AAAI, 2008, pp. 919-924.
75. J. de Kleer, "An assumption-based TMS," Artif. Intell., vol.28, no.2, pp. 127-162, Mar. 1986.
76. A. Feldman, G. M. Provan, and A. J. C. van Gemund, "Computing minimal diagnoses by greedy stochastic search," in Proc. AAAI, 2008, pp. 911-918.
77. G. Gottlob and S. Szeider, "Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems," Comput. J., vol.51, no.3, pp. 303-325, May 2008.
78. A. Ferrara, G. Pan, and M. Vardi, "Treewidth in verification: Local vs. global," in Proc. LPAR, vol.3835, Lecture Notes in Computer Science, 2005, pp. 489-503.
79. D. Krioukov, K. Claffy, M. Fomenkov, F. Chung, A. Vespignani, and W. Willinger, "The workshop on Internet topology (WIT) report," SIGCOMM Comput. Commun. Rev., vol.37, no.1, pp. 69-73, 2007.
80. F. R. K. Chung, L. Lu, T. G. Dewey, and D. J. Galas, "Duplication models for biological networks," J. Comput. Biol., vol.10, no.5, pp. 677-687, 2003.
81. F. Viger and M. Latapy, "Efficient and simple generation of random simple connected graphs with prescribed degree sequence," in Proc. COCOON, 2005, pp. 440-449.
82. J. Wang and G. M. Provan, "Generating application-specific benchmark model for complex systems," in Proc. AAAI, 2008, pp. 566-571.
83. F. Hormozdiari, P. Berenbrink, N. Przulj, and S. C. C. Sahinalp, "Not all scale-free networks are born equal: The role of the seed graph in PPI network evolution," PLoS Comput. Biol., vol.3, no.7, p. e118, Jul. 2007.
84. J. Dambre, "Prediction of interconnect properties for digital circuit design and technology exploration," Ph.D. dissertation, Ghent Univ., Faculty Eng., Ghent, Belgium, 2003.
85. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, "Optimization by simulated annealing," Science, vol.220, no.4598, pp. 671-680, May 13, 1983.
86. W. H. Press, S. A. Teukolsky, W. T. Vettering, and B. P. Flannery, Numerical Recipes in C++. The Art of Scientific Computing, 2nd ed. Cambridge, U.K.: Cambridge Univ. Press, Feb. 2002.
87. M. C. Hansen, H. Yalcin, and J. P. Hayes, "Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering," IEEE Des. Test Com-put., vol.16, no.3, pp. 72-80, Jul.-Sep. 1999.
88. R. Guimera and L. Amaral, "Modeling the world-wide airport network," Eur. Phys. J. B\Condens. Matter, vol.38, no.2, pp. 381-385, Mar. 2004.
89. R. Guimera, S. Mossa, A. Turtschi, and L. A. N. Amaral, "The worldwide air transportation network: Anomalous centrality, community structure, and cities' global roles," Proc. Nat. Acad. Sci., vol.102, no.22, pp. 7794-7799, May 2005.
90. S.-H. Yook, H. Jeong, and A.-L. Barabasi, "Modeling the Internet's large-scale topology," Proc. Nat. Acad. Sci. U.S.A., vol.99, no.21, pp. 13 382-13 386, Oct. 2002.
91. D. Stroobandt, "A priori wire length distribution models with multiter-minal nets," IEEE Trans. Very Large Scale Integr.(VLSI) Syst., vol.11, no.1, pp. 35-43, Feb. 2003.
92. G. Lee, T. Tosukhowong, and J. Lee, "Fault detection and diagnosis of pulp mill process," Comput. Aided Chem. Eng., vol. 21, no. B, pp. 1461-1466, 2006.
93. A. Samantaray and S. Ghoshal, "Sensitivity bond graph approach to multiple fault isolation through parameter estimation," Proc. Inst. Mech. Eng., Part I: J. Syst. Control Eng., vol.221, no.4, pp. 577-587, 2007.
94. M. Barthélemy, "Crossover from scale-free to spatial networks," Euro-phys. Lett., vol.63, no.6, pp. 915-921, Sep. 2003.
95. J. Wang and G. Provan, "Topological analysis of specific spatial complex networks," Adv. Complex Syst., vol.12, no.1, pp. 45-71, Feb. 2009.
96. J. Wang and G. Provan, "A comparative analysis of specic spatial network topological models," in Proc. Int. Conf. Complex Sci.: Theory Appl., 2009, vol.5, pp. 1514-1525.
97. J. Wang and G. Provan, "Characterizing the structural complexity of real-world complex networks," in Proc. Int. Conf. Complex Sci.: Theory Appl., 2009, vol.4, pp. 1178-1189.
98. F. Jensen, S. Lauritzen, and K. Olesen, "Bayesian updating in recursive graphical models by local computations," Comput. Statist. Q., vol.4, pp. 269-282, 1990.
99. P. Torasso, "Compact diagnoses representation in diagnostic problem solving," Comput. Intell., vol.21, no.1, pp. 27-68, Feb. 2005.
100. Y. Zhao and A. Doboli, "Finding broad-scale patterns in large size electronic circuit netlists," in Proc. 48th Midwest Symp. Circuits Syst., Aug. 2005, pp. 307-310.
101. C.-K. Cheng, A. Kahng, and B. Liu, "Interconnect implications of growth-based structural models for VLSI circuits," in Proc. ACM Int. Workshop Syst.-Level Interconnect Prediction, Apr. 2001, pp. 99-106.
102. R. Duboz and C. Cambier, "Small world properties in a DSDEVS model of ecosystem," in Proc. OICMS, 2005, pp. 65-71.
103. J. Keppens and Q. Shen, "Granularity and disaggregation in compositional modelling with applications to ecological systems," Appl. Intell., vol.25, no.3, pp. 269-292, Dec. 2006.
104. F. E. Cellier, H. Elmqvist, and M. Otter, "Modeling from physical principles," in The Control Handbook, W. S. Levine, Ed. Boca Raton, FL: CRC Press, 1995, pp. 99-108.
105. D. Karnopp, D. Margolis, and R. Rosenberg, Systems Dynamics: A Unified Approach., 2nd ed. Hoboken, NJ: Wiley, 1990.
106. B. Bouamama, A. Samantaray, K. Medjaher, M. Staroswiecki, and G. Dauphin-Tanguy, "Model builder using functional and bond graph tools for FDI design," Control Eng. Pract., vol.13, no.7, pp. 875-891, Jul. 2005.
107. B. Bouamama, "Bond graph approach as analysis tool in thermofluid model library conception," J. Franklin Inst., vol.340, no.1, pp. 1-23, Jan. 2003.
108. G. Gossler and J. Sifakis, "Composition for component-based modeling," in Proc. 1st Int. Symp. FMCO, Leiden, The Netherlands, Nov. 5-8, 2002.
109. B. Denckla and P. Mosterman, "Block diagrams as a syntactic extension to Haskell," in Proc. Workshop on Multi-Paradigm Modeling: Concepts and Tools at the 9th Int. Conf. Model-Driven Eng. Lang. Syst., Genoa, Italy, Oct. 3, 2006, pp. 67-79.
110. F. Cellier and R. McBride, "Object-oriented modeling of complex physical systems using the Dymola bond-graph library," in Proc. ICBGM, 2003, pp. 19-23.
111. P. Fritzson Principles of Object-Oriented Modeling and Simulation With Modelica 2.1. New York: Wiley-IEEE, 2004.
112. G. Gottlob, R. Pichler, and F. Wei, "Bounded treewidth as a key to tractability of knowledge representation and reasoning," in Proc. AAAI, 2006, pp. 250-256.
113. S. Siddiqi and J. Huang, "Hierarchical diagnosis of multiple faults," in Proc. 20th IJCAI, 2007, pp. 581-586.
114. A. Santana and G. M. Provan, "An analysis of Bayesian network model-approximation techniques," in Proc. ECAI, 2008, pp. 851-852.
115. A. Venturini and G. M. Provan, "Incremental algorithms for approximate compilation," in Proc. AAAI, 2008, pp. 1495-1498.
116. I. Bezáková, A. Kalai, and R. Santhanam, "Graph model selection using maximum likelihood," in Proc. 23rd ICML, 2006, pp. 105-112.