{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:30Z","timestamp":1759032390711},"reference-count":116,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/tsmca.2010.2052039","type":"journal-article","created":{"date-parts":[[2010,7,8]],"date-time":"2010-07-08T20:22:04Z","timestamp":1278620524000},"page":"959-981","source":"Crossref","is-referenced-by-count":3,"title":["A Benchmark Diagnostic Model Generation System"],"prefix":"10.1109","volume":"40","author":[{"given":"Jun","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Provan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"222","article-title":"Hybrid UML components for the design of complex self-optimizing mechatronic systems","author":"burmester","year":"2004","journal-title":"Proc 1st ICINCO"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/MBD-MOMPES.2006.6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2008.64"},{"key":"ref32","author":"thomas","year":"2005","journal-title":"Modularity Understanding the Development and Evolution of Natural Complex Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2307\/2410639"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1038\/35011540"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643125"},{"key":"ref36","author":"suh","year":"1990","journal-title":"The Principles of Design"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3800(01)00465-3"},{"key":"ref34","first-page":"279","article-title":"biorica: a multi model description and simulation system","author":"soueidan","year":"2007","journal-title":"Proc FOSBE"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(01)00036-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-332-5.50073-0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4734.001.0001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.200327197"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref21","first-page":"513","article-title":"automated benchmark model generators for model-based diagnostic inference","author":"provan","year":"2007","journal-title":"Proc IJCAI"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1191\/014233100676786880"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","article-title":"Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy—A survey and some new results","volume":"26","author":"frank","year":"1990","journal-title":"Automatica"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1145\/368640.368730"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2005.1594100"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg1069"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/43.728919"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1126\/science.298.5594.824"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1038\/35002258"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1101\/gr.1198103"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1038\/ng881"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1038\/nature02800"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1159913.1159930"},{"key":"ref53","author":"stroobandt","year":"2001","journal-title":"Analytical Methods for a priori Wire Length Estimates in Computer systems"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858726"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_60"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1021\/ie0104363"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/299996.300023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0959-1524(03)00011-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/64.87688"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/54.867889"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-7-43"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1177\/003754979205800404"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2005.06.015"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1177\/003754979807100101"},{"key":"ref45","first-page":"33","article-title":"causality enabled compositional modelling of bayesian networks","author":"keppens","year":"2004","journal-title":"Proc 18th Int Workshop Qualitative Reason About Phys Syst"},{"key":"ref48","first-page":"1","article-title":"Object-oriented libraries of physical components in simulation and design","author":"han","year":"2001","journal-title":"Proc 2001 Summer Comput Simul Conf"},{"key":"ref47","first-page":"23","article-title":"processing causal block diagrams with graph-grammars in atom 3","author":"posse","year":"2002","journal-title":"Proc ETAPS Workshop AGT"},{"key":"ref42","first-page":"295","article-title":"An approach to modelling and verification of component based systems","author":"gler","year":"2007","journal-title":"Proc SOFSEM (1)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582820"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1613\/jair.462"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36388-2_25"},{"key":"ref73","author":"grohe","year":"2006","journal-title":"Parameterized Complexity Theory"},{"key":"ref72","first-page":"783","article-title":"an empirical analysis of the complexity of model-based diagnosis","author":"provan","year":"2006","journal-title":"Proc ECAI"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200838"},{"key":"ref70","author":"bodlaender","year":"2008","journal-title":"Encyclopedia of Algorithms"},{"key":"ref76","first-page":"911","article-title":"computing minimal diagnoses by greedy stochastic search","author":"feldman","year":"2008","journal-title":"Proc AAAI"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm056"},{"key":"ref74","first-page":"919","article-title":"computing observation vectors for max-fault min-cardinality diagnoses","author":"feldman","year":"2008","journal-title":"Proc AAAI"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_34"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1198255.1198267"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1080\/00018730601170527"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/92.902258"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1132952.1132954"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1093\/cercor\/bhl149"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0606779104"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.63.021117"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl301"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1080\/15427951.2005.10129111"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth436"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/611817.611875"},{"key":"ref69","doi-asserted-by":"crossref","first-page":"3192","DOI":"10.1073\/pnas.0409515102","article-title":"Inferring network mechanisms: The Drosophila melanogaster protein interaction network","volume":"102","author":"middendorf","year":"2005","journal-title":"Proc Nat Acad Sci U S A"},{"key":"ref1","article-title":"SatPlan: Planning as satisfiability","author":"kautz","year":"2006","journal-title":"Abstracts of the 5th Int Plan Competition"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1142\/S0219525909002052"},{"key":"ref109","first-page":"67","article-title":"block diagrams as a syntactic extension to haskell","author":"denckla","year":"2006","journal-title":"Proc Workshop on Multi-Paradigm Modeling Concepts and Tools at the 9th Int Conf Model-Driven Eng Lang Syst"},{"key":"ref94","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1209\/epl\/i2003-00600-6","article-title":"Crossover from scale-free to spatial networks","volume":"63","author":"barthlemy","year":"2003","journal-title":"Europhys Lett"},{"key":"ref108","article-title":"Composition for component-based modeling","author":"gossler","year":"2002","journal-title":"Proc 1st Int Symp FMCO"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1243\/09596518JSCE369"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1016\/S0016-0032(02)00051-0"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7946(06)80253-1"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.10.002"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.810002"},{"key":"ref105","author":"karnopp","year":"1990","journal-title":"Systems Dynamics A Unified Approach"},{"key":"ref90","doi-asserted-by":"crossref","first-page":"13382","DOI":"10.1073\/pnas.172501399","article-title":"Modeling the Internet's large-scale topology","volume":"99","author":"yook","year":"2002","journal-title":"Proc Nat Acad Sci U S A"},{"key":"ref104","first-page":"99","author":"cellier","year":"1995","journal-title":"The Control Handbook"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-006-0107-y"},{"key":"ref102","first-page":"65","article-title":"small world properties in a dsdevs model of ecosystem","author":"duboz","year":"2005","journal-title":"Proc OICMS"},{"key":"ref111","author":"fritzson","year":"2004","journal-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2 1"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.10.003"},{"key":"ref110","first-page":"19","article-title":"object-oriented modeling of complex physical systems using the dymola bond-graph library","author":"cellier","year":"2003","journal-title":"Proc ICBGM"},{"key":"ref98","first-page":"269","article-title":"Bayesian updating in recursive graphical models by local computations","volume":"4","author":"jensen","year":"1990","journal-title":"Comput Statist Q"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1111\/j.0824-7935.2005.00264.x"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02469-6_31"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02466-5_118"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888901000091"},{"key":"ref11","first-page":"137","article-title":"bond-graph modeling in modelica","author":"broenink","year":"1997","journal-title":"Proc ESS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0928-4869(99)00018-X"},{"key":"ref13","year":"0","journal-title":"Matlab and Simulink"},{"key":"ref14","first-page":"177","article-title":"Compositional modeling of complex systems: Contact center scenarios in OsMoSys","author":"mazzocca","year":"2004","journal-title":"Proc 25th ICATPN"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2005.10.009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.64.046119"},{"key":"ref82","first-page":"566","article-title":"generating application-specific benchmark model for complex systems","author":"wang","year":"2008","journal-title":"Proc AAAI"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/S003614450342480"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/11533719_45"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1126\/science.286.5439.509","article-title":"Emergence of scaling in random networks","volume":"286","author":"barabasi","year":"1999","journal-title":"Science"},{"key":"ref84","author":"dambre","year":"2003","journal-title":"Prediction of interconnect properties for digital circuit design and technology exploration"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/30918"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0030118"},{"key":"ref114","first-page":"851","article-title":"an analysis of bayesian network model-approximation techniques","author":"santana","year":"2008","journal-title":"Proc ECAI"},{"key":"ref113","first-page":"581","article-title":"Hierarchical diagnosis of multiple faults","author":"siddiqi","year":"2007","journal-title":"Proc 20th IJCAI"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143858"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1089\/106652703322539024"},{"key":"ref115","first-page":"1495","article-title":"incremental algorithms for approximate compilation","author":"venturini","year":"2008","journal-title":"Proc AAAI"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0407994102"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"ref86","author":"press","year":"2002","journal-title":"Numerical Recipes in C++ The Art of Scientific Computing"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1140\/epjb\/e2004-00131-0"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/5550326\/05499135.pdf?arnumber=5499135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T11:02:54Z","timestamp":1640257374000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5499135\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":116,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2010.2052039","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}