G. Provan and J. Wang (Ireland)
Modeling (Model Development, Automated Model Gen eration, Diagnostics).
It is critical to use automated generators for synthetic mod els and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models by hand. We describe an automated generator for benchmark models that is based on using a compositional modeling framework and employs graphical models for the system topology. We propose two novel topological models, and demonstrate their advantages, over existing graphical mod els, in better capturing the topological and functional prop erties of a class of real system, discrete circuits. We com pare generated models to real systems (drawn from the ISCAS benchmark suite) according to two criteria: topo logical fidelity and diagnostics efficiency. Based on this comparison we identify parameters necessary for the auto generated models to generate benchmark diagnosis circuit models with realistic properties.
Important Links:
Go Back
