{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T15:39:18Z","timestamp":1777131558918,"version":"3.51.4"},"reference-count":76,"publisher":"MDPI AG","issue":"6","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100011698","name":"Junta de Comunidades de Castilla-La Mancha","doi-asserted-by":"publisher","award":["SBPLY\/19\/180501\/000102"],"award-info":[{"award-number":["SBPLY\/19\/180501\/000102"]}],"id":[{"id":"10.13039\/501100011698","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010198","name":"Ministerio de Econom\u00eda, Industria y Competitividad, Gobierno de Espa\u00f1a","doi-asserted-by":"publisher","award":["DPI2015-67264-P"],"award-info":[{"award-number":["DPI2015-67264-P"]}],"id":[{"id":"10.13039\/501100010198","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>New wind turbines are becoming more complex and reliability analysis of them rising in complexity. The systems are composed of many components. Fault tree is used as an useful tool to analyze these interrelations and provide a scheme of the wind turbine, to get a quick overview of the behavior of the system under certain conditions of the components. However, it is complicated and in some cases not possible, to identify the conditions that would generate a wind turbine failure. A quantitative and qualitative reliability analysis of the wind turbine is proposed in this study. Binary decision diagrams are employed as a suitable and operational method to facilitate this analysis and to get an analytical expression by the Boolean functions. The size of the binary decision diagram, i.e., the computational cost for solving the problem, has an important dependence on the order of the components or events considered. Different heuristic ranking methods are used to find an optimal order or one closed, and to validate the results: AND, level, top-down-left-right, deep-first search and breadth-first-search. Birnbaum and criticality importance measures are proposed to evaluate the relevance of each component. This analysis leads to classify the events according to their importance with respect to the probability of the top event. This analysis provides the basis for making medium and long-term maintenance strategies.<\/jats:p>","DOI":"10.3390\/info11060324","type":"journal-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T05:56:27Z","timestamp":1592200587000},"page":"324","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":60,"title":["Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams"],"prefix":"10.3390","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9245-440X","authenticated-orcid":false,"given":"Fausto Pedro","family":"Garc\u00eda M\u00e1rquez","sequence":"first","affiliation":[{"name":"Ingenium Research Group, University of Castilla-La Mancha, 13071 Ciudad Real, Spain"}]},{"given":"Isaac","family":"Segovia Ram\u00edrez","sequence":"additional","affiliation":[{"name":"Ingenium Research Group, University of Castilla-La Mancha, 13071 Ciudad Real, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0255-8353","authenticated-orcid":false,"given":"Behnam","family":"Mohammadi-Ivatloo","sequence":"additional","affiliation":[{"name":"Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz 5166616471, Iran"}]},{"given":"Alberto Pliego","family":"Marug\u00e1n","sequence":"additional","affiliation":[{"name":"Business &amp; Marketing School, ESIC, 28043 Madrid, Spain"}]}],"member":"1968","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"ref_1","unstructured":"Mu\u00f1oz, C.Q.G., and M\u00e1rquez, F.P.G. (2018). Future maintenance management in renewable energies. Renewable Energies, Springer."},{"key":"ref_2","unstructured":"Council, G.W.E. (2019). Global Wind Report, GWEC."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"6536","DOI":"10.1109\/TIE.2015.2422112","article-title":"A survey on wind turbine condition monitoring and fault diagnosis\u2014part i: Components and subsystems","volume":"62","author":"Qiao","year":"2015","journal-title":"IEEE Trans. Ind. Electron."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Marquez, F.G. (2006, January 29\u201330). An approach to remote condition monitoring systems management. Proceedings of the 2006 IET International Conference On Railway Condition Monitoring, Birmingham, UK.","DOI":"10.1049\/ic:20060061"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11633-007-0109-1","article-title":"Applied RCM2 algorithms based on statistical methods","volume":"4","author":"Pedregal","year":"2007","journal-title":"Int. J. Autom. Comput."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.rser.2016.01.110","article-title":"State-of-the-art in wind turbine control: Trends and challenges","volume":"60","author":"Njiri","year":"2016","journal-title":"Renew. Sustain. Energy Rev."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/j.techfore.2015.06.042","article-title":"Future acceptance of wind energy production: Exploring future local acceptance of wind energy production in a swiss alpine region","volume":"101","author":"Spiess","year":"2015","journal-title":"Technol. Forecast. Soc. Chang."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/j.ijepes.2016.02.020","article-title":"Wind farm efficiency by adaptive neuro-fuzzy strategy","volume":"81","year":"2016","journal-title":"Int. J. Electr. Power Energy Syst."},{"key":"ref_9","unstructured":"M\u00e1rquez, F.P.G., and Lev, B. (2015). Advanced Business Analytics, Springer."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.renene.2015.06.030","article-title":"Minimizing maintenance cost for offshore wind turbines following multi-level opportunistic preventive strategy","volume":"85","author":"Sarker","year":"2016","journal-title":"Renew. Energy"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1622","DOI":"10.1002\/we.2393","article-title":"Advanced analytics for detection and diagnosis of false alarms and faults: A real case study","volume":"22","year":"2019","journal-title":"Wind Energy"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10479-013-1508-z","article-title":"Competitiveness based on logistic management: A real case study","volume":"233","author":"Pardo","year":"2015","journal-title":"Ann. Oper. Res."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"105993","DOI":"10.1016\/j.ress.2017.10.025","article-title":"Maintenance optimization and inspection planning of wind energy assets: Models, methods and strategies","volume":"192","author":"Shafiee","year":"2019","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_14","unstructured":"Tavner, P., Gindele, R., Faulstich, S., Hahn, B., Whittle, M., and Greenwood, D. (2010, January 15). Study of Effects of Weather & Location on Wind Turbine Failure Rates. Proceedings of the European Wind Energy Conference EWEC, Warsaw, Poland."},{"key":"ref_15","unstructured":"Marquez, F.G., Singh, V., and Papaelias, M. (2011, January 20\u201322). A Review of Wind Turbine Maintenance Management Procedures. Proceedings of the Eighth International Conference on Condition Monitoring and Machinery Failure Prevention Technologies, Cardiff, UK."},{"key":"ref_16","unstructured":"M\u00e1rquez, F.P.G., Karyotakis, A., and Papaelias, M. (2018). Renewable Energies: Business Outlook 2050, Springer."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1150","DOI":"10.1016\/j.jclepro.2016.07.026","article-title":"Economic viability analysis for icing blades detection in wind turbines","volume":"135","year":"2016","journal-title":"J. Clean. Prod."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/j.renene.2017.08.073","article-title":"Analysis of scada data for early fault detection, with application to the maintenance management of wind turbines","volume":"115","author":"Bangalore","year":"2018","journal-title":"Renew. Energy"},{"key":"ref_19","unstructured":"Marug\u00e1n, A.P., M\u00e1rquez, F.P.G., and Papaelias, M. (September, January 30). Multivariable Analysis for Advanced Analytics of Wind Turbine Management. Proceedings of the Tenth International Conference on Management Science and Engineering Management, Baku, Azerbaijan."},{"key":"ref_20","first-page":"89","article-title":"A new method for maintenance management employing principal component analysis","volume":"6","year":"2010","journal-title":"Struct. Durab. Health Monit."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10479-008-0403-5","article-title":"An algorithmic approach for maintenance management based on advanced state space systems and harmonic regressions","volume":"166","author":"Pedregal","year":"2009","journal-title":"Ann. Oper. Res."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"106574","DOI":"10.1016\/j.ress.2019.106574","article-title":"Reliability analysis of detecting false alarms that employ neural networks: A real case study on wind turbines","volume":"191","year":"2019","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"1849","DOI":"10.1016\/j.ymssp.2010.12.007","article-title":"Comparative analysis of neural network and regression based condition monitoring approaches for wind turbine fault detection","volume":"25","author":"Schlechtingen","year":"2011","journal-title":"Mech. Syst. Signal Process."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1002\/we.2316","article-title":"Structural health monitoring for delamination detection and location in wind turbine blades employing guided waves","volume":"22","author":"Makaya","year":"2019","journal-title":"Wind Energy"},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Arcos Jim\u00e9nez, A., G\u00f3mez Mu\u00f1oz, C.Q., and Garc\u00eda M\u00e1rquez, F.P. (2018). Machine learning for wind turbine blades maintenance management. Energies, 11.","DOI":"10.3390\/en11010013"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"G\u00f3mez, C., Garc\u00eda, F., Arcos, A., Cheng, L., Kogia, M., Mohimi, A., and Papaelias, M. (2017). A heuristic method for detecting and locating faults employing electromagnetic acoustic transducers. Eksploat. Niezawodn., 19.","DOI":"10.17531\/ein.2017.4.1"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"G\u00f3mez, C.Q., Villegas, M.A., Garc\u00eda, F.P., and Pedregal, D.J. (2016). Big data and web intelligence for condition monitoring: A case study on wind turbines. Big Data: Concepts, Methodologies, Tools, and Applications, IGI Global.","DOI":"10.4018\/978-1-4666-9840-6.ch059"},{"key":"ref_28","unstructured":"Ramirez, I.S., Mu\u00f1oz, C.Q.G., and Marquez, F.P.G. (September, January 30). A condition monitoring system for blades of wind turbine maintenance management. Proceedings of the Tenth International Conference on Management Science and Engineering Management, Baku, Azerbaijan."},{"key":"ref_29","unstructured":"Roshanmanesh, S., Hayati, F., Kappatos, V., Marquez, F.P.G., Marug\u00e1n, A.P., Mu\u00f1oz, C.Q.G., Selcuk, C., Gan, T.-H., and Papaelias, M. (2016, January 24\u201326). Drive-Train Condition Monitoring for Offshore Wind and Tidal Turbines, 2nd ed. Proceedings of the International Conference on Renewable Energies Offshore (Renew 2016), Lisbon, Portugal."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"1034","DOI":"10.1016\/j.renene.2018.08.050","article-title":"Linear and nonlinear features and machine learning for wind turbine blade ice detection and diagnosis","volume":"132","author":"Moraleda","year":"2019","journal-title":"Renew. Energy"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Garc\u00eda M\u00e1rquez, F.P., Segovia Ram\u00edrez, I., and Pliego Marug\u00e1n, A. (2019). Decision making using logical decision tree and binary decision diagrams: A real case study of wind turbine manufacturing. Energies, 12.","DOI":"10.3390\/en12091753"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"5271","DOI":"10.1080\/00207543.2017.1308570","article-title":"Optimal decision-making via binary decision diagrams for investments under a risky environment","volume":"55","author":"Lev","year":"2017","journal-title":"Int. J. Prod. Res."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Kempener, R., Assoumou, E., Chiodi, A., Ciorba, U., Gaeta, M., Gielen, D., Hamasaki, H., Kanudia, A., Kober, T., and Labriet, M. (2015). A global renewable energy roadmap: Comparing energy systems models with irena\u2019s remap 2030 project. Informing Energy and Climate Policies Using Energy Systems Models, Springer.","DOI":"10.1007\/978-3-319-16540-0_3"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.measurement.2016.06.064","article-title":"Ice detection using thermal infrared radiometry on wind turbine blades","volume":"93","year":"2016","journal-title":"Measurement"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.renene.2019.06.135","article-title":"Maintenance management based on machine learning and nonlinear features in wind turbines","volume":"146","author":"Zhang","year":"2020","journal-title":"Renew. Energy"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1002\/qre.1067","article-title":"Principal component analysis applied to filtered signals for maintenance management","volume":"26","year":"2010","journal-title":"Qual. Reliab. Eng. Int."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Garcia Marquez, F.P., Pliego Marugan, A., P\u00e9rez, P., Mar\u00eda, J., Hillmansen, S., and Papaelias, M. (2017). Optimal dynamic analysis of electrical\/electronic components in wind turbines. Energies, 10.","DOI":"10.3390\/en10081111"},{"key":"ref_38","unstructured":"Pliego Marug\u00e1n, A., and Garcia M\u00e1rquez, F.P. (2014, January 10\u201312). Fault-tree dynamic analysis. Proceedings of the Eleventh International Conference on Condition Monitoring and Machinery Failure Prevention Technologies CM, Manchester, UK."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1016\/j.renene.2015.09.038","article-title":"Identification of critical components of wind turbines using fta over the time","volume":"87","author":"Papaelias","year":"2016","journal-title":"Renew. Energy"},{"key":"ref_40","unstructured":"M\u00e1rquez, F.G., Papaelias, J., and Hermosa, R.R. (2012, January 28\u201330). Wind turbines maintenance management based on fta and bdd. Proceedings of the International Conference on Renewable Energies and Power Quality (ICREPQ\u201912), Santiago de Compostela, Spain."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/j.tcs.2020.01.019","article-title":"Binary-decision-diagram-based decomposition of boolean functions into reversible logic elements","volume":"814","author":"Lee","year":"2020","journal-title":"Theor. Comput. Sci."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.ress.2018.02.013","article-title":"Dirt and mud detection and diagnosis on a wind turbine blade employing guided waves and supervised learning classifiers","volume":"184","year":"2019","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"772","DOI":"10.3813\/AAA.919106","article-title":"New pipe notch detection and location method for short distances employing ultrasonic guided waves","volume":"103","author":"Marquez","year":"2017","journal-title":"Acta Acust. United Acust."},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Pedro, F., and Marquez, G. (2008, January 18\u201320). Binary decision diagrams applied to fault tree analysis. Proceedings of the 4th IET International Conference on Railway Condition Monitoring (RCM 2008), Birmingham, UK.","DOI":"10.1049\/ic:20080314"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"170","DOI":"10.17531\/ein.2020.1.20","article-title":"A novel reliability estimation method of multi-state system based on structure learning algorithm nowatorska metoda oceny niezawodno\u015bci system\u00f3w wielostanowych w oparciu o algorytm uczenia struktury","volume":"22","author":"Li","year":"2020","journal-title":"Eksploatacja I Niezawodnosc"},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"419","DOI":"10.17531\/ein.2019.3.8","article-title":"Reliability analysis of complex uncertainty multi-state system based on bayesian network zastosowanie sieci bayesowskiej do analizy niezawodno\u015bci z\u0142o\u017conych system\u00f3w wielostanowych w warunkach niepewno\u015bci","volume":"21","author":"Wang","year":"2019","journal-title":"Eksploatacja I Niezawodnosc"},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"1616","DOI":"10.1016\/j.ress.2008.01.008","article-title":"Construction of event-tree\/fault-tree models from a markov approach to dynamic system reliability","volume":"93","author":"Bucci","year":"2008","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Bhagavatula, A., Tao, J., Dunnett, S., and Bell, P. (2016). A New Methodology for Automatic Fault Tree Construction Based on Component and Mark Libraries, Taylor & Francis. Safety and Reliability.","DOI":"10.1201\/b19094-148"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1016\/j.ress.2008.12.003","article-title":"Component-based modeling of systems for automated fault tree generation","volume":"94","author":"Majdara","year":"2009","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_50","unstructured":"Liu, X., Wang, Z., Ren, Y., and Liu, L. (2013, January 20\u201322). Modeling method of sysml-based reliability block diagram. Proceedings of the 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC), Shenyang, China."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Li, K., Yi, R., and Ma, Z. (2016, January 5\u20137). Reliability analysis of dynamic reliability blocks through conversion into dynamic bayesian networks. Proceedings of the 2016 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), Bali, Indonesia.","DOI":"10.1109\/IEEM.2016.7798094"},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Mi, J., Li, Y., Huang, H.-Z., Liu, Y., and Zhang, X. (2012, January 15\u201318). Reliability analysis of multi-state systems with common cause failure based on bayesian networks. Proceedings of the 2012 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, Chengdu, China.","DOI":"10.1109\/ICQR2MSE.2012.6246417"},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"922","DOI":"10.1016\/j.ress.2007.03.013","article-title":"Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic bayesian networks","volume":"93","author":"Montani","year":"2008","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/24.983400","article-title":"Mathematical foundations of minimal cutsets","volume":"50","author":"Rauzy","year":"2001","journal-title":"IEEE Trans. Reliab."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0951-8320(01)00004-7","article-title":"Efficient algorithms to assess component and gate importance in fault tree analysis","volume":"72","author":"Dutuit","year":"2001","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_56","unstructured":"Marugan, A.P., and M\u00e1rquez, F.P.G. (2017). Decision-Making Management: A Tutorial and Applications, Academic Press."},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"1594","DOI":"10.1016\/j.renene.2006.10.008","article-title":"Fault ride-through capability of dfig wind turbines","volume":"32","author":"Hansen","year":"2007","journal-title":"Renew. Energy"},{"key":"ref_58","doi-asserted-by":"crossref","unstructured":"Lu, B., Li, Y., Wu, X., and Yang, Z. (2009, January 24\u201326). A review of recent advances in wt condition monitoring and fault diagnosis. Proceedings of the Power Electronics and Machines in Wind Applications, Lincoln, NE, USA.","DOI":"10.1109\/PEMWA.2009.5208325"},{"key":"ref_59","unstructured":"Popa, L.M., Jensen, B.-B., Ritchie, E., and Boldea, I. (2003, January 12\u201316). Condition monitoring of wind generators. Proceedings of the 38th IAS Annual Meeting on Conference Record of the Industry Applications Conference, Salt Lake City, UT, USA."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/TEC.2004.837299","article-title":"Simple expressions for optimal current waveforms for permanent-magnet synchronous machine drives","volume":"20","author":"Wu","year":"2005","journal-title":"IEEE Trans. Energy Convers."},{"key":"ref_61","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","article-title":"Representation of switching circuits by binary-decision programs","volume":"38","author":"Lee","year":"1959","journal-title":"Bell Syst. Tech. J."},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/356893.356898","article-title":"Decision trees and diagrams","volume":"14","author":"Moret","year":"1982","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","article-title":"Binary decision diagrams","volume":"C-27","author":"Akers","year":"1978","journal-title":"IEEE Trans. Comput."},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-based algorithms for boolean function manipulation","volume":"100","author":"Bryant","year":"1986","journal-title":"Comput. IEEE Trans."},{"key":"ref_65","unstructured":"Fujita, M., Fujisawa, H., and Kawato, N. (1988). Evaluation and Improvement of Boolean Comparison Method Based on Binary Decision Diagrams, ICCAD, Citeseer."},{"key":"ref_66","first-page":"3","article-title":"Decision making process via binary decision diagram","volume":"10","author":"Lorente","year":"2015","journal-title":"Int. J. Manag. Sci. Eng. Manag."},{"key":"ref_67","unstructured":"Bartlett, L.M. (2003, January 2\u20134). Progression of the binary decision diagram conversion methods. In Proceedings of the 21st International SystemsSafety Conference, Ottowa, ON, Canada."},{"key":"ref_68","first-page":"540","article-title":"Elementary graph algorithms","volume":"1","author":"Cormen","year":"2009","journal-title":"Introd. Algorithms"},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1613\/jair.649","article-title":"Obdd-based universal planning for synchronized agents in non-deterministic domains","volume":"13","author":"Jensen","year":"2000","journal-title":"J. Artif. Intell. Res."},{"key":"ref_70","unstructured":"Malik, S., Wang, A.R., Brayton, R.K., and Sangiovanni-Vincentelli, A. (1988, January 7\u201310). Logic verification using binary decision diagrams in a logic synthesis environment. Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers, Santa Clara, CA, USA."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1108\/02656710010304591","article-title":"Optimum prioritisation and resource allocation based on fault tree analysis","volume":"17","author":"Xie","year":"2000","journal-title":"Int. J. Qual. Reliab. Manag."},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/24.285125","article-title":"Metaprime: An interactive fault-tree analyzer","volume":"43","author":"Coudert","year":"1994","journal-title":"IEEE Trans. Reliab."},{"key":"ref_73","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0951-8320(02)00107-2","article-title":"A fault tree analysis strategy using binary decision diagrams","volume":"78","author":"Reay","year":"2002","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_74","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/j.ress.2003.10.009","article-title":"A fast bdd algorithm for large coherent fault trees analysis","volume":"83","author":"Jung","year":"2004","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_75","doi-asserted-by":"crossref","first-page":"1458","DOI":"10.1016\/j.ress.2006.09.023","article-title":"Differential, criticality and birnbaum importance measures: An application to basic event, groups and sscs in event trees and binary decision diagrams","volume":"92","author":"Borgonovo","year":"2007","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_76","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0951-8320(97)00144-0","article-title":"Use of importance measures in risk-informed regulatory applications","volume":"60","author":"Cheok","year":"1998","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/6\/324\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T09:38:59Z","timestamp":1760175539000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/6\/324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":76,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2020,6]]}},"alternative-id":["info11060324"],"URL":"https:\/\/doi.org\/10.3390\/info11060324","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,15]]}}}